Dr Alex Potanin

Alex
Potanin

Projects for Potential Students

  • Anything fun to do with programming languages (looking for any graduate students, though funding will probably need to come from yourself or VUW scholarship and not from myself).
    • Feel free to email me or drop by my office to discuss your options!
    • Let me know your background in programming languages research and interests first and I'll make some suggestions!

Students

  1. Miten Chauhan (ENGR489 in 2017), Industrial Project with PlanIT
  2. Neel Patel (ENGR489 in 2017), Industrial Project with PlanIT
  3. Callum Gil (ENGR489 in 2017), Industrial Project with Haunt
  4. Manish Singh (PhD Thesis in 2017 - 2019, TBC), Co-Supervised with Lindsay Groves
  5. Baptiste Pauget (RA in February - July 2017, Whiley to FPGA, Co-Supervised with David Pearce)
  6. Aaron Craig (COMP489 2016/2017, Effects and Capabilities in Wyvern, Co-Supervised with Jonathan Aldrich from CMU and Lindsay Groves)
  7. Robbie McKinstry (RA based at CMU in 2016, Wyvern Implementation, Co-Supervised with Jonathan Aldrich from CMU)
  8. Luke Inkster (ENGR489 in 2016, Inheritance vs Delegation Study, Co-Supervised with James Noble)
  9. Daniel Campbell (COMP489 in 2016, Macros in Rust, Co-Supervised with Nick Cameron from Mozilla Corporation)
  10. Aaron Craig (Summer RA in 2015/2016, Verification Support for Wyvern, Co-Supervised with Jonathan Aldrich from CMU and Lindsay Groves)
  11. Daniel Campbell (Summer RA in 2015/2016, Tool Support for Macros in Rust, Co-Supervised with Nick Cameron from Mozilla Corporation)
  12. Garming Sam (BE Honours in 2015, Refactorings in Rust, Co-Supervised with Nick Cameron from Mozilla Corporation)
  13. Jui Deshpande (BE Honours in 2015, Automatic Data Quality Analysis Tool for Airways NZ), Co-Supervised with Hui Ma
  14. Mate Antunovic (BE Honours attempted in 2015, RR, Co-Supervised with Robert O'Callahan from Mozilla Corporation)
  15. Julian Mackay (PhD Thesis in 2015 - 2017, Wyvern Type Members), Co-Supervised with Jonathan Aldrich (CMU) and Lindsay Groves
  16. Darya Melicher (PhD Thesis in 2013 - 2017, Wyvern Modules, CMU), Primary Supervisor is Jonathan Aldrich (CMU)
  17. Troy Shaw (BE Honours Thesis in 2014, Tagged Types Implementation for Wyvern)
  18. Tim Sullivan (BSc Honours Thesis in 2014, Interpreter for Grace), Co-Supervised with James Noble
  19. Ahmed Khalifa (PhD Thesis started in 2010 and defended in 2013, Ownership and Immutability in the Real World), Co-Supervised with James Noble
  20. Morgan Atkins (MSc Thesis in 2012, Survey of Concurrency Features in OO Programming Languages), Co-Supervised with Lindsay Groves
  21. Julian Mackay (MSc Thesis in 2012, Mechanised Theorem Proving in COQ for Ownership and Immutability), Co-Supervised with Lindsay Groves
  22. Morgan Atkins (RA in summer 2010/2011, X10 Programming Language and Clocked References)
  23. Morgan Atkins (BSc Honours Thesis in 2011, X10 Programming Language)
  24. Julian Mackay (BSc Honours Thesis in 2011, Mechanised Theorem Proving in COQ), Co-Supervised with Lindsay Groves
  25. Felix Shi (BE 400-level Thesis in 2011, JavaScript Type Inference), Co-Supervised with Lindsay Groves
  26. Jan Larres (MSc Thesis in 2011, Performance Variations Analysis in Mozilla Firefox), Co-Supervised with Yuichi Hirose
  27. Constantine Dymnikov (MSc Thesis in 2011, Modular Ownership Inference), Co-Supervised with David Pearce
  28. Hien Tran (BE 400-level Thesis in 2010, Automated Analysis of Map Labelling for GIS Users), Co-Supervised with Mairead de Roiste from SGEES
  29. Hannes Mehnert (RA in summer 2009/2010, Ownership and Immutability, Co-Supervised with Nicholas Cameron)
  30. Constantine Dymnikov (RA in 2009/2010, Ownership Inference)
  31. Andrew Walbran (RA in 2009, OIGJ Compiler)
  32. Gustav van der Merwe (RA in 2009, Ownership, Immutability and GADT's)
  33. Paley Li (BSc Honours Thesis in 2008, Ownership and Immutability), Co-Supervised with James Noble and Lindsay Groves
  34. Andrew Childs (BSc Honours Thesis in 2008, Eliminating Redundant Null Checks), Co-Supervised with Lindsay Groves
  35. Paley Li (RA in 2008, Ownership and Immutability)
  36. Radu Muschevici (MSc Thesis in 2007/2008, Multimethods), Co-Supervised with James Noble
  37. Neil Ramsay (BIT Thesis in 2007, Software Visualisation), Co-Supervised with Stuart Marshall
  38. Leo Gui (BIT Thesis attempted in 2007, Usability of Teaching Tools), Co-Supervised with Stuart Marshall
  39. Christo Fogelberg (RA in 2007, Ownership in Collections)

Teaching

  1. COMP 361 T2 2017 (Design and Analysis of Algorithms)
  2. COMP 261 T1 (Course Coordinator Only) 2017 (Algorithms and Data Structures)
  3. SWEN 221 T1 (Course Coordinator Only) 2017 (Software Development)
  4. COMP 103 T2 (Course Coordinator Only) 2016 (Introduction to Data Structures and Algorithms)
  5. COMP 361 T2 2016 (Design and Analysis of Algorithms)
  6. COMP 261 T1 (9 of 12 weeks) 2016 (Algorithms and Data Structures)
  7. COMP 361 T2 2015 (Design and Analysis of Algorithms)
  8. SWEN 302 T2 (Essays and Course Coordinator Only) 2015 (Agile Methods)
  9. ENGR 123 T2 (Labs Coordinator Only) 2015 (Engineering Mathematics with Logic and Statistics)
  10. COMP 261 T1 (First Eight Weeks) 2015 (Algorithms and Data Structures)
  11. COMP 361 T2 2014 (Design and Analysis of Algorithms)
  12. SWEN 302 T2 (Coordinator Only) 2014 (Agile Methods)
  13. COMP 261 T1 (Second Half) 2014 (Algorithms and Data Structures)
  14. SWEN 223 T1 (First Half) 2014 (Software Engineering Analysis)
  15. SWEN 430 T1 (First Half) 2014 (Compiler Engineering)
  16. COMP303 T2 2012 (Design and Analysis of Algorithms)
  17. SWEN430 T2 2012 (Compiler Engineering)
  18. COMP103 T1 2012 (Introduction to Data Structures and Algorithms)
  19. COMP303 T2 2011 (Design and Analysis of Algorithms)
  20. COMP261 T2 (Last 8 weeks) 2011 (Algorithms and Data Structures)
  21. SWEN430 T2 (First 4 weeks) 2011 (Compiler Engineering)
  22. SWEN423 T1 (First 2 weeks and last 4 weeks) 2011 (OO Paradigms)
  23. COMP303 T2 2010 (Design and Analysis of Algorithms)
  24. COMP261 T2 (2nd half) 2010 (Algorithms and Data Structures)
  25. SWEN430 T2 (1st half) 2010 (Compiler Engineering)
  26. COMP303 T2 (2nd half) 2009 (Design and Analysis of Algorithms)
  27. COMP431 T2 (2nd half) 2009 (Compilers)
  28. COMP304 T1 (1st half) 2009 (Programming Languages)
  29. COMP462 T1 (1st half) 2009 (Object-Oriented Paradigms)
  30. COMP303 T2 2008 (Design and Analysis of Algorithms)
  31. COMP431 T1 2008 (Compilers)
  32. COMP103 T2 (2nd half) 2007 (Introduction to Data Structures and Algorithms)
  33. COMP471 T2 (1st half) 2007 (Special Topic: Compiler Technologies)
  34. COMP462 T1 (1st half) 2007 (Object-Oriented Paradigms)
  35. COMP103 T3 (2nd half) 2006 (Introduction to Data Structures and Algorithms)
  36. COMP103 T2 (2nd half) 2006 (Introduction to Data Structures and Algorithms)
  37. COMP101 T3 2005 (Introduction to Dynamic Web Development)
  38. INET101 T3 2004 (Introduction to Internet Technology)

Publications (Feel Free to Email Me for a Copy)

Book Chapters

  1. Alex Potanin, Johan Ostlund, Yoav Zibin, Michael D. Ernst. Immutability. In D. Clarke et al. (Eds.): Aliasing in Object-Oriented Programming, LNCS 7850, pp. 233-269. Springer, Heidelberg. 2013.

Journal Papers

  1. Chris Male, David Pearce, Alex Potanin, and Constantine Dymnikov. Formalisation and Implementation of an Algorithm for Bytecode Verification of @NonNull Types. Science of Computer Programming. Volume 76, Issue 7, Pages 587 - 608, July 2011.
  2. Alex Potanin, James Noble, Dave Clarke, and Robert Biddle. Featherweight Generic Confinement. Journal of Functional Programming. Volume 16, Number 6, Pages 793 - 811, September 2006.
  3. Alex Potanin, James Noble, Marcus Frean, and Robert Biddle. Scale-free Geometry in Object-Oriented Programs. Communications of the ACM. Pages 99 - 103. May 2005. (ACM Link)
  4. Alex Potanin, James Noble, and Robert Biddle. Checking Ownership and Confinement. Concurrency and Computation: Practice and Experience. Volume 16, Issue 7, Pages 671 - 687, 2004.

Refereed Conference Papers

  1. Jens Dietrich, Kamil Jezek, Shawn Rasheed, Amjed Tahir, Alex Potanin. EvilPickles: DoS attacks based on Object-Graph Engineering. In proceedings of ECOOP2017. Additionally, the artifact successfully passed the Artifact Evaluation.
  2. Darya Melicher, Yangqingwei Shi, Alex Potanin, Jonathan Aldrich. A Capability-Based Module System for Authority Control. In proceedings of ECOOP2017. Additionally, the artifact successfully passed the Artifact Evaluation.
  3. Garming Sam, Nicholas Cameron and Alex Potanin. Automated Refactoring of Rust Programs. Article No.: 14. In proceedings of ACSC2017.
  4. Joseph Lee, Jonathan Aldrich, Troy Shaw, Alex Potanin. A Theory of Tagged Objects. In proceedings of ECOOP2015. Pp 999-1026. Additionally, the artifact on the software section of my home page successfully passed the Artifact Evaluation.
  5. Cyrus Omar, Darya Kurilova, Ligia Nistor, Benjamin Chung, Alex Potanin, and Jonathan Aldrich. Safely Composable Type-Specific Languages. In proceedings of ECOOP2014. Pp 105-130. Springer-Verlag. This paper won ECOOP 2014 Distinguished Paper Award.
  6. Marco Servetto, Julian Mackay, Alex Potanin, and James Noble. The Billion-Dollar Fix: Safe Modular Circular Initialisation with Placeholders and Placeholder Types. In proceedings of ECOOP2013. Pp 205-229. Springer-Verlag.
  7. Constantine Dymnikov, David Pearce and Alex Potanin. OwnKit: Inferring Modularly Checkable Ownership Annotations for Java. In proceedings of the Australasian Software Engineering Conference (ASWEC) 2013. Pp 181-190. IEEE.
  8. Alex Potanin, Monique Damitio and James Noble. Are Your Incoming Aliases Really Necessary? Counting the Cost of Object Ownership. In proceedings of the International Conference on Software Engineering (ICSE) 2013. Pp 742-751. ACM/IEEE.
  9. Daniel Atkins, Alex Potanin and Lindsay Groves. The Design and Implementation of Clocked Variables in X10. In proceedings of Australasian Computer Science Conference (ACSC) 2013. Pp 87-96. CRPIT.
  10. Jan Larres, Alex Potanin and Yuichi Hirose. A Study of Performance Variations in the Mozilla Firefox Web Browser. In proceedings of Australasian Computer Science Conference (ACSC) 2013. Pp 3-12. CRPIT.
  11. Hien Tran, Craig Anslow, Stuart Marshall, Alex Potanin, Mairead de Roiste. Lessons Learnt from Collaboratively Creating Maps on a Touch Table. In proceedings of the 12th Annual Conference of the New Zealand Chapter of the ACM Special Interest Group on Computer-Human Interaction (CHINZ) 2011. Pp. 105-108. ACM SIGCHI.
  12. Yoav Zibin, Alex Potanin, Paley Li, Mahmood Ali, Michael D. Ernst. Ownership and Immutability in Generic Java. In proceedings of Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) 2010. Pp. 598-617. ACM.
  13. Radu Muschevici, Alex Potanin, Ewan Tempero, and James Noble. Multiple Dispatch in Practice. In proceedings of Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) 2008. Pp. 563-582. ACM. (ACM Link)
  14. Chris Male, David Pearce, Alex Potanin, and Constantine Dymnikov. Java Bytecode Verification for @NonNull Types. In proceedings of Compiler Construction (CC) 2008. Pp 229-244.
  15. Neil Ramsay, Stuart Marshall, and Alex Potanin. Annotating UI Architecture with Actual Use. In proceedings of Australasian User Interface Conference (AUIC) 2008. Pp. 75-78. CRPIT.
  16. Yoav Zibin, Alex Potanin, Mahmood Ali, Shay Artzi, Adam Kiezun, and Michael D. Ernst. Object and Reference Immutability using Java Generics. In proceedings of the Foundations of Software Engineering (FSE) Conference, Dubrovnik, Croatia, September 2007. Pp. 75-84. ACM. (Won ESEC/FSE 2007 ACM SIGSOFT Distinguished Paper Award.) (ACM Link)
  17. Alex Potanin, James Noble, Dave Clarke, and Robert Biddle. Generic Ownership for Generic Java. In proceedings of the Object-Oriented Programming, Systems, Languages and Applications (OOPSLA) Conference, Portland, Oregon, October 2006. Pp. 311-324. ACM. (ACM Link)
  18. Alex Potanin, James Noble, and Robert Biddle. Snapshot Query-Based Debugging. In proceedings of the Australian Software Engineering Conference, Melbourne, Australia, April 2004. Pp 251-261.

