Alex Potanin

Cited by

	All	Since 2019
Citations	1492	379
h-index	21	11
i10-index	28	15

120

20032004200520062007200820092010201120122013201420152016201720182019202020212022202320249 42 27 45 64 82 63 83 77 74 109 81 78 86 82 85 86 72 61 40 61 59

Public access

View all

6 articles

0 articles

available

not available

Based on funding mandates

Co-authors

James NobleCreative Research & ProgrammingVerified email at acm.org
Jonathan AldrichProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Robert BiddleProfessor of Computer Science and Cognitive Science, Carleton UniversityVerified email at hotsoft.carleton.ca
Dave ClarkeIndependentVerified email at storytel.com
Marco ServettoLecturer in Engineering and Computer Science, ECS VUWVerified email at ecs.vuw.ac.nz
Benjamin ChungPostdoc, University of WashingtonVerified email at uw.edu
Michael D. ErnstProfessor of Computer Science & Engineering, University of WashingtonVerified email at cs.washington.edu
David J. PearceConsenSysVerified email at consensys.net
Cyrus OmarAssistant Professor, Computer Science and Engineering, University of MichiganVerified email at umich.edu
Darya MelicherVerified email at cs.cmu.edu
Marcus FreanVictoria University of WellingtonVerified email at ecs.vuw.ac.nz
Shay ArtziAmazonVerified email at amazon.com
Ewan TemperoUniversity of Auckland, Victoria University of WellingtonVerified email at auckland.ac.nz
Ina SchaeferKarlsruhe Institute of Technology (KIT)Verified email at kit.edu
Tobias RungeKarlsruher Institut of TechnologieVerified email at kit.edu
Jens DietrichVictoria University of WellingtonVerified email at vuw.ac.nz
Stephanie BalzerCarnegie Mellon UniversityVerified email at cs.cmu.edu
Kamil JezekUniversity of West Bohemia, Department of Computer Science and Engineering, Pilsen, Czech RepublicVerified email at kiv.zcu.cz
Amjed TahirMassey UniversityVerified email at massey.ac.nz
Shawn RasheedUCOL | Te PūkengaVerified email at ucol.ac.nz

Alex Potanin

Associate Professor, Australian National University

Verified email at anu.edu.au - Homepage

Programming Languages


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Scale-free geometry in OO programs A Potanin, J Noble, M Frean, R Biddle Communications of the ACM 48 (5), 99-103, 2005	307	2005
Generic ownership for generic Java A Potanin, J Noble, D Clarke, R Biddle ACM SIGPLAN Notices 41 (10), 311-324, 2006	134*	2006
Object and reference immutability using Java generics Y Zibin, A Potanin, M Ali, S Artzi, A Kie\| un, MD Ernst Proceedings of the the 6th joint meeting of the European software …, 2007	129	2007
Ownership and immutability in generic Java Y Zibin, A Potanin, P Li, M Ali, MD Ernst ACM Sigplan Notices 45 (10), 598-617, 2010	89	2010
Multiple dispatch in practice R Muschevici, A Potanin, E Tempero, J Noble Acm sigplan notices 43 (10), 563-582, 2008	69	2008
Safely composable type-specific languages C Omar, D Kurilova, L Nistor, B Chung, A Potanin, J Aldrich ECOOP 2014–Object-Oriented Programming: 28th European Conference, Uppsala …, 2014	57	2014
Checking ownership and confinement A Potanin, J Noble, R Biddle Concurrency and Computation: Practice and Experience 16 (7), 671-687, 2004	49	2004
Snapshot query-based debugging A Potanin, J Noble, R Biddle 2004 Australian Software Engineering Conference. Proceedings., 251-259, 2004	47	2004
The billion-dollar fix: safe modular circular initialisation with placeholders and placeholder types M Servetto, J Mackay, A Potanin, J Noble ECOOP 2013–Object-Oriented Programming: 27th European Conference …, 2013	43	2013
Java bytecode verification for@ NonNull types C Male, DJ Pearce, A Potanin, C Dymnikov Compiler Construction: 17th International Conference, CC 2008, Held as Part …, 2008	43	2008
A capability-based module system for authority control D Melicher, Y Shi, A Potanin, J Aldrich 31st European Conference on Object-Oriented Programming (ECOOP 2017), 2017	40*	2017
Immutability A Potanin, J Östlund, Y Zibin, MD Ernst Aliasing in object-oriented programming. types, analysis and verification …, 2013	40	2013
Towards a model of encapsulation J Noble, R Biddle, E Tempero, A Potanin, D Clarke The First International Workshop on Aliasing, Confinement and Ownership in …, 2003	39	2003
Wyvern: A simple, typed, and pure object-oriented language L Nistor, D Kurilova, S Balzer, B Chung, A Potanin, J Aldrich Proceedings of the 5th Workshop on MechAnisms for SPEcialization …, 2013	37	2013
Software translation SMK Cheng, A Potanin, CM Andreae, SMD Robinson US Patent App. 12/073,305, 2008	37	2008
Evil pickles: DoS attacks based on object-graph engineering J Dietrich, K Jezek, S Rasheed, A Tahir, A Potanin 31st European Conference on Object-Oriented Programming (ECOOP 2017), 2017	33	2017
Featherweight generic confinement A Potanin, J Noble, D Clarke, R Biddle Journal of Functional Programming 16 (6), 793-811, 2006	32	2006
Encoding Featherweight Java with assignment and immutability using the Coq proof assistant J Mackay, H Mehnert, A Potanin, L Groves, N Cameron Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs …, 2012	29	2012
Balloon types for safe parallelisation over arbitrary object graphs M Servetto, DJ Pearce, L Groves, A Potanin Workshop on Determinism and Correctness in Parallel Programming (WoDet) 107, 2013	25	2013
Checking ownership and confinement properties A Potanin, J Noble Formal Techniques for Java-like Programs, 2002	23*	2002

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors