Прати
Alex Potanin
Alex Potanin
Associate Professor, Australian National University
Верификована је имејл адреса на anu.edu.au - Почетна страница
Наслов
Навело
Навело
Година
Scale-free geometry in OO programs
A Potanin, J Noble, M Frean, R Biddle
Communications of the ACM 48 (5), 99-103, 2005
3082005
Generic ownership for generic Java
A Potanin, J Noble, D Clarke, R Biddle
Acm Sigplan Notices 41 (10), 311-324, 2006
135*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
1272007
Ownership and immutability in generic Java
Y Zibin, A Potanin, P Li, M Ali, MD Ernst
ACM Sigplan Notices 45 (10), 598-617, 2010
932010
Multiple dispatch in practice
R Muschevici, A Potanin, E Tempero, J Noble
Acm sigplan notices 43 (10), 563-582, 2008
722008
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
612014
Checking ownership and confinement
A Potanin, J Noble, R Biddle
Concurrency and Computation: Practice and Experience 16 (7), 671-687, 2004
502004
Snapshot query-based debugging
A Potanin, J Noble, R Biddle
2004 Australian Software Engineering Conference. Proceedings., 251-259, 2004
472004
The billion-dollar fix: safe modular circular initialisation with placeholders and placeholder types
M Servetto, J Mackay, A Potanin, J Noble
European Conference on Object-Oriented Programming, 205-229, 2013
442013
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), 20: 1 …, 2017
43*2017
Immutability
A Potanin, J Östlund, Y Zibin, MD Ernst
Aliasing in object-oriented programming. types, analysis and verification …, 2013
422013
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
422008
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), 10: 1 …, 2017
392017
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
392013
Software translation
SMK Cheng, A Potanin, CM Andreae, SMD Robinson
US Patent App. 12/073,305, 2008
392008
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
392003
Featherweight generic confinement
A Potanin, J Noble, D Clarke, R Biddle
Journal of Functional Programming 16 (6), 793-811, 2006
312006
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
302012
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
272013
Are your incoming aliases really necessary? counting the cost of object ownership
A Potanin, M Damitio, J Noble
2013 35th International Conference on Software Engineering (ICSE), 742-751, 2013
23*2013
Систем тренутно не може да изврши ову радњу. Пробајте поново касније.
Чланци 1–20