Alex Potanin - RankMe

78 papers A* 1A 10B 4C 4Journal 33Unranked 21

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A Security Analysis of CheriBSD and Morello Linux. CoRR Dariy Guzairov, Alex Potanin, Stephen Kell, Alwen Tiu
2026	J	`jnl`	Automated detection of algorithm debt in deep learning frameworks: an empirical study. Empir. Softw. Eng. Emmanuel Iko-Ojo Simon, Chirath Hettiarachchi, Alex Potanin, Hanna Suominen, Fatemeh H. Fard
2026	B	`ed.`	Programming Languages and Systems - 23rd Asian Symposium, APLAS 2025, Bengaluru, India, October 27-30, 2025, Proceedings APLAS Alex Potanin
2026	J	`jnl`	Refactoring and Equivalence in Rust: Expanding the REM Toolchain with a Novel Approach to Automated Equivalence Proofs. CoRR Matthew Britton, Sasha Pak, Alex Potanin
2026	—	`conf`	Validating Quantum State Preparation Programs. ESOP (1) Liyi Li, Anshu Sharma, Zoukarneini Difaizi Tagba, Sean Frett, Alex Potanin
2025	J	`jnl`	A Coq implementation of a Theory of Tagged Objects. CoRR Matthew Gates, Alex Potanin
2025	J	`jnl`	Characterising reproducibility debt in scientific software: A systematic literature review. J. Syst. Softw. Zara Hassan, Christoph Treude, Michael Norrish, Graham J. Williams, Alex Potanin
2025	J	`jnl`	Embedding Quantum Program Verification into Dafny. Proc. ACM Program. Lang. Feifei Cheng, Sushen Vangeepuram, Henry Allard, Seyed Mohammad Reza Jafari, Alex Potanin, Liyi Li
2025	J	`jnl`	Semantically Separating Nominal Wyvern for Usability and Decidability. CoRR Yu Xiang Zhu, Amos Robinson, Sophia Roshal, Timothy Mou, Julian Mackay, Jonathan Aldrich, Alex Potanin
2025	J	`jnl`	Validate Quantum State Preparation Programs. CoRR Liyi Li, Anshu Sharma, Zoukarneini Difaizi Tagba, Sean Frett, Alex Potanin
2024	J	`jnl`	Automated Detection of Algorithm Debt in Deep Learning Frameworks: An Empirical Study. CoRR Emmanuel Iko-Ojo Simon, Chirath Hettiarachchi, Alex Potanin, Hanna Suominen, Fatemeh Hendijani Fard
2024	J	`jnl`	Evaluating the Language-Based Security for Plugin Development. CoRR Naisheng Liang, Alex Potanin
2024	J	`jnl`	Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Artifact). Dagstuhl Artifacts Ser. David Young, Ziyi Yang, Ilya Sergey, Alex Potanin
2024	J	`jnl`	Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Extended Version). CoRR David Young, Ziyi Yang, Ilya Sergey, Alex Potanin
2024	A	`conf`	Higher-Order Specifications for Deductive Synthesis of Programs with Pointers. ECOOP David Young, Ziyi Yang, Ilya Sergey, Alex Potanin
2024	J	`jnl`	Pipit on the Post: Proving Pre- and Post-Conditions of Reactive Systems (Artifact). Dagstuhl Artifacts Ser. Amos Robinson, Alex Potanin
2024	A	`conf`	Pipit on the Post: Proving Pre- and Post-Conditions of Reactive Systems. ECOOP Amos Robinson, Alex Potanin
2024	—	`conf`	Reproducibility Debt: Challenges and Future Pathways. SIGSOFT FSE Companion Zara Hassan, Christoph Treude, Michael Norrish, Graham J. Williams, Alex Potanin
2024	J	`jnl`	Towards improved software visualisation of parameterised REE patterns: Introducing REEkit for geological analysis. CoRR Jaxon Kneipp, Alex Potanin, Michael Anenburg
2023	J	`jnl`	Flexible Correct-by-Construction Programming. Log. Methods Comput. Sci. Tobias Runge, Tabea Bordis, Alex Potanin, Thomas Thüm, Ina Schaefer
2023	J	`jnl`	Immutability and Encapsulation for Sound OO Information Flow Control. ACM Trans. Program. Lang. Syst. Tobias Runge, Marco Servetto, Alex Potanin, Ina Schaefer
2022	J	`jnl`	Bounded Abstract Effects. ACM Trans. Program. Lang. Syst. Darya Melicher, Anlun Xu, Valerie Zhao, Alex Potanin, Jonathan Aldrich
2022	—	`ed.`	Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH Companion 2022, Auckland, New Zealand, December 5-10, 2022 SPLASH Companion Alex Potanin
2022	J	`jnl`	Flexible Correct-by-Construction Programming. CoRR Tobias Runge, Tabea Bordis, Alex Potanin, Thomas Thüm, Ina Schaefer
2022	J	`jnl`	Information Flow Control-by-Construction for an Object-Oriented Language Using Type Modifiers. CoRR Tobias Runge, Alexander Kittelmann, Marco Servetto, Alex Potanin, Ina Schaefer
2022	B	`conf`	Information Flow Control-by-Construction for an Object-Oriented Language. SEFM Tobias Runge, Alexander Kittelmann, Marco Servetto, Alex Potanin, Ina Schaefer
2022	J	`jnl`	Traits for Correct-by-Construction Programming. CoRR Tobias Runge, Alex Potanin, Thomas Thüm, Ina Schaefer
2022	C	`conf`	Traits: Correctness-by-Construction for Free. FORTE Tobias Runge, Alex Potanin, Thomas Thüm, Ina Schaefer
2022	J	`jnl`	Using capabilities for strict runtime invariant checking. Sci. Comput. Program. Isaac Oscar Gariano, Marco Servetto, Alex Potanin
2020	C	`conf`	A Relaxed Balanced Lock-Free Binary Search Tree. PDCAT Manish Singh, Lindsay Groves, Alex Potanin
2020	J	`jnl`	Decidable subtyping for path dependent types. Proc. ACM Program. Lang. Julian Mackay, Alex Potanin, Jonathan Aldrich, Lindsay Groves
2020	B	`conf`	Syntactically Restricting Bounded Polymorphism for Decidable Subtyping. APLAS Julian Mackay, Alex Potanin, Jonathan Aldrich, Lindsay Groves
2019	—	`conf`	Iteratively Composing Statically Verified Traits. VPT@Programming Isaac Oscar Gariano, Marco Servetto, Alex Potanin, Hrshikesh Arora
2019	J	`jnl`	Sound Invariant Checking Using Type Modifiers and Object Capabilities. CoRR Isaac Oscar Gariano, Marco Servetto, Alex Potanin
2018	—	`conf`	Abstract and Concrete Data Types vs Object Capabilities. Principled Software Development James Noble, Alex Potanin, Toby C. Murray, Mark S. Miller
2018	C	`conf`	Capabilities: Effects for Free. ICFEM Aaron Craig, Alex Potanin, Lindsay Groves, Jonathan Aldrich
2018	J	`jnl`	Preface for the Special Issue on the 23rd Asia-Pacific Software Engineering Conference (APSEC) 2016. Sci. Comput. Program. Alex Potanin, Gail C. Murphy
2018	—	`conf`	Towards compilation of an imperative language for FPGAs. VMIL@SPLASH Baptiste Pauget, David J. Pearce, Alex Potanin
2018	—	`conf`	Using object capabilities and effects to build an authority-safe module system: poster. HotSoS Darya Melicher, Yangqingwei Shi, Valerie Zhao, Alex Potanin, Jonathan Aldrich
2017	J	`jnl`	A Capability-Based Module System for Authority Control (Artifact). Dagstuhl Artifacts Ser. Darya Melicher, Yangqingwei Shi, Alex Potanin, Jonathan Aldrich
2017	A	`conf`	A Capability-Based Module System for Authority Control. ECOOP Darya Melicher, Yangqingwei Shi, Alex Potanin, Jonathan Aldrich
2017	—	`conf`	Automated refactoring of rust programs. ACSW Garming Sam, Nick Cameron, Alex Potanin
2017	J	`jnl`	Evil Pickles: DoS Attacks Based on Object-Graph Engineering (Artifact). Dagstuhl Artifacts Ser. Jens Dietrich, Kamil Jezek, Shawn Rasheed, Amjed Tahir, Alex Potanin
2017	A	`conf`	Evil Pickles: DoS Attacks Based on Object-Graph Engineering. ECOOP Jens Dietrich, Kamil Jezek, Shawn Rasheed, Amjed Tahir, Alex Potanin
2017	J	`jnl`	Introduction to the Special Issue on the 0th New Object-Oriented Languages (NOOL) Workshop in 2015. J. Object Technol. Alex Potanin
2016	C	`ed.`	23rd Asia-Pacific Software Engineering Conference, APSEC 2016, Hamilton, New Zealand, December 6-9, 2016 APSEC Alex Potanin, Gail C. Murphy, Steve Reeves, Jens Dietrich
2016	—	`conf`	Modules in wyvern: advanced control over security and privacy. HotSoS Darya Kurilova, Alex Potanin, Jonathan Aldrich
2015	J	`jnl`	A Theory of Tagged Objects (Artifact). Dagstuhl Artifacts Ser. Joseph Lee, Jonathan Aldrich, Troy Shaw, Alex Potanin, Benjamin Chung
2015	A	`conf`	A Theory of Tagged Objects. ECOOP Joseph Lee, Jonathan Aldrich, Troy Shaw, Alex Potanin
2015	—	`conf`	Workshop preview of the 2015 workshop on new object-oriented languages (NOOL 2015). SPLASH (Companion Volume) Alex Potanin, James Noble
2014	A	`conf`	Safely Composable Type-Specific Languages. ECOOP Cyrus Omar, Darya Kurilova, Ligia Nistor, Benjamin Chung, Alex Potanin, Jonathan Aldrich
2014	—	`conf`	Type-specific languages to fight injection attacks. HotSoS Darya Kurilova, Cyrus Omar, Ligia Nistor, Benjamin Chung, Alex Potanin, Jonathan Aldrich
2014	—	`conf`	Wyvern: Impacting Software Security via Programming Language Design. PLATEAU Darya Kurilova, Alex Potanin, Jonathan Aldrich
2013	A*	`conf`	Are your incoming aliases really necessary? counting the cost of object ownership. ICSE Alex Potanin, Monique Damitio, James Noble
2013	—	`ch.`	Immutability. Aliasing in Object-Oriented Programming Alex Potanin, Johan Östlund, Yoav Zibin, Michael D. Ernst
2013	—	`conf`	OwnKit: Inferring Modularly Checkable Ownership Annotations for Java. Australian Software Engineering Conference Constantine Dymnikov, David J. Pearce, Alex Potanin
2013	J	`jnl`	Preface. Int. J. Found. Comput. Sci. Alex Potanin, Taso Viglas
2013	A	`conf`	The Billion-Dollar Fix - Safe Modular Circular Initialisation with Placeholders and Placeholder Types. ECOOP Marco Servetto, Julian Mackay, Alex Potanin, James Noble
2013	—	`conf`	Type-directed, whitespace-delimited parsing for embedded DSLs. GlobalDSL@ECOOP Cyrus Omar, Benjamin Chung, Darya Kurilova, Alex Potanin, Jonathan Aldrich
2012	—	`conf`	Encoding Featherweight Java with assignment and immutability using the Coq proof assistant. FTfJP@ECOOP Julian Mackay, Hannes Mehnert, Alex Potanin, Lindsay Groves, Nicholas Cameron
2011	J	`jnl`	Formalisation and implementation of an algorithm for bytecode verification of @NonNull types. Sci. Comput. Program. Chris Male, David J. Pearce, Alex Potanin, Constantine Dymnikov
2011	—	`conf`	Lessons learnt from collaboratively creating maps on a touch table. CHINZ Hien Tran, Craig Anslow, Stuart Marshall, Alex Potanin, Mairéad de Róiste
2011	—	`ed.`	Seventeenth Computing: The Australasian Theory Symposium, CATS 2011, Perth, Australia, January 2011 CATS Alex Potanin, Taso Viglas
2010	A	`conf`	Ownership and immutability in generic Java. OOPSLA Yoav Zibin, Alex Potanin, Paley Li, Mahmood Ali, Michael D. Ernst
2010	—	`ed.`	Theory of Computing 2010, CATS 2010, Brisbane, Australia, January 2010 CATS Taso Viglas, Alex Potanin
2008	—	`conf`	Annotating UI Architecture with Actual Use. AUIC Neil Ramsay, Stuart Marshall, Alex Potanin
2008	B	`conf`	Java Bytecode Verification for @NonNull Types. CC Chris Male, David J. Pearce, Alex Potanin, Constantine Dymnikov
2008	A	`conf`	Multiple dispatch in practice. OOPSLA Radu Muschevici, Alex Potanin, Ewan D. Tempero, James Noble
2007	—	`—`	Generic Ownership: a Practical Approach to Ownership and Confinement in Object-Oriented Programming Languages. Alex Potanin
2007	—	`conf`	Object and reference immutability using java generics. ESEC/SIGSOFT FSE Yoav Zibin, Alex Potanin, Mahmood Ali, Shay Artzi, Adam Kiezun, Michael D. Ernst
2006	J	`jnl`	Featherweight generic confinement. J. Funct. Program. Alex Potanin, James Noble, Dave Clarke, Robert Biddle
2006	A	`conf`	Generic ownership for generic Java. OOPSLA Alex Potanin, James Noble, Dave Clarke, Robert Biddle
2006	—	`conf`	Young guns/object orientation: the next generation. OOPSLA Companion 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
2005	J	`jnl`	Scale-free geometry in OO programs. Commun. ACM Alex Potanin, James Noble, Marcus R. Frean, Robert Biddle
2004	J	`jnl`	Checking ownership and confinement. Concurr. Pract. Exp. Alex Potanin, James Noble, Robert Biddle
2004	—	`conf`	Generic ownership: practical ownership control in programming languages. OOPSLA Companion Alex Potanin, James Noble, Robert Biddle
2004	—	`conf`	Snapshot Query-Based Debugging. Australian Software Engineering Conference Alex Potanin, James Noble, Robert Biddle
2002	—	`conf`	A tool for ownership and confinement analysis of the Java object graph. OOPSLA Companion Alex Potanin