Michael Hicks

ORCID

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 64

Top Venues

CoRR

Proc. ACM Program. Lang.

POST

SecDev

Publications

Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks, Kesha Hietala, John H. Kastner, Anwar Mamat, Matt McCutchen, Neha Rungta, Bhakti Shah, Emina Torlak, Andrew Wells
How We Built Cedar: A Verification-Guided Approach. SIGSOFT FSE Companion (2024)
Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks, Kesha Hietala, John H. Kastner, Anwar Mamat, Matt McCutchen, Neha Rungta, Bhakti Shah, Emina Torlak, Andrew Wells
How We Built Cedar: A Verification-Guided Approach. CoRR (2024)
Joseph W. Cutler, Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks, Kesha Hietala, Eleftherios Ioannidis, John H. Kastner, Anwar Mamat, Darin McAdams, Matt McCutchen, Neha Rungta, Emina Torlak, Andrew Wells
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version). CoRR (2024)
Joseph W. Cutler, Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks, Kesha Hietala, Eleftherios Ioannidis, John H. Kastner, Anwar Mamat, Darin McAdams, Matt McCutchen, Neha Rungta, Emina Torlak, Andrew Wells
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Zenong Zhang, George Klees, Eric Wang, Michael Hicks, Shiyi Wei
Fuzzing Configurations of Program Options. ACM Trans. Softw. Eng. Methodol. 32 (2) (2023)
Jie Zhou, John Criswell, Michael Hicks
Fat Pointers for Temporal Memory Safety of C. Proc. ACM Program. Lang. 7 (OOPSLA1) (2023)
Zenong Zhang, George Klees, Eric Wang, Michael Hicks, Shiyi Wei
Fuzzing Configurations of Program Options - RCR Report. ACM Trans. Softw. Eng. Methodol. 32 (2) (2023)
Ian Sweet, David Darais, David Heath, William Harris, Ryan Estes, Michael Hicks
Symphony: Expressive Secure Multiparty Computation with Coordination. CoRR (2023)
Finn Voichick, Liyi Li, Robert Rand, Michael Hicks
Qunity: A Unified Language for Quantum and Classical Computing. Proc. ACM Program. Lang. 7 (POPL) (2023)
Kesha Hietala, Robert Rand, Liyi Li, Shih-Han Hung, Xiaodi Wu, Michael Hicks
A Verified Optimizer for Quantum Circuits. ACM Trans. Program. Lang. Syst. 45 (3) (2023)
Ian Sweet, David Darais, David Heath, William Harris, Ryan Estes, Michael Hicks
Symphony: Expressive Secure Multiparty Computation with Coordination. Art Sci. Eng. Program. 7 (3) (2023)
Liyi Li, Yiyun Liu, Deena L. Postol, Leonidas Lampropoulos, David Van Horn, Michael Hicks
A formal model of Checked C. J. Comput. Secur. 31 (5) (2023)
Aravind Machiry, John Kastner, Matt McCutchen, Aaron Eline, Kyle Headley, Michael Hicks
C to Checked C by 3C. CoRR (2022)
Michael Coblenz, Michelle L. Mazurek, Michael Hicks
Garbage Collection Makes Rust Easier to Use: A Randomized Controlled Trial of the Bronze Garbage Collector. ICSE (2022)
Aravind Machiry, John Kastner, Matt McCutchen, Aaron Eline, Kyle Headley, Michael Hicks
C to checked C by 3c. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)
Liyi Li, Finn Voichick, Kesha Hietala, Yuxiang Peng, Xiaodi Wu, Michael Hicks
Verified compilation of Quantum oracles. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Jie Zhou, John Criswell, Michael Hicks
Fat Pointers for Temporal Memory Safety of C. CoRR (2022)
Zenong Zhang, Zach Patterson, Michael Hicks, Shiyi Wei
FIXREVERTER: A Realistic Bug Injection Methodology for Benchmarking Fuzz Testing. USENIX Security Symposium (2022)
Kelsey R. Fulton, Daniel Votipka, Desiree Abrokwa, Michelle L. Mazurek, Michael Hicks, James Parker
Understanding the How and the Why: Exploring Secure Development Practices through a Course Competition. CCS (2022)
Liyi Li, Yiyun Liu, Deena L. Postol, Leonidas Lampropoulos, David Van Horn, Michael Hicks
A Formal Model of Checked C. CoRR (2022)
Liyi Li, Yiyun Liu, Deena L. Postol, Leonidas Lampropoulos, David Van Horn, Michael Hicks
A Formal Model of Checked C. CSF (2022)
Yuxiang Peng, Kesha Hietala, Runzhou Tao, Liyi Li, Robert Rand, Michael Hicks, Xiaodi Wu
A Formally Certified End-to-End Implementation of Shor's Factorization Algorithm. CoRR (2022)
Souvik Bhattacherjee, Gang Liao, Michael Hicks, Daniel J. Abadi
BullFrog: Online Schema Evolution via Lazy Evaluation. SIGMOD Conference (2021)
Kelsey R. Fulton, Anna Chan, Daniel Votipka, Michael Hicks, Michelle L. Mazurek
Benefits and Drawbacks of Adopting a Secure Programming Language: Rust as a Case Study. SOUPS @ USENIX Security Symposium (2021)
Kesha Hietala, Robert Rand, Shih-Han Hung, Liyi Li, Michael Hicks
Proving Quantum Programs Correct. ITP (2021)
Michael Coblenz, Michelle L. Mazurek, Michael Hicks
Does the Bronze Garbage Collector Make Rust Easier to Use? A Controlled Experiment. CoRR (2021)
Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, Michael Hicks
A verified optimizer for Quantum circuits. Proc. ACM Program. Lang. 5 (POPL) (2021)
Liyi Li, Finnegan Voichick, Kesha Hietala, Yuxiang Peng, Xiaodi Wu, Michael Hicks
Verified Compilation of Quantum Oracles. CoRR (2021)
Jie Zhou, Michael Hicks, Yudi Yang, John Criswell
Tutorial: Making C Programs Safer with Checked C. SecDev (2021)
Daniel Votipka, Kelsey R. Fulton, James Parker, Matthew Hou, Michelle L. Mazurek, Michael Hicks
Build It, Break It, Fix It Contests: Motivated Developers Still Make Security Mistakes. login Usenix Mag. 45 (4) (2020)
Ian Sweet, David Darais, Michael Hicks
Short Paper: Probabilistically Almost-Oblivious Computation. PLAS@CCS (2020)
Daniel Votipka, Kelsey R. Fulton, James Parker, Matthew Hou, Michelle L. Mazurek, Michael Hicks
Understanding security mistakes developers make: Qualitative analysis from Build It, Break It, Fix It. USENIX Security Symposium (2020)
James Parker, Michael Hicks, Andrew Ruef, Michelle L. Mazurek, Dave Levin, Daniel Votipka, Piotr Mardziel, Kelsey R. Fulton
Build It, Break It, Fix It: Contesting Secure Development. ACM Trans. Priv. Secur. 23 (2) (2020)
Yiyun Liu, James Parker, Patrick Redmond, Lindsey Kuper, Michael Hicks, Niki Vazou
Verifying replicated data types with typeclass refinements in Liquid Haskell. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Benjamin C. Pierce, Michael Hicks, Crista Lopes, Jens Palsberg
Conferences in an era of expensive carbon. Commun. ACM 63 (3) (2020)
Kesha Hietala, Robert Rand, Shih-Han Hung, Liyi Li, Michael Hicks
Proving Quantum Programs Correct. CoRR (2020)
David Darais, Ian Sweet, Chang Liu, Michael Hicks
A language for probabilistically oblivious computation. Proc. ACM Program. Lang. 4 (POPL) (2020)
James Parker, Niki Vazou, Michael Hicks
LWeb: Information Flow Security for Multi-tier Web Applications. CoRR (2019)
Aseem Rastogi, Nikhil Swamy, Michael Hicks
Wys*: A DSL for Verified Secure Multi-party Computations. POST (2019)
Luís Pina, Anastasios Andronidis, Michael Hicks, Cristian Cadar
MVEDSUA: Higher Availability Dynamic Software Updates via Multi-Version Execution. ASPLOS (2019)
Robert Rand, Kesha Hietala, Michael Hicks
Formal Verification vs. Quantum Uncertainty. SNAPL (2019)
Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, Michael Hicks
Verified Optimization in a Quantum Intermediate Representation. CoRR (2019)
Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, Michael Hicks
A Verified Optimizer for Quantum Circuits. CoRR (2019)
ThanhVu Nguyen, Timos Antonopoulos, Andrew Ruef, Michael Hicks
A Counterexample-guided Approach to Finding Numerical Invariants. CoRR (2019)
Andrew Ruef, Leonidas Lampropoulos, Ian Sweet, David Tarditi, Michael Hicks
Achieving Safety Incrementally with Checked C. POST (2019)
Shih-Han Hung, Kesha Hietala, Shaopeng Zhu, Mingsheng Ying, Michael Hicks, Xiaodi Wu
Quantitative robustness analysis of quantum programs. Proc. ACM Program. Lang. 3 (POPL) (2019)
James Parker, Michael Hicks, Andrew Ruef, Michelle L. Mazurek, Dave Levin, Daniel Votipka, Piotr Mardziel, Kelsey R. Fulton
Build It, Break It, Fix It: Contesting Secure Development. CoRR (2019)
James Parker, Niki Vazou, Michael Hicks
LWeb: information flow security for multi-tier web applications. Proc. ACM Program. Lang. 3 (POPL) (2019)
Leonidas Lampropoulos, Michael Hicks, Benjamin C. Pierce
Coverage guided, property based testing. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
George Klees, Andrew Ruef, Benji Cooper, Shiyi Wei, Michael Hicks
Evaluating Fuzz Testing. CoRR (2018)
Shih-Han Hung, Kesha Hietala, Shaopeng Zhu, Mingsheng Ying, Michael Hicks, Xiaodi Wu
Quantitative Robustness Analysis of Quantum Programs (Extended Version). CoRR (2018)
Ian Sweet, José Manuel Calderón Trilla, Chad Scherrer, Michael Hicks, Stephen Magill
What's the Over/Under? Probabilistic Bounds on Information Leakage. CoRR (2018)
Shiyi Wei, Piotr Mardziel, Andrew Ruef, Jeffrey S. Foster, Michael Hicks
Evaluating Design Tradeoffs in Numeric Static Analysis for Java. ESOP (2018)
Archibald Samuel Elliott, Andrew Ruef, Michael Hicks, David Tarditi
Checked C: Making C Safe by Extension. SecDev (2018)
Ian Sweet, José Manuel Calderón Trilla, Chad Scherrer, Michael Hicks, Stephen Magill
What's the Over/Under? Probabilistic Bounds on Information Leakage. POST (2018)
George Klees, Andrew Ruef, Benji Cooper, Shiyi Wei, Michael Hicks
Evaluating Fuzz Testing. CCS (2018)
Shiyi Wei, Piotr Mardziel, Andrew Ruef, Jeffrey S. Foster, Michael Hicks
Evaluating Design Tradeoffs in Numeric Static Analysis for Java. CoRR (2018)
David Darais, Chang Liu, Ian Sweet, Michael Hicks
A Language for Probabilistically Oblivious Computation. CoRR (2017)
Timos Antonopoulos, Paul Gazzillo, Michael Hicks, Eric Koskinen, Tachio Terauchi, Shiyi Wei
Decomposition instead of self-composition for proving the absence of timing channels. PLDI (2017)
Michael Hicks
Languages for Oblivious Computation. PLAS@CCS (2017)
Aseem Rastogi, Nikhil Swamy, Michael Hicks
WYS*: A Verified Language Extension for Secure Multi-party Computations. CoRR (2017)
ThanhVu Nguyen, Timos Antonopoulos, Andrew Ruef, Michael Hicks
Counterexample-guided approach to finding numerical invariants. ESEC/SIGSOFT FSE (2017)
Robert K. Cunningham, Pamela Gupta, Ulf Lindqvist, Stelios Sidiroglou-Douskos, Michael Hicks
IEEE SecDev 2016: Prioritizing Secure Development. IEEE Secur. Priv. 14 (4) (2016)
Luís Pina, Michael Hicks
Tedsuto: A General Framework for Testing Dynamic Software Updates. ICST (2016)
Matthew A. Hammer, Jana Dunfield, Kyle Headley, Nicholas Labich, Jeffrey S. Foster, Michael Hicks, David Van Horn
Incremental Computation with Names. CoRR (2015)
Andrew Miller, Michael Hicks, Jonathan Katz, Elaine Shi
Authenticated data structures, generically. POPL (2014)
Matthew A. Hammer, Yit Phang Khoo, Michael Hicks, Jeffrey S. Foster
Adapton: composable, demand-driven incremental computation. PLDI (2014)
Michael Hicks, Gavin M. Bierman, Nataliya Guts, Daan Leijen, Nikhil Swamy
Polymonadic Programming. MSFP (2014)
Aseem Rastogi, Matthew A. Hammer, Michael Hicks
Wysteria: A Programming Language for Generic, Mixed-Mode Multiparty Computations. IEEE Symposium on Security and Privacy (2014)
Gilles Barthe, Michael Hicks, Florian Kerschbaum, Dominique Unruh
The Synergy Between Programming Languages and Cryptography (Dagstuhl Seminar 14492). Dagstuhl Reports 4 (12) (2014)
Derek Dreyer, John Field, Roberto Giacobazzi, Michael Hicks, Suresh Jagannathan, Mooly Sagiv, Peter Sewell, Philip Wadler
Principles of POPL. ACM SIGPLAN Notices 48 (4S) (2013)
Aseem Rastogi, Piotr Mardziel, Michael Hicks, Matthew A. Hammer
Knowledge inference for optimizing secure multi-party computation. PLAS (2013)
Luís Pina, Michael Hicks
Rubah: Efficient, General-purpose Dynamic Software Updating for Java. HotSWUp (2013)
Chang Liu, Michael Hicks, Elaine Shi
Memory Trace Oblivious Program Execution. CSF (2013)
Yit Phang Khoo, Jeffrey S. Foster, Michael Hicks
Expositor: scriptable time-travel debugging with first-class traces. ICSE (2013)
Piotr Mardziel, Stephen Magill, Michael Hicks, Mudhakar Srivatsa
Dynamic enforcement of knowledge-based security policies using probabilistic abstract interpretation. J. Comput. Secur. 21 (4) (2013)
Michael Hicks
POPL'12 program chair's report: (or, how to run a medium-sized conference). ACM SIGPLAN Notices 47 (4a) (2012)
Christopher M. Hayden, Stephen Magill, Michael Hicks, Nate Foster, Jeffrey S. Foster
Specifying and Verifying the Correctness of Dynamic Software Updates. VSTTE (2012)
Piotr Mardziel, Michael Hicks, Jonathan Katz, Mudhakar Srivatsa
Knowledge-oriented secure multiparty computation. PLAS (2012)
Stephen Magill, Michael Hicks, Suriya Subramanian, Kathryn S. McKinley
Automating object transformations for dynamic software updating. OOPSLA (2012)
Christopher M. Hayden, Karla Saur, Michael Hicks, Jeffrey S. Foster
A study of dynamic software update quiescence for multithreaded programs. HotSWUp (2012)
Mudhakar Srivatsa, Michael Hicks
Deanonymizing mobility traces: using social network as a side-channel. CCS (2012)
Edward K. Smith, Michael Hicks, Jeffrey S. Foster
Towards standardized benchmarks for Dynamic Software Updating systems. HotSWUp (2012)
Christopher M. Hayden, Edward K. Smith, Michail Denchev, Michael Hicks, Jeffrey S. Foster
Kitsune: efficient, general-purpose dynamic software updating for C. OOPSLA (2012)
Christopher M. Hayden, Edward K. Smith, Eric A. Hardisty, Michael Hicks, Jeffrey S. Foster
Evaluating Dynamic Software Update Safety Using Systematic Testing. IEEE Trans. Software Eng. 38 (6) (2012)
Piotr Mardziel, Stephen Magill, Michael Hicks, Mudhakar Srivatsa
Dynamic Enforcement of Knowledge-Based Security Policies. CSF (2011)
Nikhil Swamy, Nataliya Guts, Daan Leijen, Michael Hicks
Lightweight monadic programming in ML. ICFP (2011)
Kin-Keung Ma, Yit Phang Khoo, Jeffrey S. Foster, Michael Hicks
Directed Symbolic Execution. SAS (2011)
Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks
LOCKSMITH: Practical static race detection for C. ACM Trans. Program. Lang. Syst. 33 (1) (2011)
Michael Hicks, Rida A. Bazzi, Carlo Zaniolo
Foreword. ICDE Workshops (2011)
Christopher M. Hayden, Edward K. Smith, Michael Hicks, Jeffrey S. Foster
State transfer for clear and efficient runtime updates. ICDE Workshops (2011)
Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. Foster, Michael Hicks
Dynamic inference of static types for ruby. POPL (2011)
Jeffrey A. Meister, Jeffrey S. Foster, Michael Hicks
Serializing C intermediate representations for efficient and portable parsing. Softw. Pract. Exp. 40 (3) (2010)
Jean-Phillipe Martin, Michael Hicks, Manuel Costa, Periklis Akritidis, Miguel Castro
Dynamically checking ownership policies in concurrent c/c++ programs. POPL (2010)
Pavlos Papageorge, Justin McCann, Michael Hicks
Passive aggressive measurement with MGRP. SIGCOMM (2009)
Yit Phang Khoo, Michael Hicks, Jeffrey S. Foster, Vibha Sazawal
Directing JavaScript with arrows. DLS (2009)
Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster, Michael Hicks
The ruby intermediate language. DLS (2009)
Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster, Michael Hicks
Tests to the left of me, types to the right: how not to get stuck in the middle of a ruby execution. STOP@ECOOP (2009)
Nikhil Swamy, Michael Hicks
Verified enforcement of stateful information release policies. ACM SIGPLAN Notices 43 (12) (2008)
Dave King, Boniface Hicks, Michael Hicks, Trent Jaeger
Implicit Flows: Can't Live with 'Em, Can't Live without 'Em. ICISS (2008)

Michael Hicks.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Michael Hicks