default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAlex Potanin
Person information
- affiliation: Australian National University, School of Computing, Canberra, Australia
- affiliation (former, PhD 2007): Victoria University of Wellington, School of Engineering and Computer Science, New Zealand
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j17]Amos Robinson, Alex Potanin:
Pipit on the Post: Proving Pre- and Post-Conditions of Reactive Systems (Artifact). Dagstuhl Artifacts Ser. 10(2): 19:1-19:2 (2024)- [j16]David Young, Ziyi Yang, Ilya Sergey, Alex Potanin:
Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Artifact). Dagstuhl Artifacts Ser. 10(2): 25:1-25:2 (2024) - [c37]Amos Robinson, Alex Potanin:
Pipit on the Post: Proving Pre- and Post-Conditions of Reactive Systems. ECOOP 2024: 34:1-34:28 - [c36]David Young, Ziyi Yang, Ilya Sergey, Alex Potanin:
Higher-Order Specifications for Deductive Synthesis of Programs with Pointers. ECOOP 2024: 45:1-45:26 - [c35]Zara Hassan
, Christoph Treude, Michael Norrish, Graham J. Williams, Alex Potanin:
Reproducibility Debt: Challenges and Future Pathways. SIGSOFT FSE Companion 2024: 462-466 - [i8]Jaxon Kneipp, Alex Potanin, Michael Anenburg:
Towards improved software visualisation of parameterised REE patterns: Introducing REEkit for geological analysis. CoRR abs/2405.07438 (2024) - [i7]Naisheng Liang, Alex Potanin:
Evaluating the Language-Based Security for Plugin Development. CoRR abs/2405.07448 (2024) - [i6]David Young, Ziyi Yang, Ilya Sergey, Alex Potanin:
Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Extended Version). CoRR abs/2407.09143 (2024) - [i5]Emmanuel Iko-Ojo Simon, Chirath Hettiarachchi, Alex Potanin, Hanna Suominen, Fatemeh Hendijani Fard:
Automated Detection of Algorithm Debt in Deep Learning Frameworks: An Empirical Study. CoRR abs/2408.10529 (2024) - 2023
- [j15]Tobias Runge, Tabea Bordis, Alex Potanin, Thomas Thüm, Ina Schaefer:
Flexible Correct-by-Construction Programming. Log. Methods Comput. Sci. 19(2) (2023) - [j14]Tobias Runge, Marco Servetto, Alex Potanin, Ina Schaefer:
Immutability and Encapsulation for Sound OO Information Flow Control. ACM Trans. Program. Lang. Syst. 45(1): 3:1-3:35 (2023) - 2022
- [j13]Isaac Oscar Gariano, Marco Servetto, Alex Potanin:
Using capabilities for strict runtime invariant checking. Sci. Comput. Program. 224: 102878 (2022) - [j12]Darya Melicher, Anlun Xu, Valerie Zhao, Alex Potanin, Jonathan Aldrich:
Bounded Abstract Effects. ACM Trans. Program. Lang. Syst. 44(1): 5:1-5:48 (2022) - [c34]Tobias Runge, Alex Potanin, Thomas Thüm, Ina Schaefer:
Traits: Correctness-by-Construction for Free. FORTE 2022: 131-150 - [c33]Tobias Runge, Alexander Kittelmann, Marco Servetto, Alex Potanin, Ina Schaefer:
Information Flow Control-by-Construction for an Object-Oriented Language. SEFM 2022: 209-226 - [e4]Alex Potanin:
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. ACM 2022, ISBN 978-1-4503-9901-2 [contents] - [i4]Tobias Runge, Alex Potanin, Thomas Thüm, Ina Schaefer:
Traits for Correct-by-Construction Programming. CoRR abs/2204.05644 (2022) - [i3]Tobias Runge, Alexander Kittelmann, Marco Servetto, Alex Potanin, Ina Schaefer:
Information Flow Control-by-Construction for an Object-Oriented Language Using Type Modifiers. CoRR abs/2208.02672 (2022) - [i2]Tobias Runge, Tabea Bordis, Alex Potanin, Thomas Thüm, Ina Schaefer:
Flexible Correct-by-Construction Programming. CoRR abs/2211.15261 (2022) - 2020
- [j11]Julian Mackay, Alex Potanin, Jonathan Aldrich, Lindsay Groves:
Decidable subtyping for path dependent types. Proc. ACM Program. Lang. 4(POPL): 66:1-66:27 (2020) - [c32]Julian Mackay, Alex Potanin, Jonathan Aldrich, Lindsay Groves:
Syntactically Restricting Bounded Polymorphism for Decidable Subtyping. APLAS 2020: 125-144 - [c31]Manish Singh, Lindsay Groves, Alex Potanin:
A Relaxed Balanced Lock-Free Binary Search Tree. PDCAT 2020: 304-317
2010 – 2019
- 2019
- [c30]Isaac Oscar Gariano, Marco Servetto, Alex Potanin, Hrshikesh Arora:
Iteratively Composing Statically Verified Traits. VPT@Programming 2019: 49-55 - [i1]Isaac Oscar Gariano, Marco Servetto, Alex Potanin:
Sound Invariant Checking Using Type Modifiers and Object Capabilities. CoRR abs/1902.10231 (2019) - 2018
- [j10]Alex Potanin, Gail C. Murphy:
Preface for the Special Issue on the 23rd Asia-Pacific Software Engineering Conference (APSEC) 2016. Sci. Comput. Program. 163: 138 (2018) - [c29]James Noble, Alex Potanin, Toby C. Murray, Mark S. Miller:
Abstract and Concrete Data Types vs Object Capabilities. Principled Software Development 2018: 221-240 - [c28]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: 29:1 - [c27]Aaron Craig, Alex Potanin, Lindsay Groves, Jonathan Aldrich:
Capabilities: Effects for Free. ICFEM 2018: 231-247 - [c26]Baptiste Pauget, David J. Pearce, Alex Potanin:
Towards compilation of an imperative language for FPGAs. VMIL@SPLASH 2018: 47-56 - 2017
- [j9]Darya Melicher, Yangqingwei Shi, Alex Potanin, Jonathan Aldrich:
A Capability-Based Module System for Authority Control (Artifact). Dagstuhl Artifacts Ser. 3(2): 02:1-02:2 (2017) - [j8]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): 13:1-13:3 (2017) - [j7]Alex Potanin:
Introduction to the Special Issue on the 0th New Object-Oriented Languages (NOOL) Workshop in 2015. J. Object Technol. 16(2): 1-2 (2017) - [c25]Garming Sam, Nick Cameron, Alex Potanin:
Automated refactoring of rust programs. ACSW 2017: 14:1-14:9 - [c24]Jens Dietrich, Kamil Jezek, Shawn Rasheed, Amjed Tahir, Alex Potanin:
Evil Pickles: DoS Attacks Based on Object-Graph Engineering. ECOOP 2017: 10:1-10:32 - [c23]Darya Melicher, Yangqingwei Shi, Alex Potanin, Jonathan Aldrich:
A Capability-Based Module System for Authority Control. ECOOP 2017: 20:1-20:27 - 2016
- [c22]Darya Kurilova, Alex Potanin, Jonathan Aldrich:
Modules in wyvern: advanced control over security and privacy. HotSoS 2016: 68 - [e3]Alex Potanin, Gail C. Murphy, Steve Reeves, Jens Dietrich:
23rd Asia-Pacific Software Engineering Conference, APSEC 2016, Hamilton, New Zealand, December 6-9, 2016. IEEE Computer Society 2016, ISBN 978-1-5090-5575-3 [contents] - 2015
- [j6]Joseph Lee, Jonathan Aldrich, Troy Shaw, Alex Potanin, Benjamin Chung:
A Theory of Tagged Objects (Artifact). Dagstuhl Artifacts Ser. 1(1): 03:1-03-3 (2015) - [c21]Joseph Lee, Jonathan Aldrich, Troy Shaw, Alex Potanin:
A Theory of Tagged Objects. ECOOP 2015: 174-197 - [c20]Alex Potanin, James Noble:
Workshop preview of the 2015 workshop on new object-oriented languages (NOOL 2015). SPLASH (Companion Volume) 2015: 105-106 - 2014
- [c19]Cyrus Omar, Darya Kurilova, Ligia Nistor, Benjamin Chung, Alex Potanin, Jonathan Aldrich:
Safely Composable Type-Specific Languages. ECOOP 2014: 105-130 - [c18]Darya Kurilova, Cyrus Omar, Ligia Nistor, Benjamin Chung, Alex Potanin, Jonathan Aldrich:
Type-specific languages to fight injection attacks. HotSoS 2014: 18 - [c17]Darya Kurilova, Alex Potanin, Jonathan Aldrich:
Wyvern: Impacting Software Security via Programming Language Design. PLATEAU 2014: 57-58 - 2013
- [j5]Alex Potanin, Taso Viglas:
Preface. Int. J. Found. Comput. Sci. 24(1): 1-2 (2013) - [c16]Constantine Dymnikov, David J. Pearce, Alex Potanin:
OwnKit: Inferring Modularly Checkable Ownership Annotations for Java. Australian Software Engineering Conference 2013: 181-190 - [c15]Cyrus Omar, Benjamin Chung, Darya Kurilova, Alex Potanin, Jonathan Aldrich:
Type-directed, whitespace-delimited parsing for embedded DSLs. GlobalDSL@ECOOP 2013: 8-11 - [c14]Marco Servetto, Julian Mackay, Alex Potanin, James Noble:
The Billion-Dollar Fix - Safe Modular Circular Initialisation with Placeholders and Placeholder Types. ECOOP 2013: 205-229 - [c13]Alex Potanin, Monique Damitio, James Noble:
Are your incoming aliases really necessary? counting the cost of object ownership. ICSE 2013: 742-751 - [p1]Alex Potanin, Johan Östlund, Yoav Zibin, Michael D. Ernst:
Immutability. Aliasing in Object-Oriented Programming 2013: 233-269 - 2012
- [c12]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: 11-19 - 2011
- [j4]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): 587-608 (2011) - [c11]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: 105-108 - [e2]Alex Potanin, Taso Viglas:
Seventeenth Computing: The Australasian Theory Symposium, CATS 2011, Perth, Australia, January 2011. CRPIT 119, Australian Computer Society 2011, ISBN 978-1-920682-98-9 [contents] - 2010
- [c10]Yoav Zibin, Alex Potanin, Paley Li, Mahmood Ali, Michael D. Ernst:
Ownership and immutability in generic Java. OOPSLA 2010: 598-617 - [e1]Taso Viglas, Alex Potanin:
Theory of Computing 2010, CATS 2010, Brisbane, Australia, January 2010. CRPIT 109, Australian Computer Society 2010, ISBN 978-1-920682-90-3 [contents]
2000 – 2009
- 2008
- [c9]Neil Ramsay, Stuart Marshall, Alex Potanin:
Annotating UI Architecture with Actual Use. AUIC 2008: 75-78 - [c8]Chris Male, David J. Pearce, Alex Potanin, Constantine Dymnikov:
Java Bytecode Verification for @NonNull Types. CC 2008: 229-244 - [c7]Radu Muschevici, Alex Potanin, Ewan D. Tempero, James Noble:
Multiple dispatch in practice. OOPSLA 2008: 563-582 - 2007
- [b1]Alex Potanin:
Generic Ownership: a Practical Approach to Ownership and Confinement in Object-Oriented Programming Languages. Victoria University of Wellington, New Zealand, 2007 - [c6]Yoav Zibin, Alex Potanin, Mahmood Ali, Shay Artzi, Adam Kiezun, Michael D. Ernst:
Object and reference immutability using java generics. ESEC/SIGSOFT FSE 2007: 75-84 - 2006
- [j3]Alex Potanin, James Noble, Dave Clarke, Robert Biddle:
Featherweight generic confinement. J. Funct. Program. 16(6): 793-811 (2006) - [c5]Alex Potanin, James Noble, Dave Clarke, Robert Biddle:
Generic ownership for generic Java. OOPSLA 2006: 311-324 - [c4]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: 940-942 - 2005
- [j2]Alex Potanin, James Noble, Marcus R. Frean, Robert Biddle:
Scale-free geometry in OO programs. Commun. ACM 48(5): 99-103 (2005) - 2004
- [j1]Alex Potanin, James Noble, Robert Biddle:
Checking ownership and confinement. Concurr. Pract. Exp. 16(7): 671-687 (2004) - [c3]Alex Potanin, James Noble, Robert Biddle:
Snapshot Query-Based Debugging. Australian Software Engineering Conference 2004: 251-261 - [c2]Alex Potanin, James Noble, Robert Biddle:
Generic ownership: practical ownership control in programming languages. OOPSLA Companion 2004: 50-51 - 2002
- [c1]Alex Potanin:
A tool for ownership and confinement analysis of the Java object graph. OOPSLA Companion 2002: 118-119
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
