Alex Potanin

According to our database, Alex Potanin authored at least 58 papers between 2002 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Extended Version).

David Young, Ziyi Yang, Ilya Sergey, Alex Potanin

CoRR, 2024

Evaluating the Language-Based Security for Plugin Development.

Naisheng Liang, Alex Potanin

CoRR, 2024

Towards improved software visualisation of parameterised REE patterns: Introducing REEkit for geological analysis.

Jaxon Kneipp, Alex Potanin, Michael Anenburg

CoRR, 2024

Reproducibility Debt: Challenges and Future Pathways.

Zara Hassan, Christoph Treude, Michael Norrish, Graham Williams, Alex Potanin

Proceedings of the Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024

2023

Immutability and Encapsulation for Sound OO Information Flow Control.

Tobias Runge, Marco Servetto, Alex Potanin, Ina Schaefer

ACM Trans. Program. Lang. Syst., March, 2023

Flexible Correct-by-Construction Programming.

Tobias Runge, Tabea Bordis, Alex Potanin, Thomas Thüm, Ina Schaefer

Log. Methods Comput. Sci., 2023

2022

Bounded Abstract Effects.

Darya Melicher, Anlun Xu, Valerie Zhao, Alex Potanin, Jonathan Aldrich

ACM Trans. Program. Lang. Syst., 2022

Using capabilities for strict runtime invariant checking.

Isaac Oscar Gariano, Marco Servetto, Alex Potanin

Sci. Comput. Program., 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

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.

Tobias Runge, Alexander Kittelmann, Marco Servetto, Alex Potanin, Ina Schaefer

Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022

Traits: Correctness-by-Construction for Free.

Tobias Runge, Alex Potanin, Thomas Thüm, Ina Schaefer

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2022

2020

Decidable subtyping for path dependent types.

Julian Mackay, Alex Potanin, Jonathan Aldrich, Lindsay Groves

Proc. ACM Program. Lang., 2020

A Relaxed Balanced Lock-Free Binary Search Tree.

Manish Singh, Lindsay Groves, Alex Potanin

Proceedings of the Parallel and Distributed Computing, Applications and Technologies, 2020

Syntactically Restricting Bounded Polymorphism for Decidable Subtyping.

Julian Mackay, Alex Potanin, Jonathan Aldrich, Lindsay Groves

Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020

2019

Sound Invariant Checking Using Type Modifiers and Object Capabilities.

Isaac Oscar Gariano, Marco Servetto, Alex Potanin

CoRR, 2019

Iteratively Composing Statically Verified Traits.

Isaac Oscar Gariano, Marco Servetto, Alex Potanin, Hrshikesh Arora

Proceedings of the Proceedings Seventh International Workshop on Verification and Program Transformation, 2019

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

Towards compilation of an imperative language for FPGAs.

Baptiste Pauget, David J. Pearce, Alex Potanin

Proceedings of the 10th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, 2018

Capabilities: Effects for Free.

Aaron Craig, Alex Potanin, Lindsay Groves, Jonathan Aldrich

Proceedings of the Formal Methods and Software Engineering, 2018

Using object capabilities and effects to build an authority-safe module system: poster.

Darya Melicher, Yangqingwei Shi, Valerie Zhao, Alex Potanin, Jonathan Aldrich

Proceedings of the 5th Annual Symposium and Bootcamp on Hot Topics in the Science of Security, 2018

Abstract and Concrete Data Types vs Object Capabilities.

James Noble, Alex Potanin, Toby C. Murray, Mark S. Miller

Proceedings of the Principled Software Development, 2018

2017

Introduction to the Special Issue on the 0th New Object-Oriented Languages (NOOL) Workshop in 2015.

Alex Potanin

J. Object Technol., 2017

A Capability-Based Module System for Authority Control (Artifact).

Darya Melicher, Yangqingwei Shi, Alex Potanin, Jonathan Aldrich

Dagstuhl Artifacts Ser., 2017

Evil Pickles: DoS Attacks Based on Object-Graph Engineering (Artifact).

Jens Dietrich, Kamil Jezek, Shawn Rasheed, Amjed Tahir, Alex Potanin

Dagstuhl Artifacts Ser., 2017

A Capability-Based Module System for Authority Control.

Darya Melicher, Yangqingwei Shi, Alex Potanin, Jonathan Aldrich

Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

Evil Pickles: DoS Attacks Based on Object-Graph Engineering.

Jens Dietrich, Kamil Jezek, Shawn Rasheed, Amjed Tahir, Alex Potanin

Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

Automated refactoring of rust programs.

Garming Sam, Nick Cameron, Alex Potanin

Proceedings of the Australasian Computer Science Week Multiconference, 2017

2016

Modules in wyvern: advanced control over security and privacy.

Darya Kurilova, Alex Potanin, Jonathan Aldrich

Proceedings of the Symposium and Bootcamp on the Science of Security, 2016

2015

A Theory of Tagged Objects (Artifact).