Refereed Workshop Papers

  1. James Noble, Sophia Drossopoulou, Mark S Miller, Toby Murray and Alex Potanin. Abstract Data Types in Object-Capability Systems. In IWACO 2016.
  2. Du Li, Alex Potanin, and Jonathan Aldrich. Delegation vs Inheritance for Typestate Analysis. In FTfJP 2015.
  3. Darya Kurilova, Alex Potanin, and Jonathan Aldrich. Wyvern: Impacting Software Security via Programming Language Design. In PLATEAU 2014. Pages 57-58.
  4. James Noble and Alex Potanin. On Owners-as-Accessors. In IWACO 2014.
  5. Jonathan Aldrich, Cyrus Omar, Alex Potanin and Du Li. Language-Based Architectural Control. In IWACO 2014.
  6. Cyrus Omar, Benjamin Chung, Darya Kurilova, Alex Potanin and Jonathan Aldrich. Type-Directed, Whitespace-Delimited Parsing for Embedded DSLs. In proceedings of the First Workshop on the Globalization of Domain Specific Languages (GlobalDSL) 2013. Pp 8-11.
  7. Ligia Nistor, Darya Kurilova, Stephanie Balzer, Benjamin Chung, Alex Potanin and Jonathan Aldrich. Wyvern: A Simple, Typed, and Pure Object-Oriented Language. In Proceedings of the 5th Workshop on MechAnisms for SPEcialization, Generalization and inHeritance (MASPEGHI) 2013. Pp 9-16.
  8. Marco Servetto, David Pearce, Lindsay Groves, and Alex Potanin. Balloon Types for Safe Parallelisation over Arbitrary Object Graphs. Workshop on Determinism and Correctness in Parallel Programming (WoDeT) 2013.
  9. Daniel Atkins, Alex Potanin, Lindsay Groves. Clocked References in X10. Languages for the Multicore Era (LaME) 2012.
  10. Julian Mackay, Hannes Mehnert, Alex Potanin, Lindsay Groves, Nicholas Cameron. Encoding Featherweight Java with Assignment and Immutability using The Coq Proof Assistant. In the proceedings of Formal Techniques for Java-like Programs (FTfJP) 2012. Pp 11-19.
  11. Yoav Zibin, Alex Potanin, Paley Li, Mahmood Ali, Michael D. Ernst. Ownership and Immutability in Generic Java (OIGJ). IBM Programming Languages and Development Environments Seminar 2010 (PLDE2010).
  12. Paley Li, Stephen Nelson, and Alex Potanin. Ownership for Relationships. International Workshop on Aliasing, Confinement, and Ownership (IWACO) 2009. Article No. 8.
  13. Paley Li, Alex Potanin, James Noble, and Lindsay Groves. Towards Unifying Immutability and Ownership. International Workshop on Aliasing, Confinement, and Ownership (IWACO) at ECOOP2008.
  14. Christo Fogelberg, Alex Potanin, and James Noble. Ownership Meets Java. International Workshop on Aliasing, Confinement, and Ownership (IWACO) at ECOOP2007.
  15. Alex Potanin, James Noble, Tian Zhao, Jan Vitek. A High Integrity Profile for Memory Safe Programming in Real-time Java. In proceedings of the 3rd workshop on Java Technologies for Real-time and Embedded Systems, San Diego, CA, USA, October 2005.
  16. Alex Potanin, James Noble, Dave Clarke, Robert Biddle. Featherweight Generic Ownership. In proceedings of the workshop on Formal Techniques for Java-like Programs (FTfJP) in European Conference for Object-Oriented Programming, Glasgow, Scotland, July 2005.
  17. Alex Potanin, James Noble, Dave Clarke, Robert Biddle. Defaulting Generic Java to Ownership. In proceedings of the workshop on Formal Techniques for Java-like Programs (FTfJP) in European Conference for Object-Oriented Programming, Oslo, Norway, June 2004.
  18. Alex Potanin, James Noble, Dave Clarke, and Robert Biddle. Featherweight Generic Confinement. In proceedings of the International Workshop on Foundations of Object-Oriented Languages (FOOL), affiliated with Symposium on Principles of Programming Languages, Venice, Italy, January 2004.
  19. James Noble, Robert Biddle, Ewan Tempero, Alex Potanin, and Dave Clarke. Towards a Model of Encapsulation. In proceedings of the International Workshop on Aliasing, Confinement and Ownership (IWACO) in European Conference for Object-Oriented Programming, Darmstadt, Germany, July 2003.
  20. Alex Potanin and James Noble. Checking Ownership and Confinement Properties. In proceedings of the workshop on Formal Techniques for Java-like Programs (FTfJP) in European Conference for Object-Oriented Programming, Malaga, Spain, June 2002.

