Alex Potanin

Registered user since Fri 23 Jan 2015

Name:Alex Potanin
Bio:

I am an Associate Professor 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. I spent winter 2019/2020 on sabbatical at Kyoto University in Japan.

Country:New Zealand
Affiliation:Victoria University of Wellington
Research interests:Programming Languages

Contributions

ECOOP 2022 Committee Member in Program Committee within the Research Papers-track
IWACO 2021 Committee Member in Program Committee within the IWACO [Cancelled]-track
APLAS 2021 Committee Member in Program Committee within the Research Papers-track
SPLASH 2021 Committee Member in External Review Committee within the OOPSLA-track
Hybridization Co-Chair in Organizing Committee
Committee Member in Steering Committee
SPLASH 2010
PLDI 2021 Session Chair of Ask Me Anything (part of Ask Me Anything)
APLAS 2020 Author of Syntactically Restricting Bounded Polymorphism for Decidable Subtyping within the Research Papers-track
SPLASH 2022 General Chair in Organizing Committee
GPCE 2020 Committee Member in Program Committee within the GPCE-track
SPLASH 2020 Committee Member in Steering Committee
Session Chair of R-5 (part of OOPSLA)
Session Chair of F-2B (part of OOPSLA)
Virtualization Co-Chair in Organizing Committee
Session Chair of F-5A (part of OOPSLA)
Committee Member in Review Committee within the OOPSLA-track
Session Chair of W-3 (part of OOPSLA)
Mentor in Mentors within the PLMW-track
Session Chair of F-1B (part of OOPSLA)
ICFP 2020 Author of Online Lecture Panel within the Social Events-track
POPL 2020 Author of Decidable Subtyping for Path Dependent Types within the Research Papers-track
APLAS 2019 Author of On Decidable Subtyping for Path Dependent Types within the APLAS NIER-track
GPCE 2019 Committee Member in Program Committee within the GPCE 2019-track
VPT 2019 Author of Iteratively Composing Statically Verified Traits within the VPT 2019 -track
SPLASH 2019 Committee Member in Review Committee within the OOPSLA-track
ECOOP 2019 Committee Member in Program Committee within the Research Papers-track
PLDI 2019 Committee Member in Student Research Competition (SRC) within the Student Research Competition (SRC)-track
VMIL 2018 Author of Towards Compilation of an Imperative Language for FPGAs within the VMIL 2018-track
SPLASH 2018 Chair in Organizers within the Workshops-track
Workshops Chair in Organizing Committee
NOOL 2017 Author of Usably Expressing and Enforcing Design in Wyvern within the NOOL 2017-track
Co-chair in Organizing Committee within the NOOL 2017-track
OCAP 2017 Author 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 2018 Publications Co-Chair in Organizing Committee
IWACO 2017 Author of Are Your Incoming Aliases Really Necessary? Remembering the Cost of Object Ownership. within the IWACO 2017-track
NOOL 2016 Committee Member in Program Committee within the NOOL-track
Author of Delegation Revisited within the NOOL-track
DSLDI 2016 Author of Naturally Embedded DSLs within the DSLDI-track
FTfJP 2016 Committee Member in Program Committee within the FTfJP-track
IWACO 2016 Author of Abstract Data Types in Object-Capability Systems within the IWACO-track
SPLASH 2017 Workshops Co-Chair in Organizing Committee
Publications Chair in Organizing Committee
Workshops Co-Chair in Organizing Committee within the Workshops-track
ECOOP 2017 Author 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 2015 Session 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 2016 Committee Member in Program Committee within the Research Track-track
SPLASH 2016 Publications Chair in Organizing Committee
FTfJP 2015 Author of Delegation vs Inheritance for Typestate Analysis within the FTfJP-track
FOOL Committee Member in Program Committee within the FOOL-track
SPLASH 2015 Author of Life in Academia After Your PhD within the PLMW-track
Publications Chair in Organizing Committee
PLDI 2015 Committee Member in External Review Committee within the Research Papers-track
PLATEAU Author of Wyvern: Impacting Software Security via Programming Language Design within the PLATEAU-track
ECOOP 2015 Author of A Theory of Tagged Objects within the Artifacts-track
Author of A Theory of Tagged Objects within the Research Track-track
SPLASH 2014 Committee Member in Program Committee within the OOPSLA-track
SPLASH 2011 Committee Member in External Reviewers within the OOPSLA-track