Joseph Lee, Jonathan Aldrich, Troy Shaw, Alex Potanin, Benjamin Chung

Dagstuhl Artifacts Ser., 2015

Workshop preview of the 2015 workshop on new object-oriented languages (NOOL 2015).

Alex Potanin, James Noble

Proceedings of the Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, 2015

A Theory of Tagged Objects.

Joseph Lee, Jonathan Aldrich, Troy Shaw, Alex Potanin

Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

2014

Wyvern: Impacting Software Security via Programming Language Design.

Darya Kurilova, Alex Potanin, Jonathan Aldrich

Proceedings of the 5th Workshop on Evaluation and Usability of Programming Languages and Tools, 2014

Type-specific languages to fight injection attacks.

Darya Kurilova, Cyrus Omar, Ligia Nistor, Benjamin Chung, Alex Potanin, Jonathan Aldrich

Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, 2014

Safely Composable Type-Specific Languages.

Cyrus Omar, Darya Kurilova, Ligia Nistor, Benjamin Chung, Alex Potanin, Jonathan Aldrich

Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

2013

Immutability.

Alex Potanin, Johan Östlund, Yoav Zibin, Michael D. Ernst

Proceedings of the Aliasing in Object-Oriented Programming. Types, 2013

Preface.

Alex Potanin, Taso Viglas

Int. J. Found. Comput. Sci., 2013

Are your incoming aliases really necessary? counting the cost of object ownership.

Alex Potanin, Monique Damitio, James Noble

Proceedings of the 35th International Conference on Software Engineering, 2013

The Billion-Dollar Fix - Safe Modular Circular Initialisation with Placeholders and Placeholder Types.

Marco Servetto, Julian Mackay, Alex Potanin, James Noble

Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

Type-directed, whitespace-delimited parsing for embedded DSLs.

Cyrus Omar, Benjamin Chung, Darya Kurilova, Alex Potanin, Jonathan Aldrich

Proceedings of the First Workshop on the Globalization of Domain Specific Languages, 2013

OwnKit: Inferring Modularly Checkable Ownership Annotations for Java.

Constantine Dymnikov, David J. Pearce, Alex Potanin

Proceedings of the 22nd Australian Conference on Software Engineering (ASWEC 2013), 2013

2012

Encoding Featherweight Java with assignment and immutability using the Coq proof assistant.

Julian Mackay, Hannes Mehnert, Alex Potanin, Lindsay Groves, Nicholas Cameron

Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs, 2012

2011

Formalisation and implementation of an algorithm for bytecode verification of @NonNull types.

Chris Male, David J. Pearce, Alex Potanin, Constantine Dymnikov

Sci. Comput. Program., 2011

Lessons learnt from collaboratively creating maps on a touch table.

Hien Tran, Craig Anslow, Stuart Marshall, Alex Potanin, Mairéad de Róiste

Proceedings of the 12th ACM SIGCHI New Zealand Chapter's International Conference on Computer-Human Interaction, 2011

2010

Ownership and immutability in generic Java.

Yoav Zibin, Alex Potanin, Paley Li, Mahmood Ali, Michael D. Ernst

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

2008

Multiple dispatch in practice.

Radu Muschevici, Alex Potanin, Ewan D. Tempero, James Noble

Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

Java Bytecode Verification for @NonNull Types.

Chris Male, David J. Pearce, Alex Potanin, Constantine Dymnikov

Proceedings of the Compiler Construction, 17th International Conference, 2008

Annotating UI Architecture with Actual Use.

Neil Ramsay, Stuart Marshall, Alex Potanin

Proceedings of the User Interfaces 2008, Ninth Australasian User Interface Conference, 2008

2007

Generic Ownership: a Practical Approach to Ownership and Confinement in Object-Oriented Programming Languages.

Alex Potanin

PhD thesis, 2007

Object and reference immutability using java generics.

Yoav Zibin, Alex Potanin, Mahmood Ali, Shay Artzi, Adam Kiezun, Michael D. Ernst

Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

2006

Featherweight generic confinement.

Alex Potanin, James Noble, Dave Clarke, Robert Biddle

J. Funct. Program., 2006

Generic ownership for generic Java.

Alex Potanin, James Noble, Dave Clarke, Robert Biddle

Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

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

Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

2005

Scale-free geometry in OO programs.

Alex Potanin, James Noble, Marcus R. Frean, Robert Biddle

Commun. ACM, 2005

2004

Checking ownership and confinement.

Alex Potanin, James Noble, Robert Biddle

Concurr. Pract. Exp., 2004

Generic ownership: practical ownership control in programming languages.

Alex Potanin, James Noble, Robert Biddle

Proceedings of the Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

Snapshot Query-Based Debugging.

Alex Potanin, James Noble, Robert Biddle

Proceedings of the 15th Australian Software Engineering Conference (ASWEC 2004), 2004

2002

A tool for ownership and confinement analysis of the Java object graph.

Alex Potanin

Proceedings of the Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, 2002