Edited Journals

  1. Alex Potanin and Gail Murphy (Editors). Special Issue on Asia-Pacific Software Engineering Conference (APSEC) 2016. Science of Computer Programming. Issue TBC.
  2. Alex Potanin (Editor). Special Issue on New Object-Oriented Languages (NOOL) 2015. Journal of Object Technology. Volume 16, no. 2 (April 2017).
  3. Taso Viglas and Alex Potanin (Editors). Special Issue on Computing: The Australasian Theory Symposium 2011. International Journal on Foundations of Computer Science (IJFCS), 2013. Vol. No. 24, Issue No. 1.
  4. Taso Viglas and Alex Potanin (Editors). Special Issue on Computing: The Australasian Theory Symposium 2010. Chicago Journal of Theoretical Computer Science (CJTCS), May 2011. Volume 2010.

Other Refereed Publications

  1. Jens Dietrich, Kamil Jezek, Shawn Rasheed, Amjed Tahir, Alex Potanin. EvilPickles: DoS attacks based on Object-Graph Engineering (Artifact). In DARTS.
  2. Darya Melicher, Yangqingwei Shi, Alex Potanin, Jonathan Aldrich. A Capability-Based Module System for Authority Control (Artifact). In DARTS.
  3. Jonathan Aldrich and Alex Potanin. Delegation Revisited. NOOL 2016.
  4. Jonathan Aldrich and Alex Potanin. Naturally Embedded DSLs. DSLDI 2016.
  5. Darya Kurilova, Alex Potanin, and Jonathan Aldrich. Modules in Wyvern: Advanced Control over Security and Privacy. Poster in HotSOS 2016.
  6. Joseph Lee, Jonathan Aldrich, Troy Shaw, and Alex Potanin. A Theory of Tagged Objects (Artifact). DARTS, Volume 1, Issue 1, 2015.
  7. Cyrus Omar, Darya Kurilova, Ligia Nistor, Benjamin Chung, Alex Potanin, and Jonathan Aldrich. Safely Composable Type-Specific Languages. Poster in ECOOP2014.
  8. Darya Kurilova, Cyrus Omar, Ligia Nistor, Benjamin Chung, Alex Potanin, Jonathan Aldrich. Type-Specific Languages to Fight Injection Attacks. Poster in HotSOS 2014.
  9. Cyrus Omar, Benjamin Chung, Darya Kurilova, Ligia Nistor, Alex Potanin, Jonathan Aldrich. Extensible Type-Driven Parsing for Embedded DSLs in Wyvern. Parsing@SLE 2013.
  10. Cyrus Omar, Benjamin Chung, Darya Kurilova, Ligia Nistor, Alex Potanin, Jonathan Aldrich. Extensible Type-Driven Parsing for Embedded DSLs in Wyvern. Poster in SPLASH2013.
  11. Jonathan Aldirch, Benjamin Chung, Darya Kurilova, Cyrus Omar, Alex Potanin. DSL support in Wyvern Language. Domain Specific Language Design and Implementation (DSLDI) 2013.
  12. Jan Larres, Alex Potanin, and Yuichi Hirose. Performance Variance Evaluation on Mozilla Firefox. In the proceedings of the NZCSRSC2011.
  13. Mairead de Roiste, Hien Tran, and Alex Potanin. What makes a map? At Ireland Organisation for Geographic Information Conference (IRLOGI) 2010.
  14. Chris Andreae, Donald Gordon, Alex Potanin, James Noble, Robert Biddle. Terrier: Static Query-Based Debugging in Eclipse. Poster in Conference on Object-Oriented Programming, Systems, Languages, and Applications, Vancouver, Canada, October 2004.
  15. Alex Potanin. Generic Ownership: Practical Ownership Control in Programming Languages. In Doctoral Symposium Proceedings of Conference on Object-Oriented Programming, Systems, Languages, and Applications, Vancouver, Canada, October 2004.
  16. Alex Potanin. Practical Ownership Control in Programming Languages. In Doctoral Symposium Proceedings of European Conference for Object-Oriented Programming, Oslo, Norway, June 2004.
  17. Alex Potanin. A Tool for Ownership and Confinement Analysis of the Java Object Graph. Conference poster and student research competition entry in Object-Oriented Programming Systems, Languages, and Applications Conference, Seattle, USA, November 2002. The poster itself is available in Microsoft PowerPoint format here. This entry was awarded a second place in the competition in the graduate division, even though I was technically an undergraduate. The results are available here. (Update: This entry was accepted into the ACM Student Research Competition Grand Finals and can be found in HTML format here. It was awarded a second place overall in the undergraduate category as can be found here.)

