Andrew C. Myers

Registered user since Sat 14 Mar 2015

Name:Andrew C. 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.

Affiliation:Cornell University
Research interests:Programming Languages, Security, Systems

Contributions

PriSC 2022 Committee Member in Program Committee within the PriSC 2022-track
SPLASH 2021 Committee Member in Review Committee within the OOPSLA-track
SPLASH 2010
PriSC 2021 Author of Viaduct: An Optimizing, Extensible Compiler for Secure Distributed Programs within the PriSC 2021-track
PLDI 2021 Author of Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs within the PLDI-track
SPLASH 2020 Author of Handling Bidirectional Control Flow within the OOPSLA-track
Author of Handling Bidirectional Control Flow within the OOPSLA Artifacts-track
SPLASH 2019 Committee Member in External Review Committee within the OOPSLA-track
PLDI 2019 Committee Member in External Program Committee within the PLDI Research Papers-track
POPL 2019 Committee 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 2018 Author of Designing hardware to be free of covert channels by construction within the FMS 2018-track
PLMW 2018 Author 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 2018 Author of MixT: A Language for Mixing Consistency in Geodistributed Transactions within the PLDI Research Papers-track
POPL 2018 Program 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 2017 Session 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 2017 Author of Familia: Unifying Interfaces, Type Classes, and Family Polymorphism within the OOPSLA-track
PLDI 2016 Committee 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 2015 Author 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 2014 Committee Member in External Review Committee within the OOPSLA-track
SPLASH 2012 Committee Member in External Reviewers within the OOPSLA Research Papers-track