Alex Potanin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
27
Venues
11
Active years
2002–2026
Best venue rank
A*
Where they publish
Papers
27 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ESOP | Validating Quantum State Preparation Programs. | Liyi Li, Anshu Sharma, Zoukarneini Difaizi Tagba, Sean Frett, Alex Potanin |
| 2026 | ITiCSE | Exploring the Impact of Gen-AI on Team-Based Computing Capstone Projects. | Asma Shakil, Marie Devlin, KellyAnn Fitzpatrick, Sarah Carruthers, Mirela Gutica, Ronnie Howard, Stoney Jackson, Chris Johnson, Edward Latorre, Tyler Menezes, Joseph Mertz, Tominiyi Olupitan, Alex Potanin, Floris Westerman |
| 2024 | ECOOP | Pipit on the Post: Proving Pre- and Post-Conditions of Reactive Systems. | Amos Robinson, Alex Potanin |
| 2024 | ECOOP | Higher-Order Specifications for Deductive Synthesis of Programs with Pointers. | David Young, Ziyi Yang, Ilya Sergey, Alex Potanin |
| 2022 | FORTE | Traits: Correctness-by-Construction for Free. | Tobias Runge, Alex Potanin, Thomas Thm, Ina Schaefer |
| 2022 | SEFM | Information Flow Control-by-Construction for an Object-Oriented Language. | Tobias Runge, Alexander Kittelmann, Marco Servetto, Alex Potanin, Ina Schaefer |
| 2020 | APLAS | Syntactically Restricting Bounded Polymorphism for Decidable Subtyping. | Julian Mackay, Alex Potanin, Jonathan Aldrich, Lindsay Groves |
| 2020 | PDCAT | A Relaxed Balanced Lock-Free Binary Search Tree. | Manish Singh, Lindsay Groves, Alex Potanin |
| 2018 | ICFEM | Capabilities: Effects for Free. | Aaron Craig, Alex Potanin, Lindsay Groves, Jonathan Aldrich |
| 2018 | OOPSLA | Towards compilation of an imperative language for FPGAs. | Baptiste Pauget, David J. Pearce, Alex Potanin |
| 2017 | ECOOP | Evil Pickles: DoS Attacks Based on Object-Graph Engineering. | Jens Dietrich, Kamil Jezek, Shawn Rasheed, Amjed Tahir, Alex Potanin |
| 2017 | ECOOP | A Capability-Based Module System for Authority Control. | Darya Melicher, Yangqingwei Shi, Alex Potanin, Jonathan Aldrich |
| 2015 | ECOOP | A Theory of Tagged Objects. | Joseph Lee, Jonathan Aldrich, Troy Shaw, Alex Potanin |
| 2015 | OOPSLA | Workshop preview of the 2015 workshop on new object-oriented languages (NOOL 2015). | Alex Potanin, James Noble |
| 2014 | ECOOP | Safely Composable Type-Specific Languages. | Cyrus Omar, Darya Kurilova, Ligia Nistor, Benjamin Chung, Alex Potanin, Jonathan Aldrich |
| 2014 | OOPSLA | Wyvern: Impacting Software Security via Programming Language Design. | Darya Kurilova, Alex Potanin, Jonathan Aldrich |
| 2013 | ECOOP | Type-directed, whitespace-delimited parsing for embedded DSLs. | Cyrus Omar, Benjamin Chung, Darya Kurilova, Alex Potanin, Jonathan Aldrich |
| 2013 | ECOOP | The Billion-Dollar Fix - Safe Modular Circular Initialisation with Placeholders and Placeholder Types. | Marco Servetto, Julian Mackay, Alex Potanin, James Noble |
| 2013 | ICSE | Are your incoming aliases really necessary? counting the cost of object ownership. | Alex Potanin, Monique Damitio, James Noble |
| 2012 | ECOOP | Encoding Featherweight Java with assignment and immutability using the Coq proof assistant. | Julian Mackay, Hannes Mehnert, Alex Potanin, Lindsay Groves, Nicholas Cameron |
| 2010 | OOPSLA | Ownership and immutability in generic Java. | Yoav Zibin, Alex Potanin, Paley Li, Mahmood Ali, Michael D. Ernst |
| 2008 | CC | Java Bytecode Verification for @NonNull Types. | Chris Male, David J. Pearce, Alex Potanin, Constantine Dymnikov |
| 2008 | OOPSLA | Multiple dispatch in practice. | Radu Muschevici, Alex Potanin, Ewan D. Tempero, James Noble |
| 2006 | OOPSLA | 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 |
| 2006 | OOPSLA | Generic ownership for generic Java. | Alex Potanin, James Noble, Dave Clarke, Robert Biddle |
| 2004 | OOPSLA | Generic ownership: practical ownership control in programming languages. | Alex Potanin, James Noble, Robert Biddle |
| 2002 | OOPSLA | A tool for ownership and confinement analysis of the Java object graph. | Alex Potanin |