Theses

  1. Alex Potanin. Generic Ownership - A Practical Approach to Ownership and Confinement in OO Programming Languages. My PhD thesis, awarded in 2007.
  2. Alex Potanin. The Fox - A Tool for Object Graph Analysis. Honours report which resulted in First Class Honours at Victoria University of Wellington in 2002. My supervisors were James Noble and Robert Biddle. The PDFLaTeX source is available here.

Patents

  1. Software Translation. US Patent filed in March 2008 and EU Patent EP2122464 filed in February 2008.

Technical Reports

NB! More TR's can be found by following this link to MCS TR's and also this link to ECS TR's.

  1. Darya Melicher, Yangqingwei Shi, Alex Potanin, Jonathan Aldrich. A Capability-Based Module System for Authority Control. CMU-ISR-TR-17-106.
  2. Cyrus Omar, Darya Kurilova, Ligia Nistor, Benjamin Chung, Alex Potanin, and Jonathan Aldrich. Safely Composable Type-Specific Languages (Technical Report). CMU-ISR-TR-14-106.
  3. Marco Servetto and Alex Potanin. Balloon Immutable Java ECS-TR-12-18.
  4. Marco Servetto and Alex Potanin. Our Billion Dollar Fix ECS-TR-12-19.
  5. Jan Larres, Alex Potanin, and Yuichi Hirose. A Study of Performance Variations in the Mozilla Firefox Web Browser ECS-TR-12-14.
  6. Julian Mackay, Hannes Mehnert, Alex Potanin, Lindsay Groves, Nicholas Cameron. Featherweight Java with Assignment and Immutability in Coq ECS-TR-12-11.
  7. Daniel Atkins, Alex Potanin, Lindsay Groves. Clocked References in X10 ECS-TR-12-11.
  8. Alex Potanin, Monique Damitio, Shane Markstrum, Christo Fogelberg, Andrew Walbran, James Noble. Are Your Aliases Really Necessary? ECS-TR-11-06.
  9. Hannes Mehnert, Nicholas Cameron, Alex Potanin. Relaxing Ownership with Immutability ECS-TR-10-20.
  10. Yoav Zibin, Alex Potanin, Paley Li, Mahmood Ali, Michael D. Ernst. Ownership and Immutability Generic Java (OIGJ) with Owners as Modifiers ECS-TR-10-15.
  11. Paley Li, Yoav Zibin, Alex Potanin, and Michael D. Ernst. Featherweight OIGJ Technical Report ECS-TR-10-16.
  12. Yoav Zibin, Alex Potanin, Shay Artzi, Adam Kiezun, and Michael D. Ernst. Object and Reference Immutability using Java Generics. MIT-CSAIL-TR-2007-018.
  13. Alex Potanin, Dave Clarke, James Noble, Robert Biddle. Featherweight Generic Ownership Technical Report. This TR gives full details of the FGO type system with all the proofs for type soundness and ownership invariants. A draft version appeared as a discussion paper in FTfJP2005 workshop (please see above). ECS-TR-09-02.

