2008 |
10 | EE | Chris Male,
David J. Pearce,
Alex Potanin,
Constantine Dymnikov:
Java Bytecode Verification for @NonNull Types.
CC 2008: 229-244 |
9 | EE | Radu Muschevici,
Alex Potanin,
Ewan D. Tempero,
James Noble:
Multiple dispatch in practice.
OOPSLA 2008: 563-582 |
2007 |
8 | EE | 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 |
7 | EE | Alex Potanin,
James Noble,
Dave Clarke,
Robert Biddle:
Generic ownership for generic Java.
OOPSLA 2006: 311-324 |
6 | EE | 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 |
5 | EE | Alex Potanin,
James Noble,
Dave Clarke,
Robert Biddle:
Featherweight generic confinement.
J. Funct. Program. 16(6): 793-811 (2006) |
2005 |
4 | EE | Alex Potanin,
James Noble,
Marcus R. Frean,
Robert Biddle:
Scale-free geometry in OO programs.
Commun. ACM 48(5): 99-103 (2005) |
2004 |
3 | EE | Alex Potanin,
James Noble,
Robert Biddle:
Snapshot Query-Based Debugging.
Australian Software Engineering Conference 2004: 251-261 |
2 | EE | Alex Potanin,
James Noble,
Robert Biddle:
Generic ownership: practical ownership control in programming languages.
OOPSLA Companion 2004: 50-51 |
1 | EE | Alex Potanin,
James Noble,
Robert Biddle:
Checking ownership and confinement.
Concurrency - Practice and Experience 16(7): 671-687 (2004) |