
Registered user since Thu 27 Aug 2015
Mike Hicks is a Professor in Computer and Information Science at the University of Pennsylvania, and an Amazon Scholar.
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.
From 2002-2021, Mike was Professor at the University of Maryland, where we co-founded and directed the laboratory for Programming Languages research (PLUM). From 2022-2025 he was a Senior Principal Scientist at Amazon Web Services where he co-led the development of the Cedar authorization policy language.
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 writes occasionally on LinkedIn.
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