Conference Committees

  1. Program Committee Member of APSEC 2017.
  2. Co-Chair of New Object-Oriented Languages (NOOL) 2017 workshop.
  3. Workshops Co-Chair for SPLASH 2017.
  4. Program Committee Member of the ACSC 2017.
  5. Program Committee Member of the NOOL 2016.
  6. Program Committee Member of the APLAS 2016.
  7. Program Committee Member of the FTfJP 2016.
  8. Program Co-Chair for APSEC 2016.
  9. Publications Co-Chair for SPLASH 2017.
  10. Publications Chair for SPLASH 2016.
  11. Chair of New Object-Oriented Languages (NOOL) 2015.
  12. Program Committee Member of the European Conference on Object-Oriented Programming (ECOOP) 2016.
  13. Program Committee Member of the ACSC 2016.
  14. Publications Chair for SPLASH 2015.
  15. Extended Review Committee Member for the PLDI 2015.
  16. Program Committee Member of the ACSC 2015.
  17. Program Committee Member of the FOOL 2014.
  18. Program Committee Member of the Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) 2014 conference.
  19. Program Committee Member of the Australasian Computer Science Conference (ACSC) 2013. (Part of ACSW2013.) Adelaide, Australia.
  20. Program Committee Member of the Australasian Computer Science Conference (ACSC) 2012. (Part of ACSW2012.) Melbourne, Australia.
  21. Extended Review Committee Member for the Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) 2011 conference. Portland, OR, USA.
  22. Program Committee Member of the International Workshop on Aliasing, Confinement, and Ownership (IWACO) 2011 at European Conference for Object-Oriented Programming (ECOOP) 2011.
  23. Program Committee Co-Chair of the Computing: The Australasian Theory Symposium (CATS) 2011. (Part of ACSW2011.) Perth, Australia.
  24. Program Committee Member of the Australasian Computer Science Conference (ACSC) 2011. (Part of ACSW2011.) Perth, Australia.
  25. Conference Coordinator (2010 Onwards) as part of Computing in Research and Education (CORE) Executive.
  26. Program Committee Co-Chair of the Computing: The Australasian Theory Symposium (CATS) 2010. (Part of ACSW2010.) Brisbane, Australia.
  27. Program Committee Member of the Australasian Computer Science Conference (ACSC) 2010. (Part of ACSW2010.) Brisbane, Australia.
  28. General Co-Chair of the Australasian Computer Science Week (ACSW) 2009. Wellington, New Zealand.
  29. Program Committee Member of the International Workshop on Aliasing, Confinement, and Ownership (IWACO) 2007 at European Conference for Object-Oriented Programming (ECOOP2007). Berlin, Germany. (2007).
  30. General Chair of the 15th PhD Workshop and Doctoral Symposium at European Conference for Object-Oriented Programming (ECOOP2005). Glasgow, Scotland. (25 - 29 July, 2005).
  31. Local Organising Chair of the 2nd International Dylan Hackers Conference (DHC2004). Wellington, New Zealand. (4 - 6 February, 2004).

Invited Talks

  1. Are Your Incoming Aliases Really Necessary? Counting the Cost of Object Ownership. Invited Talk at the International Workshop on Aliasing, Confinement, and Ownership (IWACO) 2017.
  2. Life in Academia after your PhD. At PLMW 2015.
  3. Wyvern Formalisation. At NII Shonan Meeting 63 in 2015 on Semantics and Verification of Object-Oriented Languages. (21-25 September, 2015)
  4. Wyvern: A Programming Language for Engineering Secure Mobile and Web Applications. At Java User Group, Wellington, NZ. (20th of May, 2015)
  5. Ownership and Immutability. At Java User Group, Wellington, NZ. (27th of April, 2011)
  6. Post PhD/Masters, what are your options? Invited panel member at NZCSRSC 2010, Wellington, NZ. (13th of April, 2010)
  7. Generic Ownership. At Java User Group, Wellington, NZ. (22nd of November, 2006)
  8. Young guns/object orientation: the next generation. Invited panel member at OOPSLA 2006, Portland, Oregon, USA. (October, 2006)