Registered user since Thu 27 Aug 2015
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.
Contributions
2024
POPL
2023
ESEC/FSE
- Industry Mentoring Co-Chair in Organizing Committee
- Co-chair in Program Committee within the Industry Mentoring Symposium-track
- Author of From industry to academia and back: My career journey & lessons I’ve learned within the Industry Mentoring Symposium-track
- Moderator of Academic vs. industrial careers within the Industry Mentoring Symposium-track
- Author of Welcome within the Industry Mentoring Symposium-track
‹Programming›
2022
SPLASH
PLDI
- 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
POPL
2021
PLanQC
2020
SPLASH
PLDI
POPL
PLanQC
- 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)
2019
POST
POPL
- 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