Andrew Myers

Registered user since Sat 14 Mar 2015

Name: Andrew Myers

Bio: Andrew Myers is a Professor in the Department of Computer Science at Cornell University in Ithaca, NY. His research interests include programming languages, computer security, and distributed and persistent programming systems. Myers is an ACM Fellow. He has received awards for papers appearing in POPL’99, SOSP’01, SOSP’07, CIDR’13, PLDI’13, and PLDI’15. Myers is currently the Editor-in-Chief for ACM Transactions on Programming Languages and Systems (TOPLAS). He has also served as program chair or co-chair for a few conferences: ACM POPL 2018, ACM CCS 2016, POST 2014, IEEE CSF 2010, and IEEE S&P 2009.

Country: United States

Affiliation: Cornell University

Personal website: http://www.cs.cornell.edu/andru

Research interests: Programming Languages, Security, Systems

Contributions

SPLASH 2019Committee Member in External Review Committee within the OOPSLA-track
PLDI 2019Committee Member in External Program Committee within the PLDI Research Papers-track
POPL 2019Committee Member in Steering Committee
Author of Abstraction-Safe Effect Handlers via Tunneling within the Research Papers-track
Session Chair of Time (part of Research Papers)
FMS 2018Author of Designing hardware to be free of covert channels by construction within the FMS 2018-track
PLMW 2018Author of Work-Life Balance? within the PLMW-track
Committee Member in Speakers within the PLMW-track
Author of Panel I: Technical Trends in Programming Languages Research within the PLMW-track
PLDI 2018Author of MixT: A Language for Mixing Consistency in Geodistributed Transactions within the PLDI Research Papers-track
POPL 2018Program Chair of Chairs' Report within the Research Papers-track
Session Chair of Business Meeting (part of Research Papers)
Committee Member in Steering Committee
Program Chair of Welcome to POPL 2018 within the Research Papers-track
Program Chair in Organizing Committee
Committee Member in Selection Committee within the Workshops-track
Program Chair in Program Committee within the Research Papers-track
Session Chair of Keynote-III (part of Research Papers)
Session Chair of Keynote-II (part of Research Papers)
POPL 2017Session Chair of Compiler Optimisation (part of POPL)
Committee Member in Program Committee within the POPL-track
Speaker of POPL 2018 presentation within the POPL-track
SPLASH 2017Author of Familia: Unifying Interfaces, Type Classes, and Family Polymorphism within the OOPSLA-track
PLDI 2016Committee Member in External Program Committee
Author of Accepting Blame for Safe Tunneled Exceptions within the Research Papers-track
Session Chair of Security (part of Research Papers)
PLDI 2015Author of Diagnosing Type Errors with Class within the Research Papers-track
Author of Finding Counterexamples from Parsing Conflicts within the Research Papers-track
Author of Lightweight, Flexible Object-Oriented Generics within the Research Papers-track
SPLASH 2014Committee Member in External Review Committee within the OOPSLA-track
SPLASH 2012Committee Member in External Reviewers within the OOPSLA Research Papers-track