Travelled to:1 × Croatia
1 × Czech Republic
1 × France
1 × Hungary
1 × Sweden
5 × USA
Collaborated with:J.Aldrich J.Noble D.Kurilova J.Mackay Y.Zibin M.Ali M.D.Ernst M.Damitio J.Lee T.Shaw M.Servetto C.Male D.J.Pearce C.Dymnikov R.Muschevici E.D.Tempero D.Clarke R.Biddle Darya Melicher Yangqingwei Shi L.Groves P.Li Jens Dietrich 0001 K.Jezek Shawn Rasheed A.Tahir C.Omar L.Nistor B.Chung S.Artzi A.Kiezun
Talks about:generic (4) object (4) type (4) java (4) ownership (3) placehold (2) languag (2) immut (2) safe (2) base (2)
Person: Alex Potanin
DBLP: Potanin:Alex
Contributed to:
20152014
20142013
2013
2010
20082008
200720062017
2020Wrote 13 papers:
- ECOOP-2015-LeeASP #formal method
- A Theory of Tagged Objects (JL, JA, TS, AP), pp. 174–197.
- ECOOP-2014-OmarKNCPA #composition
- Safely Composable Type-Specific Languages (CO, DK, LN, BC, AP, JA), pp. 105–130.
- PLATEAU-2014-KurilovaPA #design #named #programming language #security
- Wyvern: Impacting Software Security via Programming Language Design (DK, AP, JA), pp. 57–58.
- ECOOP-2013-ServettoMPN #composition
- The Billion-Dollar Fix — Safe Modular Circular Initialisation with Placeholders and Placeholder Types (MS, JM, AP, JN), pp. 205–229.
- ICSE-2013-PotaninDN #alias #cost analysis
- Are your incoming aliases really necessary? counting the cost of object ownership (AP, MD, JN), pp. 742–751.
- OOPSLA-2010-ZibinPLAE #java
- Ownership and immutability in generic Java (YZ, AP, PL, MA, MDE), pp. 598–617.
- CC-2008-MalePPD #bytecode #java #verification
- Java Bytecode Verification for @NonNull Types (CM, DJP, AP, CD), pp. 229–244.
- OOPSLA-2008-MuscheviciPTN #multi
- Multiple dispatch in practice (RM, AP, EDT, JN), pp. 563–582.
- ESEC-FSE-2007-ZibinPAAKE #java #using
- Object and reference immutability using java generics (YZ, AP, MA, SA, AK, MDE), pp. 75–84.
- OOPSLA-2006-PotaninNCB #java
- Generic ownership for generic Java (AP, JN, DC, RB), pp. 311–324.
- ECOOP-2017-DietrichJRTP
- Evil Pickles: DoS Attacks Based on Object-Graph Engineering (JD0, KJ, SR, AT, AP), p. 32.
- ECOOP-2017-MelicherSPA
- A Capability-Based Module System for Authority Control (DM, YS, AP, JA), p. 27.
- POPL-2020-MackayPAG #decidability #dependent type #type system
- Decidable subtyping for path dependent types (JM, AP, JA, LG), p. 27.