A tool for ownership and confinement analysis of the Java object graph. - Alex Potanin (OOPSLA Companion, 2002)

Snapshot Query-Based Debugging. - Alex Potanin; James Noble 001; Robert Biddle (Australian Software Engineering Conference, 2004)

Generic ownership: practical ownership control in programming languages. - Alex Potanin; James Noble 001; Robert Biddle (OOPSLA Companion, 2004)

Checking ownership and confinement. - Alex Potanin; James Noble 001; Robert Biddle (Concurr. Pract. Exp., 2004)

Scale-free geometry in OO programs. - Alex Potanin; James Noble 001; Marcus R. Frean; Robert Biddle (Commun. ACM, 2005)

Young guns/object orientation: the next generation. - Jeffrey Overbey; Brian Foote; Paul Adamczyk; Jonathan Aldrich; Elisa L. A. Baniassad; Christian Grothoff; Arvind Krishna; Sean McDirmid; Todd D. Millstein; Alex Potanin; Mandana Vaziri (OOPSLA Companion, 2006)

Generic ownership for generic Java. - Alex Potanin; James Noble 001; Dave Clarke 001; Robert Biddle (OOPSLA, 2006)

Featherweight generic confinement. - Alex Potanin; James Noble 001; Dave Clarke 001; Robert Biddle (J. Funct. Program., 2006)

Object and reference immutability using java generics. - Yoav Zibin; Alex Potanin; Mahmood Ali; Shay Artzi; Adam Kiezun; Michael D. Ernst (ESEC/SIGSOFT FSE, 2007)

Generic Ownership: a Practical Approach to Ownership and Confinement in Object-Oriented Programming Languages. - Alex Potanin (2007)

Annotating UI Architecture with Actual Use. - Neil Ramsay; Stuart Marshall; Alex Potanin (AUIC, 2008)

Java Bytecode Verification for @NonNull Types. - Chris Male; David J. Pearce 001; Alex Potanin; Constantine Dymnikov (CC, 2008)

Multiple dispatch in practice. - Radu Muschevici; Alex Potanin; Ewan D. Tempero; James Noble 001 (OOPSLA, 2008)

Ownership and immutability in generic Java. - Yoav Zibin; Alex Potanin; Paley Li; Mahmood Ali; Michael D. Ernst (OOPSLA, 2010)

Lessons learnt from collaboratively creating maps on a touch table. - Hien Tran; Craig Anslow; Stuart Marshall; Alex Potanin; Mairéad de Róiste (CHINZ, 2011)

Formalisation and implementation of an algorithm for bytecode verification of @NonNull types. - Chris Male; David J. Pearce 001; Alex Potanin; Constantine Dymnikov (Sci. Comput. Program., 2011)

Encoding Featherweight Java with assignment and immutability using the Coq proof assistant. - Julian Mackay; Hannes Mehnert; Alex Potanin; Lindsay Groves; Nicholas Cameron 001 (FTfJP@ECOOP, 2012)

OwnKit: Inferring Modularly Checkable Ownership Annotations for Java. - Constantine Dymnikov; David J. Pearce 001; Alex Potanin (Australian Software Engineering Conference, 2013)

Type-directed, whitespace-delimited parsing for embedded DSLs. - Cyrus Omar; Benjamin Chung; Darya Kurilova; Alex Potanin; Jonathan Aldrich (GlobalDSL@ECOOP, 2013)

The Billion-Dollar Fix - Safe Modular Circular Initialisation with Placeholders and Placeholder Types. - Marco Servetto; Julian Mackay; Alex Potanin; James Noble 001 (ECOOP, 2013)

Are your incoming aliases really necessary? counting the cost of object ownership. - Alex Potanin; Monique Damitio; James Noble 001 (ICSE, 2013)

Preface. - Alex Potanin; Taso Viglas (Int. J. Found. Comput. Sci., 2013)

Immutability. - Alex Potanin; Johan Östlund; Yoav Zibin; Michael D. Ernst (Aliasing in Object-Oriented Programming, 2013)

