Michael Hicks

120 papers A* 20A 8B 4C 2Misc 1Journal 56Unranked 28
YearRankTypeTitle / Venue / Authors
2025 A* conf
Formally Verified Cloud-Scale Authorization.
ICSE
Aleks Chakarov, Jaco Geldenhuys, Matthew Heck, Michael Hicks, Sam Huang, Georges-Axel Jaloyan, Anjali Joshi, K. Rustan M. Leino, Mikael Mayer, Sean McLaughlin, Akhilesh Mritunjai, Clément Pit-Claudel, Sorawee Porncharoenwase, Florian Rabe, Marianna Rapoport, Giles Reger, Cody Roux, Neha Rungta, Robin Salkeld, Matthias Schlaipfer, Daniel Schoepe, Johanna Schwartzentruber, Serdar Tasiran, Aaron Tomb, Emina Torlak, Jean-Baptiste Tristan, Lucas G. Wagner, Michael W. Whalen, Remy Willems, Tongtong Xiang, Tae Joon Byun, Joshua M. Cohen, Ruijie Fang, Junyoung Jang, Jakob Rath, Hira Taqdees Syeda, Dominik Wagner, Yongwei Yuan
2024 J jnl
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version).
CoRR
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
2024 J jnl
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization.
Proc. ACM Program. Lang.
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
2024 — conf
How We Built Cedar: A Verification-Guided Approach.
SIGSOFT FSE Companion
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
2024 J jnl
How We Built Cedar: A Verification-Guided Approach.
CoRR
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
2023 J jnl
A Verified Optimizer for Quantum Circuits.
ACM Trans. Program. Lang. Syst.
Kesha Hietala, Robert Rand, Liyi Li, Shih-Han Hung, Xiaodi Wu, Michael Hicks
2023 J jnl
A formal model of Checked C.
J. Comput. Secur.
Liyi Li, Yiyun Liu, Deena L. Postol, Leonidas Lampropoulos, David Van Horn, Michael Hicks
2023 J jnl
Automating NISQ Application Design with Meta Quantum Circuits with Constraints (MQCC).
ACM Trans. Quantum Comput.
Haowei Deng, Yuxiang Peng, Michael Hicks, Xiaodi Wu
2023 J jnl
Fat Pointers for Temporal Memory Safety of C.
Proc. ACM Program. Lang.
Jie Zhou, John Criswell, Michael Hicks
2023 J jnl
Fuzzing Configurations of Program Options - RCR Report.
ACM Trans. Softw. Eng. Methodol.
Zenong Zhang, George Klees, Eric Wang, Michael Hicks, Shiyi Wei
2023 J jnl
Fuzzing Configurations of Program Options.
ACM Trans. Softw. Eng. Methodol.
Zenong Zhang, George Klees, Eric Wang, Michael Hicks, Shiyi Wei
2023 J jnl
Qunity: A Unified Language for Quantum and Classical Computing.
Proc. ACM Program. Lang.
Finn Voichick, Liyi Li, Robert Rand, Michael Hicks
2023 J jnl
Symphony: Expressive Secure Multiparty Computation with Coordination.
CoRR
Ian Sweet, David Darais, David Heath, William Harris, Ryan Estes, Michael Hicks
2023 J jnl
Symphony: Expressive Secure Multiparty Computation with Coordination.
Art Sci. Eng. Program.
Ian Sweet, David Darais, David Heath, William Harris, Ryan Estes, Michael Hicks
2022 A conf
A Formal Model of Checked C.
CSF
Liyi Li, Yiyun Liu, Deena L. Postol, Leonidas Lampropoulos, David Van Horn, Michael Hicks
2022 J jnl
A Formal Model of Checked C.
CoRR
Liyi Li, Yiyun Liu, Deena L. Postol, Leonidas Lampropoulos, David Van Horn, Michael Hicks
2022 J jnl
A Formally Certified End-to-End Implementation of Shor's Factorization Algorithm.
CoRR
Yuxiang Peng, Kesha Hietala, Runzhou Tao, Liyi Li, Robert Rand, Michael Hicks, Xiaodi Wu
2022 J jnl
C to Checked C by 3C.
CoRR
Aravind Machiry, John H. Kastner, Matt McCutchen, Aaron Eline, Kyle Headley, Michael Hicks
2022 J jnl
C to checked C by 3c.
Proc. ACM Program. Lang.
Aravind Machiry, John H. Kastner, Matt McCutchen, Aaron Eline, Kyle Headley, Michael Hicks
2022 A* conf
FIXREVERTER: A Realistic Bug Injection Methodology for Benchmarking Fuzz Testing.
USENIX Security Symposium
Zenong Zhang, Zach Patterson, Michael Hicks, Shiyi Wei
2022 J jnl
Fat Pointers for Temporal Memory Safety of C.
CoRR
Jie Zhou, John Criswell, Michael Hicks
2022 A* conf
Garbage Collection Makes Rust Easier to Use: A Randomized Controlled Trial of the Bronze Garbage Collector.
ICSE
Michael Coblenz, Michelle L. Mazurek, Michael Hicks
2022 A* conf
Understanding the How and the Why: Exploring Secure Development Practices through a Course Competition.
CCS
Kelsey R. Fulton, Daniel Votipka, Desiree Abrokwa, Michelle L. Mazurek, Michael Hicks, James Parker
2022 J jnl
Verified compilation of Quantum oracles.
Proc. ACM Program. Lang.
Liyi Li, Finn Voichick, Kesha Hietala, Yuxiang Peng, Xiaodi Wu, Michael Hicks
2021 J jnl
A verified optimizer for Quantum circuits.
Proc. ACM Program. Lang.
Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, Michael Hicks
2021 — conf
Benefits and Drawbacks of Adopting a Secure Programming Language: Rust as a Case Study.
SOUPS @ USENIX Security Symposium
Kelsey R. Fulton, Anna Chan, Daniel Votipka, Michael Hicks, Michelle L. Mazurek
2021 — conf
BullFrog: Online Schema Evolution via Lazy Evaluation.
SIGMOD Conference
Souvik Bhattacherjee, Gang Liao, Michael Hicks, Daniel J. Abadi
2021 J jnl
Does the Bronze Garbage Collector Make Rust Easier to Use? A Controlled Experiment.
CoRR
Michael Coblenz, Michelle L. Mazurek, Michael Hicks
2021 B conf
Proving Quantum Programs Correct.
ITP
Kesha Hietala, Robert Rand, Shih-Han Hung, Liyi Li, Michael Hicks
2021 — conf
Tutorial: Making C Programs Safer with Checked C.
SecDev
Jie Zhou, Michael Hicks, Yudi Yang, John Criswell
2021 J jnl
Verified Compilation of Quantum Oracles.
CoRR
Liyi Li, Finn Voichick, Kesha Hietala, Yuxiang Peng, Xiaodi Wu, Michael Hicks
2020 J jnl
A language for probabilistically oblivious computation.
Proc. ACM Program. Lang.
David Darais, Ian Sweet, Chang Liu, Michael Hicks
2020 J jnl
Build It, Break It, Fix It Contests: Motivated Developers Still Make Security Mistakes.
login Usenix Mag.
Daniel Votipka, Kelsey R. Fulton, James Parker, Matthew Hou, Michelle L. Mazurek, Michael Hicks
2020 J jnl
Build It, Break It, Fix It: Contesting Secure Development.
ACM Trans. Priv. Secur.
James Parker, Michael Hicks, Andrew Ruef, Michelle L. Mazurek, Dave Levin, Daniel Votipka, Piotr Mardziel, Kelsey R. Fulton
2020 J jnl
Conferences in an era of expensive carbon.
Commun. ACM
Benjamin C. Pierce, Michael Hicks, Cristina V. Lopes, Jens Palsberg
2020 — ch.
Probabilistic Abstract Interpretation: Sound Inference and Application to Privacy.
Foundations of Probabilistic Programming
José Manuel Calderón Trilla, Michael Hicks, Stephen Magill, Piotr Mardziel, Ian Sweet
2020 J jnl
Proving Quantum Programs Correct.
CoRR
Kesha Hietala, Robert Rand, Shih-Han Hung, Liyi Li, Michael Hicks
2020 — conf
Short Paper: Probabilistically Almost-Oblivious Computation.
PLAS@CCS
Ian Sweet, David Darais, Michael Hicks
2020 A* conf
Understanding security mistakes developers make: Qualitative analysis from Build It, Break It, Fix It.
USENIX Security Symposium
Daniel Votipka, Kelsey R. Fulton, James Parker, Matthew Hou, Michelle L. Mazurek, Michael Hicks
2020 J jnl
Verifying replicated data types with typeclass refinements in Liquid Haskell.
Proc. ACM Program. Lang.
Yiyun Liu, James Parker, Patrick Redmond, Lindsey Kuper, Michael Hicks, Niki Vazou
2019 J jnl
A Counterexample-guided Approach to Finding Numerical Invariants.
CoRR
ThanhVu Nguyen, Timos Antonopoulos, Andrew Ruef, Michael Hicks
2019 J jnl
A Verified Optimizer for Quantum Circuits.
CoRR
Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, Michael Hicks
2019 — conf
Achieving Safety Incrementally with Checked C.
POST
Andrew Ruef, Leonidas Lampropoulos, Ian Sweet, David Tarditi, Michael Hicks
2019 J jnl
Build It, Break It, Fix It: Contesting Secure Development.
CoRR
James Parker, Michael Hicks, Andrew Ruef, Michelle L. Mazurek, Dave Levin, Daniel Votipka, Piotr Mardziel, Kelsey R. Fulton
2019 J jnl
Coverage guided, property based testing.
Proc. ACM Program. Lang.
Leonidas Lampropoulos, Michael Hicks, Benjamin C. Pierce
2019 — conf
Formal Verification vs. Quantum Uncertainty.
SNAPL
Robert Rand, Kesha Hietala, Michael Hicks
2019 J jnl
LWeb: Information Flow Security for Multi-tier Web Applications.
CoRR
James Parker, Niki Vazou, Michael Hicks
2019 J jnl
LWeb: information flow security for multi-tier web applications.
Proc. ACM Program. Lang.
James Parker, Niki Vazou, Michael Hicks
2019 A* conf
MVEDSUA: Higher Availability Dynamic Software Updates via Multi-Version Execution.
ASPLOS
Luís Pina, Anastasios Andronidis, Michael Hicks, Cristian Cadar
2019 J jnl
Quantitative robustness analysis of quantum programs.
Proc. ACM Program. Lang.
Shih-Han Hung, Kesha Hietala, Shaopeng Zhu, Mingsheng Ying, Michael Hicks, Xiaodi Wu
2019 J jnl
Verified Optimization in a Quantum Intermediate Representation.
CoRR
Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, Michael Hicks
2019 — conf
Wys*: A DSL for Verified Secure Multi-party Computations.
POST
Aseem Rastogi, Nikhil Swamy, Michael Hicks
2018 — conf
Checked C: Making C Safe by Extension.
SecDev
Archibald Samuel Elliott, Andrew Ruef, Michael Hicks, David Tarditi
2018 A conf
Evaluating Design Tradeoffs in Numeric Static Analysis for Java.
ESOP
Shiyi Wei, Piotr Mardziel, Andrew Ruef, Jeffrey S. Foster, Michael Hicks
2018 J jnl
Evaluating Design Tradeoffs in Numeric Static Analysis for Java.
CoRR
Shiyi Wei, Piotr Mardziel, Andrew Ruef, Jeffrey S. Foster, Michael Hicks
2018 A* conf
Evaluating Fuzz Testing.
CCS
George Klees, Andrew Ruef, Benji Cooper, Shiyi Wei, Michael Hicks
2018 J jnl
Evaluating Fuzz Testing.
CoRR
George Klees, Andrew Ruef, Benji Cooper, Shiyi Wei, Michael Hicks
2018 J jnl
Quantitative Robustness Analysis of Quantum Programs (Extended Version).
CoRR
Shih-Han Hung, Kesha Hietala, Shaopeng Zhu, Mingsheng Ying, Michael Hicks, Xiaodi Wu
2018 — conf
What's the Over/Under? Probabilistic Bounds on Information Leakage.
POST
Ian Sweet, José Manuel Calderón Trilla, Chad Scherrer, Michael Hicks, Stephen Magill
2018 J jnl
What's the Over/Under? Probabilistic Bounds on Information Leakage.
CoRR
Ian Sweet, José Manuel Calderón Trilla, Chad Scherrer, Michael Hicks, Stephen Magill
2017 J jnl
A Language for Probabilistically Oblivious Computation.
CoRR
David Darais, Chang Liu, Ian Sweet, Michael Hicks
2017 — conf
Counterexample-guided approach to finding numerical invariants.
ESEC/SIGSOFT FSE
ThanhVu Nguyen, Timos Antonopoulos, Andrew Ruef, Michael Hicks
2017 A* conf
Decomposition instead of self-composition for proving the absence of timing channels.
PLDI
Timos Antonopoulos, Paul Gazzillo, Michael Hicks, Eric Koskinen, Tachio Terauchi, Shiyi Wei
2017 — conf
Languages for Oblivious Computation.
PLAS@CCS
Michael Hicks
2017 J jnl
WYS*: A Verified Language Extension for Secure Multi-party Computations.
CoRR
Aseem Rastogi, Nikhil Swamy, Michael Hicks
2016 J jnl
IEEE SecDev 2016: Prioritizing Secure Development.
IEEE Secur. Priv.
Robert K. Cunningham, Pamela Gupta, Ulf Lindqvist, Stelios Sidiroglou-Douskos, Michael Hicks
2016 A conf
Tedsuto: A General Framework for Testing Dynamic Software Updates.
ICST
Luís Pina, Michael Hicks
2015 J jnl
Incremental Computation with Names.
CoRR
Matthew A. Hammer, Jana Dunfield, Kyle Headley, Nicholas Labich, Jeffrey S. Foster, Michael Hicks, David Van Horn
2014 A* conf
Adapton: composable, demand-driven incremental computation.
PLDI
Matthew A. Hammer, Yit Phang Khoo, Michael Hicks, Jeffrey S. Foster
2014 A* conf
Authenticated data structures, generically.
POPL
Andrew Miller, Michael Hicks, Jonathan Katz, Elaine Shi
2014 — conf
Polymonadic Programming.
MSFP
Michael Hicks, Gavin M. Bierman, Nataliya Guts, Daan Leijen, Nikhil Swamy
2014 J jnl
The Synergy Between Programming Languages and Cryptography (Dagstuhl Seminar 14492).
Dagstuhl Reports
Gilles Barthe, Michael Hicks, Florian Kerschbaum, Dominique Unruh
2014 A* conf
Wysteria: A Programming Language for Generic, Mixed-Mode Multiparty Computations.
IEEE Symposium on Security and Privacy
Aseem Rastogi, Matthew A. Hammer, Michael Hicks
2013 J jnl
Dynamic enforcement of knowledge-based security policies using probabilistic abstract interpretation.
J. Comput. Secur.
Piotr Mardziel, Stephen Magill, Michael Hicks, Mudhakar Srivatsa
2013 A* conf
Expositor: scriptable time-travel debugging with first-class traces.
ICSE
Yit Phang Khoo, Jeffrey S. Foster, Michael Hicks
2013 — conf
Knowledge inference for optimizing secure multi-party computation.
PLAS
Aseem Rastogi, Piotr Mardziel, Michael Hicks, Matthew A. Hammer
2013 A conf
Memory Trace Oblivious Program Execution.
CSF
Chang Liu, Michael Hicks, Elaine Shi
2013 J jnl
Principles of POPL.
ACM SIGPLAN Notices
Derek Dreyer, John Field, Roberto Giacobazzi, Michael Hicks, Suresh Jagannathan, Mooly Sagiv, Peter Sewell, Philip Wadler
2013 — conf
Rubah: Efficient, General-purpose Dynamic Software Updating for Java.
HotSWUp
Luís Pina, Michael Hicks
2012 — conf
A study of dynamic software update quiescence for multithreaded programs.
HotSWUp
Christopher M. Hayden, Karla Saur, Michael Hicks, Jeffrey S. Foster
2012 A conf
Automating object transformations for dynamic software updating.
OOPSLA
Stephen Magill, Michael Hicks, Suriya Subramanian, Kathryn S. McKinley
2012 A* conf
Deanonymizing mobility traces: using social network as a side-channel.
CCS
Mudhakar Srivatsa, Michael Hicks
2012 J jnl
Evaluating Dynamic Software Update Safety Using Systematic Testing.
IEEE Trans. Software Eng.
Christopher M. Hayden, Edward K. Smith, Eric A. Hardisty, Michael Hicks, Jeffrey S. Foster
2012 A conf
Kitsune: efficient, general-purpose dynamic software updating for C.
OOPSLA
Christopher M. Hayden, Edward K. Smith, Michail Denchev, Michael Hicks, Jeffrey S. Foster
2012 — conf
Knowledge-oriented secure multiparty computation.
PLAS
Piotr Mardziel, Michael Hicks, Jonathan Katz, Mudhakar Srivatsa
2012 J jnl
POPL'12 program chair's report: (or, how to run a medium-sized conference).
ACM SIGPLAN Notices
Michael Hicks
2012 A* ed.
Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012
POPL
John Field, Michael Hicks
2012 — conf
Specifying and Verifying the Correctness of Dynamic Software Updates.
VSTTE
Christopher M. Hayden, Stephen Magill, Michael Hicks, Nate Foster, Jeffrey S. Foster
2012 — conf
Towards standardized benchmarks for Dynamic Software Updating systems.
HotSWUp
Edward K. Smith, Michael Hicks, Jeffrey S. Foster
2011 B conf
Directed Symbolic Execution.
SAS
Kin-Keung Ma, Yit Phang Khoo, Jeffrey S. Foster, Michael Hicks
2011 A conf
Dynamic Enforcement of Knowledge-Based Security Policies.
CSF
Piotr Mardziel, Stephen Magill, Michael Hicks, Mudhakar Srivatsa
2011 A* conf
Dynamic inference of static types for ruby.
POPL
Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. Foster, Michael Hicks
2011 — conf
Foreword.
ICDE Workshops
Michael Hicks, Rida A. Bazzi, Carlo Zaniolo
2011 J jnl
LOCKSMITH: Practical static race detection for C.
ACM Trans. Program. Lang. Syst.
Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks
2011 A conf
Lightweight monadic programming in ML.
ICFP
Nikhil Swamy, Nataliya Guts, Daan Leijen, Michael Hicks
2011 — conf
State transfer for clear and efficient runtime updates.
ICDE Workshops
Christopher M. Hayden, Edward K. Smith, Michael Hicks, Jeffrey S. Foster
2010 A* conf
Dynamically checking ownership policies in concurrent c/c++ programs.
POPL
Jean-Phillipe Martin, Michael Hicks, Manuel Costa, Periklis Akritidis, Miguel Castro
2010 J jnl
Serializing C intermediate representations for efficient and portable parsing.
Softw. Pract. Exp.
Jeffrey A. Meister, Jeffrey S. Foster, Michael Hicks
2009 C conf
Directing JavaScript with arrows.
DLS
Yit Phang Khoo, Michael Hicks, Jeffrey S. Foster, Vibha Sazawal
2009 A* conf
Passive aggressive measurement with MGRP.
SIGCOMM
Pavlos Papageorge, Justin McCann, Michael Hicks
2009 — conf
Tests to the left of me, types to the right: how not to get stuck in the middle of a ruby execution.
STOP@ECOOP
Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster, Michael Hicks
2009 C conf
The ruby intermediate language.
DLS
Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster, Michael Hicks
2008 A* conf
Contextual effects for version-consistent dynamic software updatingalland safe concurrent programming.
POPL
Iulian Neamtiu, Michael Hicks, Jeffrey S. Foster, Polyvios Pratikakis
2008 J jnl
Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction.
J. Funct. Program.
Peter Sewell, Gareth Paul Stoyle, Michael Hicks, Gavin M. Bierman, Keith Wansbrough
2008 A* conf
Fable: A Language for Enforcing User-defined Security Policies.
SP
Nikhil Swamy, Brian J. Corcoran, Michael Hicks
2008 — conf
Formalizing Soundness of Contextual Effects.
TPHOLs
Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks, Iulian Neamtiu
2008 Misc conf
Implicit Flows: Can't Live with 'Em, Can't Live without 'Em.
ICISS
Dave King, Boniface Hicks, Michael Hicks, Trent Jaeger
2008 J jnl
Modular Information Hiding and Type-Safe Linking for C.
IEEE Trans. Software Eng.
Saurabh Srivastava, Michael Hicks, Jeffrey S. Foster, Patrick Jenkins
2008 — conf
Path projection for user-centered static analysis tools.
PASTE
Yit Phang Khoo, Jeffrey S. Foster, Michael Hicks, Vibha Sazawal
2008 — conf
Verified enforcement of stateful information release policies.
PLAS
Nikhil Swamy, Michael Hicks
2008 J jnl
Verified enforcement of stateful information release policies.
ACM SIGPLAN Notices
Nikhil Swamy, Michael Hicks
2007 A* conf
Defeating script injection attacks with browser-enforced embedded policies.
WWW
Trevor Jim, Nikhil Swamy, Michael Hicks
2007 — conf
Modular information hiding and type-safe linking for C.
TLDI
Saurabh Srivastava, Michael Hicks, Jeffrey S. Foster
2006 B conf
Existential Label Flow Inference Via CFL Reachability.
SAS
Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks
2006 — conf
Managing Policy Updates in Security-Typed Languages.
CSFW
Nikhil Swamy, Michael Hicks, Stephen Tse, Steve Zdancewic
2006 — conf
Trusted declassification: : high-level policy for a security-typed language.
PLAS
Boniface Hicks, Dave King, Patrick D. McDaniel, Michael Hicks
2005 J jnl
Dynamic inference of polymorphic lock types.
Sci. Comput. Program.
James Rose, Nikhil Swamy, Michael Hicks
2005 B conf
Merging Network Measurement with Data Transport.
PAM
Pavlos Papageorgiou, Michael Hicks
2005 J jnl
Understanding source code evolution using abstract syntax tree matching.
ACM SIGSOFT Softw. Eng. Notes
Iulian Neamtiu, Jeffrey S. Foster, Michael Hicks
1998 J jnl
The SwitchWare active network architecture.
IEEE Netw.
D. Scott Alexander, William Arbaugh, Michael Hicks, Pankaj Kakkar, Angelos Dennis Keromytis, Jonathan T. Moore, Carl A. Gunter, Scott Nettles, Jonathan M. Smith