Alex Potanin

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 30

Top Topics

Information Flow Control

Construction Process

Programming Language

Top Venues

Dagstuhl Artifacts Ser.

Publications

David Young, Ziyi Yang, Ilya Sergey, Alex Potanin
Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Extended Version). CoRR (2024)
Zara Hassan, Christoph Treude, Michael Norrish, Graham Williams, Alex Potanin
Reproducibility Debt: Challenges and Future Pathways. SIGSOFT FSE Companion (2024)
Naisheng Liang, Alex Potanin
Evaluating the Language-Based Security for Plugin Development. CoRR (2024)
Jaxon Kneipp, Alex Potanin, Michael Anenburg
Towards improved software visualisation of parameterised REE patterns: Introducing REEkit for geological analysis. CoRR (2024)
Tobias Runge, Marco Servetto, Alex Potanin, Ina Schaefer
Immutability and Encapsulation for Sound OO Information Flow Control. ACM Trans. Program. Lang. Syst. 45 (1) (2023)
Tobias Runge, Tabea Bordis, Alex Potanin, Thomas Thüm, Ina Schaefer
Flexible Correct-by-Construction Programming. Log. Methods Comput. Sci. 19 (2) (2023)
Isaac Oscar Gariano, Marco Servetto, Alex Potanin
Using capabilities for strict runtime invariant checking. Sci. Comput. Program. 224 (2022)
Tobias Runge, Alex Potanin, Thomas Thüm, Ina Schaefer
Traits for Correct-by-Construction Programming. CoRR (2022)
Tobias Runge, Alexander Kittelmann, Marco Servetto, Alex Potanin, Ina Schaefer
Information Flow Control-by-Construction for an Object-Oriented Language. SEFM (2022)
Darya Melicher, Anlun Xu, Valerie Zhao, Alex Potanin, Jonathan Aldrich
Bounded Abstract Effects. ACM Trans. Program. Lang. Syst. 44 (1) (2022)
Tobias Runge, Alex Potanin, Thomas Thüm, Ina Schaefer
Traits: Correctness-by-Construction for Free. FORTE (2022)
Tobias Runge, Tabea Bordis, Alex Potanin, Thomas Thüm, Ina Schaefer
Flexible Correct-by-Construction Programming. CoRR (2022)
Tobias Runge, Alexander Kittelmann, Marco Servetto, Alex Potanin, Ina Schaefer
Information Flow Control-by-Construction for an Object-Oriented Language Using Type Modifiers. CoRR (2022)
Manish Singh, Lindsay Groves, Alex Potanin
A Relaxed Balanced Lock-Free Binary Search Tree. PDCAT (2020)
Julian Mackay, Alex Potanin, Jonathan Aldrich, Lindsay Groves
Syntactically Restricting Bounded Polymorphism for Decidable Subtyping. APLAS (2020)
Julian Mackay, Alex Potanin, Jonathan Aldrich, Lindsay Groves
Decidable subtyping for path dependent types. Proc. ACM Program. Lang. 4 (POPL) (2020)
Isaac Oscar Gariano, Marco Servetto, Alex Potanin
Sound Invariant Checking Using Type Modifiers and Object Capabilities. CoRR (2019)
Isaac Oscar Gariano, Marco Servetto, Alex Potanin, Hrshikesh Arora
Iteratively Composing Statically Verified Traits. VPT@Programming (2019)
James Noble, Alex Potanin, Toby C. Murray, Mark S. Miller
Abstract and Concrete Data Types vs Object Capabilities. Principled Software Development (2018)
Aaron Craig, Alex Potanin, Lindsay Groves, Jonathan Aldrich
Capabilities: Effects for Free. ICFEM (2018)
Darya Melicher, Yangqingwei Shi, Valerie Zhao, Alex Potanin, Jonathan Aldrich
Using object capabilities and effects to build an authority-safe module system: poster. HotSoS (2018)
Baptiste Pauget, David J. Pearce, Alex Potanin
Towards compilation of an imperative language for FPGAs. VMIL@SPLASH (2018)
Alex Potanin, Gail C. Murphy
Preface for the Special Issue on the 23rd Asia-Pacific Software Engineering Conference (APSEC) 2016. Sci. Comput. Program. 163 (2018)
Darya Melicher, Yangqingwei Shi, Alex Potanin, Jonathan Aldrich
A Capability-Based Module System for Authority Control. ECOOP (2017)
Jens Dietrich, Kamil Jezek, Shawn Rasheed, Amjed Tahir, Alex Potanin
Evil Pickles: DoS Attacks Based on Object-Graph Engineering (Artifact). Dagstuhl Artifacts Ser. 3 (2) (2017)
Alex Potanin
Introduction to the Special Issue on the 0th New Object-Oriented Languages (NOOL) Workshop in 2015. J. Object Technol. 16 (2) (2017)
Darya Melicher, Yangqingwei Shi, Alex Potanin, Jonathan Aldrich
A Capability-Based Module System for Authority Control (Artifact). Dagstuhl Artifacts Ser. 3 (2) (2017)
Jens Dietrich, Kamil Jezek, Shawn Rasheed, Amjed Tahir, Alex Potanin
Evil Pickles: DoS Attacks Based on Object-Graph Engineering. ECOOP (2017)
Garming Sam, Nick Cameron, Alex Potanin
Automated refactoring of rust programs. ACSW (2017)
Darya Kurilova, Alex Potanin, Jonathan Aldrich
Modules in wyvern: advanced control over security and privacy. HotSoS (2016)
Alex Potanin, James Noble
Workshop preview of the 2015 workshop on new object-oriented languages (NOOL 2015). SPLASH (Companion Volume) (2015)
Joseph Lee, Jonathan Aldrich, Troy Shaw, Alex Potanin, Benjamin Chung
A Theory of Tagged Objects (Artifact). Dagstuhl Artifacts Ser. 1 (1) (2015)
Joseph Lee, Jonathan Aldrich, Troy Shaw, Alex Potanin
A Theory of Tagged Objects. ECOOP (2015)
Darya Kurilova, Alex Potanin, Jonathan Aldrich
Wyvern: Impacting Software Security via Programming Language Design. PLATEAU (2014)
Darya Kurilova, Cyrus Omar, Ligia Nistor, Benjamin Chung, Alex Potanin, Jonathan Aldrich
Type-specific languages to fight injection attacks. HotSoS (2014)
Cyrus Omar, Darya Kurilova, Ligia Nistor, Benjamin Chung, Alex Potanin, Jonathan Aldrich
Safely Composable Type-Specific Languages. ECOOP (2014)
Cyrus Omar, Benjamin Chung, Darya Kurilova, Alex Potanin, Jonathan Aldrich
Type-directed, whitespace-delimited parsing for embedded DSLs. GlobalDSL@ECOOP (2013)
Marco Servetto, Julian Mackay, Alex Potanin, James Noble
The Billion-Dollar Fix - Safe Modular Circular Initialisation with Placeholders and Placeholder Types. ECOOP (2013)
Constantine Dymnikov, David J. Pearce, Alex Potanin
OwnKit: Inferring Modularly Checkable Ownership Annotations for Java. Australian Software Engineering Conference (2013)
Alex Potanin, Taso Viglas
Preface. Int. J. Found. Comput. Sci. 24 (1) (2013)
Alex Potanin, Monique Damitio, James Noble
Are your incoming aliases really necessary? counting the cost of object ownership. ICSE (2013)
Julian Mackay, Hannes Mehnert, Alex Potanin, Lindsay Groves, Nicholas Cameron
Encoding Featherweight Java with assignment and immutability using the Coq proof assistant. FTfJP@ECOOP (2012)
Hien Tran, Craig Anslow, Stuart Marshall, Alex Potanin, Mairéad de Róiste
Lessons learnt from collaboratively creating maps on a touch table. CHINZ (2011)
Chris Male, David J. Pearce, Alex Potanin, Constantine Dymnikov
Formalisation and implementation of an algorithm for bytecode verification of @NonNull types. Sci. Comput. Program. 76 (7) (2011)
Yoav Zibin, Alex Potanin, Paley Li, Mahmood Ali, Michael D. Ernst
Ownership and immutability in generic Java. OOPSLA (2010)
Radu Muschevici, Alex Potanin, Ewan D. Tempero, James Noble
Multiple dispatch in practice. OOPSLA (2008)
Neil Ramsay, Stuart Marshall, Alex Potanin
Annotating UI Architecture with Actual Use. AUIC (2008)
Chris Male, David J. Pearce, Alex Potanin, Constantine Dymnikov
Java Bytecode Verification for @NonNull Types. CC (2008)
Yoav Zibin, Alex Potanin, Mahmood Ali, Shay Artzi, Adam Kiezun, Michael D. Ernst
Object and reference immutability using java generics. ESEC/SIGSOFT FSE (2007)
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
Young guns/object orientation: the next generation. OOPSLA Companion (2006)
Alex Potanin, James Noble, Dave Clarke, Robert Biddle
Featherweight generic confinement. J. Funct. Program. 16 (6) (2006)
Alex Potanin, James Noble, Dave Clarke, Robert Biddle
Generic ownership for generic Java. OOPSLA (2006)
Alex Potanin, James Noble, Marcus R. Frean, Robert Biddle
Scale-free geometry in OO programs. Commun. ACM 48 (5) (2005)
Alex Potanin, James Noble, Robert Biddle
Generic ownership: practical ownership control in programming languages. OOPSLA Companion (2004)
Alex Potanin, James Noble, Robert Biddle
Checking ownership and confinement. Concurr. Pract. Exp. 16 (7) (2004)
Alex Potanin, James Noble, Robert Biddle
Snapshot Query-Based Debugging. Australian Software Engineering Conference (2004)
Alex Potanin
A tool for ownership and confinement analysis of the Java object graph. OOPSLA Companion (2002)