Alex Potanin

Registered user since Fri 23 Jan 2015

Name: Alex Potanin

Bio: I am a Senior Lecturer in the School of Engineering and Computer Science at Victoria University of Wellington, New Zealand.

I am originally from Moscow, Russia with a background in Mathematics. I have completed my PhD in programming languages in 2006 and took up a job as a Lecturer in Software Engineering at Victoria University of Wellington. During my studies I took short breaks to work as a Visiting Researcher at Purdue University, and Software Engineer at two Wellington start-ups. I spent 2013 on sabbatical at Carnegie Mellon University in Pittsburgh, PA, USA.

Country: New Zealand

Affiliation: Victoria University of Wellington

Personal website: http://homepages.ecs.vuw.ac.nz/~alex/

Research interests: Programming Languages

Contributions

POPL 2020Author of Decidable Subtyping for Path Dependent Types within the Research Papers-track
APLAS 2019Author of On Decidable Subtyping for Path Dependent Types within the APLAS NIER-track
GPCE 2019Committee Member in Program Committee within the GPCE 2019-track
VPT 2019Author of Iteratively Composing Statically Verified Traits within the VPT 2019 -track
SPLASH 2019Committee Member in Review Committee within the OOPSLA-track
ECOOP 2019Committee Member in Program Committee within the Research Papers-track
PLDI 2019Committee Member in Student Research Competition (SRC) within the Student Research Competition (SRC)-track
VMIL 2018Author of Towards Compilation of an Imperative Language for FPGAs within the VMIL 2018-track
SPLASH 2018Chair in Organizers within the Workshops-track
Workshops Chair in Organizing Committee
NOOL 2017Author of Usably Expressing and Enforcing Design in Wyvern within the NOOL 2017-track
Co-chair in Organizing Committee within the NOOL 2017-track
OCAP 2017Author of Using Object Capabilities and Effects to Build an Authority-Safe Module System within the OCAP 2017-track
Author of Capabilities and Effects within the OCAP 2017-track
ICFP 2018Publications Co-Chair in Organizing Committee
IWACO 2017Author of Are Your Incoming Aliases Really Necessary? Remembering the Cost of Object Ownership. within the IWACO 2017-track
NOOL 2016Committee Member in Program Committee within the NOOL-track
Author of Delegation Revisited within the NOOL-track
DSLDI 2016Author of Naturally Embedded DSLs within the DSLDI-track
FTfJP 2016Committee Member in Program Committee within the FTfJP-track
IWACO 2016Author of Abstract Data Types in Object-Capability Systems within the IWACO-track
SPLASH 2017Workshops Co-Chair in Organizing Committee
Publications Chair in Organizing Committee
Workshops Co-Chair in Organizing Committee within the Workshops-track
ECOOP 2017Author of A Capability-Based Module System for Authority Control within the ECOOP Research Papers-track
Author of EvilPickles: DoS attacks based on Object-Graph Engineering within the ECOOP Research Papers-track
NOOL 2015Session Chair of Concurrent OO Languages (part of NOOL)
Session Chair of Designing OO Languages (part of NOOL)
Session Chair of Typing OO Languages (part of NOOL)
General Chair in Organizing Committee within the NOOL-track
Author of Welcome Session within the NOOL-track
ECOOP 2016Committee Member in Program Committee within the Research Track-track
SPLASH 2016Publications Chair in Organizing Committee
FTfJP 2015Author of Delegation vs Inheritance for Typestate Analysis within the FTfJP-track
FOOLCommittee Member in Program Committee within the FOOL-track
SPLASH 2015Author of Life in Academia After Your PhD within the PLMW-track
Publications Chair in Organizing Committee
PLDI 2015Committee Member in External Review Committee within the Research Papers-track
PLATEAUAuthor of Wyvern: Impacting Software Security via Programming Language Design within the PLATEAU-track
ECOOP 2015Author of A Theory of Tagged Objects within the Artifacts-track
Author of A Theory of Tagged Objects within the Research Track-track
SPLASH 2014Committee Member in Program Committee within the OOPSLA-track