Michael Hicks

Registered user since Thu 27 Aug 2015

Name:Michael Hicks
Bio:

Mike Hicks is a Senior Principal Scientist at Amazon Web Services, and Professor Emeritus at the University of Maryland, where we co-founded and directed the laboratory for Programming Languages research (PLUM).

Mike’s research explores programming languages and security. He is a Fellow of the Association of Computing Machinery (ACM), Editor-in-Chief of Proceedings of the ACM on Programming Languages, and prior Chair of ACM’s Special Interest Group on Programming Languages. He currently co-leads the development of Cedar, the policy language underpinning the new Amazon Verified Permissions authorization service.

Mike is the founder and former editor in chief (2019-2021) of PL Perspectives, the SIGPLAN blog. He currently blogs at the Programming Languages Enthusiast and Tweets at @michael_w_hicks.

Country:United States
Affiliation:Amazon Web Services and the University of Maryland
Personal website:http://mhicks.me
Research interests:Programming Languages and Security

Contributions

POPL 2024 Committee Member in Program Committee within the POPL-track
SPLASH 2023 Author of Fat Pointers for Temporal Memory Safety of C within the OOPSLA-track
PLDI 2023 Area Chair in PLDI Review Committee within the PLDI Research Papers-track
‹Programming› 2023 Author of Symphony: Expressive Secure Multiparty Computation with Coordination within the Research Papers-track
POPL 2023 Author of Qunity: A Unified Language for Quantum and Classical Computing within the POPL-track
PriSC 2023 Committee Member in Steering Committee within the PriSC 2023-track
SPLASH 2022 Mentor in Mentors within the PLMW-track
Author of Verified Compilation of Quantum Oracles within the OOPSLA-track
PLDI 2022 Author of (OOPSLA 2020) Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell within the SIGPLAN Track-track
Author of (POPL 2021) A Verified Optimizer for Quantum Circuits within the SIGPLAN Track-track
Author of Making C Programs Safer with Checked C within the Tutorials-track
PLMW Author of How to Write a Technical Paper within the PLMW-track
ICSE 2022 Author of Garbage Collection Makes Rust Easier to Use: A Randomized Controlled Trial of the Bronze Garbage Collector within the Technical Track-track
POPL 2022 Session Chair of Invited Talk (part of POPL)
Session Chair of Junior Faculty Mentoring Breakfast (part of Diversity, Equity and Inclusion)
Session Chair of Quantum Computing (part of POPL)
PriSC 2022 Committee Member in Steering Committee within the PriSC 2022-track
PLanQC 2021 Invited Speaker of Invited Talk: From Verified Compilation to Shor’s Algorithm within the PLanQC 2021-track
Author of Expanding the VOQC Toolkit within the PLanQC 2021-track
Author of Toward A Quantum Programming Language for Higher-Level Formal Verification within the PLanQC 2021-track
SPLASH 2021 Committee Member in Review Committee within the OOPSLA-track
ICFP 2021 Session Chair of Ask Me Anything (part of Social Events)
PLMW @ ICFP 2021 Speaker of Increasing the Impact of PL Research within the PLMW @ ICFP 2021-track
PLDI 2021 Committee Member in Program Committee within the PLDI-track
POPL 2021 Author of A Verified Optimizer for Quantum Circuits within the POPL-track
PriSC 2021 Committee Member in Steering Committee within the PriSC 2021-track
SPLASH 2020 Author of Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell within the OOPSLA Artifacts-track
Author of Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell within the OOPSLA-track
PLDI 2020 Session Chair of Session 4 (part of Ask Me Anything)
Committee Member in External Review Committee within the PLDI Research Papers-track
POPL 2020 Moderator in Panel within the POPLmark 15 Year Retrospective Panel-track
Author of A Language for Probabilistically Oblivious Computation within the Research Papers-track
PriSC 2020 Committee Member in Steering Committee within the Principles of Secure Compilation 2020-track
PLanQC 2020 Author of Verified translation between low-level quantum languages within the PLanQC-track
Author of Tracking Errors through Types in Quantum Programs within the PLanQC-track
Author of A Verified Optimizer for Quantum Circuits within the PLanQC-track
Organizer in Organizing Committee within the PLanQC-track
Author of Merged Talk: A Verified Optimizer for Quantum Circuits & Verified Translation Between Low-Level Quantum Languages within the PLanQC-track
Session Chair of Quantum-Classical Communication (part of PLanQC)
SPLASH 2019 Author of Coverage Guided, Property Based Testing within the OOPSLA-track
POST 2019 Author of Achieving Safety Incrementally with Checked C within the POST 2019-track
Author of Wys*: A DSL for Verified Secure Multi-party Computations within the POST 2019-track
POPL 2019 Session Chair of Type Inference I (part of Research Papers)
Author of LWeb: Information Flow Security for Multi-Tier Web Applications within the Research Papers-track
Committee Member in Selection Committee within the Student Research Competition-track
Chair in Steering Committee
Author of Quantitative Robustness Analysis of Quantum Programs within the Research Papers-track
PLMW 2019 Speaker of Technical Talk: What Is Programming Languages Research? within the PLMW@POPL-track
Speaker in Speakers within the PLMW@POPL-track
SPLASH 2018 Committee Member in Steering Committee
PLDI 2018 Session Chair of Program Chair's Report and SIGPLAN Town Hall Meeting (part of PLDI Invited Speakers)
Speaker of SIGPLAN Town Hall Meeting within the PLDI Invited Speakers-track
Committee Member in Steering Committee
Session Chair of Keynote (part of PLDI Invited Speakers)
POPL 2018 Author of SIGPLAN Town Hall within the Research Papers-track
Committee Member in Steering Committee
SPLASH 2017 SIGPLAN Chair in Steering Committee
ICFP 2017 SIGPLAN Chair in Steering Committee
PLMW 2017 Speaker of What is research and how to do it? Thinking globally and acting locally. within the PLMW-track
Speaker in Mentors within the PLMW-track
ECOOP 2017 Committee Member in Mentors within the ECOOP Summer School-track
PLDI 2017 Author of Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels within the PLDI Research Papers-track
Committee Member in Steering Committee
POPL 2017 Committee Member in Steering Committee
N40AI 2017 Presenter of Security within the Next 40 years of Abstract Interpretation-track
PLMW Committee Member in Speaker within the PLMW-track
Author of What is research and how to do it? Thinking globally and acting locally. within the PLMW-track
SPLASH 2016 SIGPLAN Chair in Steering Committee
ICFP 2016 SIGPLAN Chair in Steering Committee
PLDI 2016 Committee Member in Program Committee
POPL 2016 Session Chair of SIGPLAN Awards; Program Chair's Report; and SIGPLAN Business Meeting (part of Research Papers)
SPLASH 2015 Author of Incremental Computation with Names within the OOPSLA-track
Author of Incremental Computation with Names within the OOPSLA Artifacts-track
SPLASH 2014 Presenter of Rubah: DSU for Java on a stock JVM within the OOPSLA Artifacts-track
Committee Member in Program Committee within the OOPSLA-track
Author of Rubah: DSU for Java on a stock JVM within the OOPSLA-track
SPLASH 2012 Author of Kitsune: efficient, general-purpose dynamic software updating for C within the OOPSLA Research Papers-track
Author of Automating object transformations for dynamic software updating within the OOPSLA Research Papers-track
SPLASH 2011 Committee Member in Program Committee within the OOPSLA-track