Safely Composable Type-Specific Languages. - Cyrus Omar; Darya Kurilova; Ligia Nistor; Benjamin Chung; Alex Potanin; Jonathan Aldrich (ECOOP, 2014)

Type-specific languages to fight injection attacks. - Darya Kurilova; Cyrus Omar; Ligia Nistor; Benjamin Chung; Alex Potanin; Jonathan Aldrich (HotSoS, 2014)

Wyvern: Impacting Software Security via Programming Language Design. - Darya Kurilova; Alex Potanin; Jonathan Aldrich (PLATEAU, 2014)

A Theory of Tagged Objects. - Joseph Lee; Jonathan Aldrich; Troy Shaw; Alex Potanin (ECOOP, 2015)

Workshop preview of the 2015 workshop on new object-oriented languages (NOOL 2015). - Alex Potanin; James Noble 001 (SPLASH (Companion Volume), 2015)

A Theory of Tagged Objects (Artifact). - Joseph Lee; Jonathan Aldrich; Troy Shaw; Alex Potanin; Benjamin Chung (Dagstuhl Artifacts Ser., 2015)

Modules in wyvern: advanced control over security and privacy. - Darya Kurilova; Alex Potanin; Jonathan Aldrich (HotSoS, 2016)

Automated refactoring of rust programs. - Garming Sam; Nick Cameron; Alex Potanin (ACSW, 2017)

Evil Pickles: DoS Attacks Based on Object-Graph Engineering. - Jens Dietrich 001; Kamil Jezek; Shawn Rasheed; Amjed Tahir; Alex Potanin (ECOOP, 2017)

A Capability-Based Module System for Authority Control. - Darya Melicher; Yangqingwei Shi; Alex Potanin; Jonathan Aldrich (ECOOP, 2017)

Evil Pickles: DoS Attacks Based on Object-Graph Engineering (Artifact). - Jens Dietrich 001; Kamil Jezek; Shawn Rasheed; Amjed Tahir; Alex Potanin (Dagstuhl Artifacts Ser., 2017)

A Capability-Based Module System for Authority Control (Artifact). - Darya Melicher; Yangqingwei Shi; Alex Potanin; Jonathan Aldrich (Dagstuhl Artifacts Ser., 2017)

Introduction to the Special Issue on the 0th New Object-Oriented Languages (NOOL) Workshop in 2015. - Alex Potanin (J. Object Technol., 2017)

Abstract and Concrete Data Types vs Object Capabilities. - James Noble 001; Alex Potanin; Toby C. Murray; Mark S. Miller (Principled Software Development, 2018)

Using object capabilities and effects to build an authority-safe module system: poster. - Darya Melicher; Yangqingwei Shi; Valerie Zhao; Alex Potanin; Jonathan Aldrich (HotSoS, 2018)

Capabilities: Effects for Free. - Aaron Craig; Alex Potanin; Lindsay Groves; Jonathan Aldrich (ICFEM, 2018)

Towards compilation of an imperative language for FPGAs. - Baptiste Pauget; David J. Pearce 001; Alex Potanin (VMIL@SPLASH, 2018)

Preface for the Special Issue on the 23rd Asia-Pacific Software Engineering Conference (APSEC) 2016. - Alex Potanin; Gail C. Murphy (Sci. Comput. Program., 2018)

Iteratively Composing Statically Verified Traits. - Isaac Oscar Gariano; Marco Servetto; Alex Potanin; Hrshikesh Arora (VPT@Programming, 2019)

Sound Invariant Checking Using Type Modifiers and Object Capabilities. - Isaac Oscar Gariano; Marco Servetto; Alex Potanin (CoRR, 2019)

Syntactically Restricting Bounded Polymorphism for Decidable Subtyping. - Julian Mackay; Alex Potanin; Jonathan Aldrich; Lindsay Groves (APLAS, 2020)

A Relaxed Balanced Lock-Free Binary Search Tree. - Manish Singh; Lindsay Groves; Alex Potanin (PDCAT, 2020)

