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