| 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 | 130 | 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 | 71 | 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 | 59 | 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 | 36 | 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 | 30 | 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 |
James NobleCreative Research & Programmingacm.org의 이메일 확인됨