Decidable subtyping for path dependent types. - Julian Mackay; Alex Potanin; Jonathan Aldrich; Lindsay Groves (Proc. ACM Program. Lang., 2020)

Traits: Correctness-by-Construction for Free. - Tobias Runge; Alex Potanin; Thomas Thüm; Ina Schaefer (FORTE, 2022)

Information Flow Control-by-Construction for an Object-Oriented Language. - Tobias Runge; Alexander Kittelmann; Marco Servetto; Alex Potanin; Ina Schaefer (SEFM, 2022)

Traits for Correct-by-Construction Programming. - Tobias Runge; Alex Potanin; Thomas Thüm; Ina Schaefer (CoRR, 2022)

Information Flow Control-by-Construction for an Object-Oriented Language Using Type Modifiers. - Tobias Runge; Alexander Kittelmann; Marco Servetto; Alex Potanin; Ina Schaefer (CoRR, 2022)

Using capabilities for strict runtime invariant checking. - Isaac Oscar Gariano; Marco Servetto; Alex Potanin (Sci. Comput. Program., 2022)

Bounded Abstract Effects. - Darya Melicher; Anlun Xu; Valerie Zhao; Alex Potanin; Jonathan Aldrich (ACM Trans. Program. Lang. Syst., 2022)

Flexible Correct-by-Construction Programming. - Tobias Runge; Tabea Bordis; Alex Potanin; Thomas Thüm; Ina Schaefer (Log. Methods Comput. Sci., 2023)

Immutability and Encapsulation for Sound OO Information Flow Control. - Tobias Runge; Marco Servetto; Alex Potanin; Ina Schaefer (ACM Trans. Program. Lang. Syst., 2023)

Pipit on the Post: Proving Pre- and Post-Conditions of Reactive Systems. - Amos Robinson; Alex Potanin (ECOOP, 2024)

Higher-Order Specifications for Deductive Synthesis of Programs with Pointers. - David Young; Ziyi Yang; Ilya Sergey; Alex Potanin (ECOOP, 2024)

Reproducibility Debt: Challenges and Future Pathways. - Zara Hassan; Christoph Treude; Michael Norrish; Graham J. Williams; Alex Potanin (SIGSOFT FSE Companion, 2024)

Towards improved software visualisation of parameterised REE patterns: Introducing REEkit for geological analysis. - Jaxon Kneipp; Alex Potanin; Michael Anenburg (CoRR, 2024)

Evaluating the Language-Based Security for Plugin Development. - Naisheng Liang; Alex Potanin (CoRR, 2024)

Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Extended Version). - David Young; Ziyi Yang; Ilya Sergey; Alex Potanin (CoRR, 2024)

Automated Detection of Algorithm Debt in Deep Learning Frameworks: An Empirical Study. - Emmanuel Iko-Ojo Simon; Chirath Hettiarachchi; Alex Potanin; Hanna Suominen; Fatemeh Hendijani Fard (CoRR, 2024)

Pipit on the Post: Proving Pre- and Post-Conditions of Reactive Systems (Artifact). - Amos Robinson; Alex Potanin (Dagstuhl Artifacts Ser., 2024)

Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Artifact). - David Young; Ziyi Yang; Ilya Sergey; Alex Potanin (Dagstuhl Artifacts Ser., 2024)

Characterising reproducibility debt in scientific software: A systematic literature review. - Zara Hassan; Christoph Treude; Michael Norrish; Graham J. Williams; Alex Potanin (J. Syst. Softw., 2025)

Validate Quantum State Preparation Programs. - Liyi Li 002; Anshu Sharma; Zoukarneini Difaizi Tagba; Sean Frett; Alex Potanin (CoRR, 2025)

A Coq implementation of a Theory of Tagged Objects. - Matthew Gates; Alex Potanin (CoRR, 2025)

Semantically Separating Nominal Wyvern for Usability and Decidability. - Yu Xiang Zhu; Amos Robinson; Sophia Roshal; Timothy Mou; Julian Mackay; Jonathan Aldrich; Alex Potanin (CoRR, 2025)