The Measured Cost of Copying Garbage Collection Mechanisms. - Michael W. Hicks; Jonathan T. Moore; Scott Nettles (ICFP, 1997)

Network Programming Using PLAN. - Michael W. Hicks; Pankaj Kakkar; Jonathan T. Moore; Carl A. Gunter; Scott Nettles (ICCL Workshop: Internet Programming Languages, 1998)

PLAN: A Packet Language for Active Networks. - Michael W. Hicks; Pankaj Kakkar; Jonathan T. Moore; Carl A. Gunter; Scott Nettles (ICFP, 1998)

A Study of Large Object Spaces. - Michael W. Hicks; Luke Hornof; Jonathan T. Moore; Scott Nettles (ISMM, 1998)

The SwitchWare active network architecture. - D. Scott Alexander; William Arbaugh; Michael Hicks 001; Pankaj Kakkar; Angelos Dennis Keromytis; Jonathan T. Moore; Carl A. Gunter; Scott Nettles; Jonathan M. Smith (IEEE Netw., 1998)

PLANet: An Active Internetwork. - Michael W. Hicks; Jonathan T. Moore; D. Scott Alexander; Carl A. Gunter; Scott Nettles (INFOCOM, 1999)

A Secure Plan. - Michael W. Hicks; Angelos D. Keromytis (IWAN, 1999)

Transparent Communication for Distributed Objects in Java. - Michael W. Hicks; Suresh Jagannathan; Richard Kelsey; Jonathan T. Moore; Cristian Ungureanu (Java Grande, 1999)

Specifying the PLAN Network Programming Langauge. - Pankaj Kakkar; Michael W. Hicks; Jonathan T. Moore; Carl A. Gunter (HOOTS, 1999)

Scalable Resource Control in Active Networks. - Kostas G. Anagnostakis; Michael W. Hicks; Sotiris Ioannidis; Angelos D. Keromytis; Jonathan M. Smith (IWAN, 2000)

Active Networking Means Evolution (or Enhanced Extensibility Required). - Michael W. Hicks; Scott Nettles (IWAN, 2000)

Safe and Flexible Dynamic Linking of Native Code. - Michael W. Hicks; Stephanie Weirich; Karl Crary (Types in Compilation, 2000)

Practical Programmable Packets. - Jonathan T. Moore; Michael W. Hicks; Scott Nettles (INFOCOM, 2001)

Compiling PLAN to SNAP. - Michael W. Hicks; Jonathan T. Moore; Scott Nettles (IWAN, 2001)

Dynamic Software Updating. - Michael W. Hicks; Jonathan T. Moore; Scott Nettles (PLDI, 2001)

Experiences with Capsule-Based Active Networking. - Michael W. Hicks; Jonathan T. Moore; David Wetherall; Scott Nettles (DANCE, 2002)

Evolution in Action: Using Active Networking to Evolve Network Support for Mobility. - Seong-Kyu Song; Stephen Shannon; Michael W. Hicks; Scott Nettles (IWAN, 2002)

Region-Based Memory Management in Cyclone. - Dan Grossman; J. Gregory Morrisett; Trevor Jim; Michael W. Hicks; Yanling Wang; James Cheney (PLDI, 2002)

Cyclone: A Safe Dialect of C. - Trevor Jim; J. Gregory Morrisett; Dan Grossman; Michael W. Hicks; James Cheney; Yanling Wang (USENIX ATC, General Track, 2002)

Dynamic rebinding for marshalling and update, with destruct-time? - Gavin M. Bierman; Michael W. Hicks; Peter Sewell; Gareth Paul Stoyle; Keith Wansbrough (ICFP, 2003)

A secure PLAN. - Michael W. Hicks; Angelos D. Keromytis; Jonathan M. Smith (IEEE Trans. Syst. Man Cybern. Part C, 2003)

Experience with safe manual memory-management in cyclone. - Michael W. Hicks; J. Gregory Morrisett; Dan Grossman; Trevor Jim (ISMM, 2004)

Transparent proxies for java futures. - Polyvios Pratikakis; Jaime Spacco; Michael W. Hicks (OOPSLA, 2004)

Tagged Sets: A Secure and Transparent Coordination Medium. - Manuel Oriol; Michael W. Hicks (COORDINATION, 2005)

Merging Network Measurement with Data Transport. - Pavlos Papageorgiou; Michael Hicks 001 (PAM, 2005)

Mutatis mutandis: safe and predictable dynamic software updating. - Gareth Paul Stoyle; Michael W. Hicks; Gavin M. Bierman; Peter Sewell; Iulian Neamtiu (POPL, 2005)

Dynamic inference of polymorphic lock types. - James Rose; Nikhil Swamy; Michael Hicks 001 (Sci. Comput. Program., 2005)

Understanding source code evolution using abstract syntax tree matching. - Iulian Neamtiu; Jeffrey S. Foster; Michael Hicks 001 (ACM SIGSOFT Softw. Eng. Notes, 2005)

Dynamic software updating. - Michael W. Hicks; Scott Nettles (ACM Trans. Program. Lang. Syst., 2005)

Managing Policy Updates in Security-Typed Languages. - Nikhil Swamy; Michael Hicks 001; Stephen Tse; Steve Zdancewic (CSFW, 2006)

Trusted declassification: : high-level policy for a security-typed language. - Boniface Hicks; Dave King 002; Patrick D. McDaniel; Michael Hicks 001 (PLAS, 2006)

Practical dynamic software updating for C. - Iulian Neamtiu; Michael W. Hicks; Gareth Paul Stoyle; Manuel Oriol (PLDI, 2006)

LOCKSMITH: context-sensitive correlation analysis for race detection. - Polyvios Pratikakis; Jeffrey S. Foster; Michael W. Hicks (PLDI, 2006)

Existential Label Flow Inference Via CFL Reachability. - Polyvios Pratikakis; Jeffrey S. Foster; Michael Hicks 001 (SAS, 2006)

Safe manual memory management in Cyclone. - Nikhil Swamy; Michael W. Hicks; Greg Morrisett; Dan Grossman; Trevor Jim (Sci. Comput. Program., 2006)

Automated detection of persistent kernel control-flow attacks. - Nick L. Petroni Jr.; Michael W. Hicks (CCS, 2007)

Improving software quality with static analysis. - Jeffrey S. Foster; Michael W. Hicks; William W. Pugh (PASTE, 2007)

Modular information hiding and type-safe linking for C. - Saurabh Srivastava 001; Michael Hicks 001; Jeffrey S. Foster (TLDI, 2007)

Defeating script injection attacks with browser-enforced embedded policies. - Trevor Jim; Nikhil Swamy; Michael Hicks 001 (WWW, 2007)

Mutatis Mutandis: Safe and predictable dynamic software updating. - Gareth Paul Stoyle; Michael W. Hicks; Gavin M. Bierman; Peter Sewell; Iulian Neamtiu (ACM Trans. Program. Lang. Syst., 2007)

Implicit Flows: Can't Live with 'Em, Can't Live without 'Em. - Dave King 002; Boniface Hicks; Michael Hicks 001; Trent Jaeger (ICISS, 2008)

Path projection for user-centered static analysis tools. - Yit Phang Khoo; Jeffrey S. Foster; Michael Hicks 001; Vibha Sazawal (PASTE, 2008)

Contextual effects for version-consistent dynamic software updatingalland safe concurrent programming. - Iulian Neamtiu; Michael Hicks 001; Jeffrey S. Foster; Polyvios Pratikakis (POPL, 2008)

Fable: A Language for Enforcing User-defined Security Policies. - Nikhil Swamy; Brian J. Corcoran; Michael Hicks 001 (SP, 2008)

Formalizing Soundness of Contextual Effects. - Polyvios Pratikakis; Jeffrey S. Foster; Michael Hicks 001; Iulian Neamtiu (TPHOLs, 2008)

Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction. - Peter Sewell; Gareth Paul Stoyle; Michael Hicks 001; Gavin M. Bierman; Keith Wansbrough (J. Funct. Program., 2008)

Verified enforcement of stateful information release policies. - Nikhil Swamy; Michael Hicks 001 (ACM SIGPLAN Notices, 2008)

Modular Information Hiding and Type-Safe Linking for C. - Saurabh Srivastava 001; Michael Hicks 001; Jeffrey S. Foster; Patrick Jenkins (IEEE Trans. Software Eng., 2008)

The ruby intermediate language. - Michael Furr; Jong-hoon (David) An; Jeffrey S. Foster; Michael Hicks 001 (DLS, 2009)

Directing JavaScript with arrows. - Yit Phang Khoo; Michael Hicks 001; Jeffrey S. Foster; Vibha Sazawal (DLS, 2009)

Tests to the left of me, types to the right: how not to get stuck in the middle of a ruby execution. - Michael Furr; Jong-hoon (David) An; Jeffrey S. Foster; Michael Hicks 001 (STOP@ECOOP, 2009)

Efficient Systematic Testing for Dynamically Updatable Software. - Christopher M. Hayden; Eric A. Hardisty; Michael W. Hicks; Jeffrey S. Foster (HotSWUp, 2009)

A theory of typed coercions and its applications. - Nikhil Swamy; Michael W. Hicks; Gavin M. Bierman (ICFP, 2009)

Safe and timely updates to multi-threaded programs. - Iulian Neamtiu; Michael W. Hicks (PLDI, 2009)

Dynamic software updates: a VM-centric approach. - Suriya Subramanian; Michael W. Hicks; Kathryn S. McKinley (PLDI, 2009)

Static type inference for Ruby. - Michael Furr; Jong-hoon (David) An; Jeffrey S. Foster; Michael W. Hicks (SAC, 2009)

Passive aggressive measurement with MGRP. - Pavlos Papageorge; Justin McCann; Michael Hicks 001 (SIGCOMM, 2009)

Cross-tier, label-based security enforcement for web applications. - Brian J. Corcoran; Nikhil Swamy; Michael W. Hicks (SIGMOD Conference, 2009)

Dynamically checking ownership policies in concurrent c/c++ programs. - Jean-Phillipe Martin; Michael Hicks 001; Manuel Costa; Periklis Akritidis; Miguel Castro 001 (POPL, 2010)

SCORE: agile research group management. - Michael W. Hicks; Jeffrey S. Foster (Commun. ACM, 2010)

Serializing C intermediate representations for efficient and portable parsing. - Jeffrey A. Meister; Jeffrey S. Foster; Michael Hicks 001 (Softw. Pract. Exp., 2010)

Dynamic Enforcement of Knowledge-Based Security Policies. - Piotr Mardziel; Stephen Magill; Michael Hicks 001; Mudhakar Srivatsa (CSF, 2011)

State transfer for clear and efficient runtime updates. - Christopher M. Hayden; Edward K. Smith; Michael Hicks 001; Jeffrey S. Foster (ICDE Workshops, 2011)

Foreword. - Michael Hicks 001; Rida A. Bazzi; Carlo Zaniolo (ICDE Workshops, 2011)

Lightweight monadic programming in ML. - Nikhil Swamy; Nataliya Guts; Daan Leijen; Michael Hicks 001 (ICFP, 2011)

Dynamic inference of static types for ruby. - Jong-hoon (David) An; Avik Chaudhuri; Jeffrey S. Foster; Michael Hicks 001 (POPL, 2011)

Directed Symbolic Execution. - Kin-Keung Ma; Yit Phang Khoo; Jeffrey S. Foster; Michael Hicks 001 (SAS, 2011)

LOCKSMITH: Practical static race detection for C. - Polyvios Pratikakis; Jeffrey S. Foster; Michael Hicks 001 (ACM Trans. Program. Lang. Syst., 2011)

Deanonymizing mobility traces: using social network as a side-channel. - Mudhakar Srivatsa; Michael Hicks 001 (CCS, 2012)

A study of dynamic software update quiescence for multithreaded programs. - Christopher M. Hayden; Karla Saur; Michael Hicks 001; Jeffrey S. Foster (HotSWUp, 2012)

Towards standardized benchmarks for Dynamic Software Updating systems. - Edward K. Smith; Michael Hicks 001; Jeffrey S. Foster (HotSWUp, 2012)

Kitsune: efficient, general-purpose dynamic software updating for C. - Christopher M. Hayden; Edward K. Smith; Michail Denchev; Michael Hicks 001; Jeffrey S. Foster (OOPSLA, 2012)

Automating object transformations for dynamic software updating. - Stephen Magill; Michael Hicks 001; Suriya Subramanian; Kathryn S. McKinley (OOPSLA, 2012)

Knowledge-oriented secure multiparty computation. - Piotr Mardziel; Michael Hicks 001; Jonathan Katz; Mudhakar Srivatsa (PLAS, 2012)

Specifying and Verifying the Correctness of Dynamic Software Updates. - Christopher M. Hayden; Stephen Magill; Michael Hicks 001; Nate Foster; Jeffrey S. Foster (VSTTE, 2012)

POPL'12 program chair's report: (or, how to run a medium-sized conference). - Michael Hicks 001 (ACM SIGPLAN Notices, 2012)

Evaluating Dynamic Software Update Safety Using Systematic Testing. - Christopher M. Hayden; Edward K. Smith; Eric A. Hardisty; Michael Hicks 001; Jeffrey S. Foster (IEEE Trans. Software Eng., 2012)

Memory Trace Oblivious Program Execution. - Chang Liu 021; Michael Hicks 001; Elaine Shi (CSF, 2013)

Rubah: Efficient, General-purpose Dynamic Software Updating for Java. - Luís Pina; Michael Hicks 001 (HotSWUp, 2013)

Expositor: scriptable time-travel debugging with first-class traces. - Yit Phang Khoo; Jeffrey S. Foster; Michael Hicks 001 (ICSE, 2013)

Knowledge inference for optimizing secure multi-party computation. - Aseem Rastogi; Piotr Mardziel; Michael Hicks 001; Matthew A. Hammer (PLAS, 2013)

Dynamic enforcement of knowledge-based security policies using probabilistic abstract interpretation. - Piotr Mardziel; Stephen Magill; Michael Hicks 001; Mudhakar Srivatsa (J. Comput. Secur., 2013)

Principles of POPL. - Derek Dreyer; John Field; Roberto Giacobazzi; Michael Hicks 001; Suresh Jagannathan; Mooly Sagiv; Peter Sewell; Philip Wadler (ACM SIGPLAN Notices, 2013)

Rubah: DSU for Java on a stock JVM. - Luís Pina; Luís Veiga; Michael W. Hicks (OOPSLA, 2014)

Adapton: composable, demand-driven incremental computation. - Matthew A. Hammer; Yit Phang Khoo; Michael Hicks 001; Jeffrey S. Foster (PLDI, 2014)

Authenticated data structures, generically. - Andrew Miller 001; Michael Hicks 001; Jonathan Katz; Elaine Shi (POPL, 2014)

Automating Efficient RAM-Model Secure Computation. - Chang Liu 021; Yan Huang 001; Elaine Shi; Jonathan Katz; Michael W. Hicks (IEEE Symposium on Security and Privacy, 2014)

Quantifying Information Flow for Dynamic Secrets. - Piotr Mardziel; Mário S. Alvim; Michael W. Hicks; Michael R. Clarkson (IEEE Symposium on Security and Privacy, 2014)

Wysteria: A Programming Language for Generic, Mixed-Mode Multiparty Computations. - Aseem Rastogi; Matthew A. Hammer; Michael Hicks 001 (IEEE Symposium on Security and Privacy, 2014)

Polymonadic Programming. - Michael Hicks 001; Gavin M. Bierman; Nataliya Guts; Daan Leijen; Nikhil Swamy (MSFP, 2014)

The Synergy Between Programming Languages and Cryptography (Dagstuhl Seminar 14492). - Gilles Barthe; Michael Hicks 001; Florian Kerschbaum; Dominique Unruh (Dagstuhl Reports, 2014)

Kitsune: Efficient, General-Purpose Dynamic Software Updating for C. - Christopher M. Hayden; Karla Saur; Edward K. Smith; Michael W. Hicks; Jeffrey S. Foster (ACM Trans. Program. Lang. Syst., 2014)

GhostRider: A Hardware-Software System for Memory Trace Oblivious Computation. - Chang Liu 021; Austin Harris 001; Martin Maas 001; Michael W. Hicks; Mohit Tiwari; Elaine Shi (ASPLOS, 2015)

Incremental computation with names. - Matthew A. Hammer; Jana Dunfield; Kyle Headley; Nicholas Labich; Jeffrey S. Foster; Michael W. Hicks; David Van Horn (OOPSLA, 2015)

Morpheus: Safe and Flexible Dynamic Updates for SDNs. - Karla Saur; Joseph M. Collard; Nate Foster; Arjun Guha; Laurent Vanbever; Michael W. Hicks (CoRR, 2015)

How to Authenticate any Data Structure. - Andrew Miller 001; Michael W. Hicks; Jonathan Katz; Elaine Shi (Adv. Math. Commun., 2015)

Build It, Break It, Fix It: Contesting Secure Development. - Andrew Ruef; Michael W. Hicks; James Parker; Dave Levin; Michelle L. Mazurek; Piotr Mardziel (CCS, 2016)

Evolving NoSQL Databases without Downtime. - Karla Saur; Tudor Dumitras; Michael W. Hicks (ICSME, 2016)

Tedsuto: A General Framework for Testing Dynamic Software Updates. - Luís Pina; Michael Hicks 001 (ICST, 2016)

Safe and Flexible Controller Upgrades for SDNs. - Karla Saur; Joseph M. Collard; Nate Foster; Arjun Guha; Laurent Vanbever; Michael W. Hicks (SOSR, 2016)

IEEE SecDev 2016: Prioritizing Secure Development. - Robert K. Cunningham; Pamela Gupta; Ulf Lindqvist; Stelios Sidiroglou-Douskos; Michael Hicks 001 (IEEE Secur. Priv., 2016)

C-strider: type-aware heap traversal for C. - Karla Saur; Michael W. Hicks; Jeffrey S. Foster (Softw. Pract. Exp., 2016)

Languages for Oblivious Computation. - Michael Hicks 001 (PLAS@CCS, 2017)

Decomposition instead of self-composition for proving the absence of timing channels. - Timos Antonopoulos; Paul Gazzillo; Michael Hicks 001; Eric Koskinen; Tachio Terauchi; Shiyi Wei (PLDI, 2017)

Quantifying Vulnerability of Secret Generation Using Hyper-Distributions. - Mário S. Alvim; Piotr Mardziel; Michael W. Hicks (POST, 2017)

Counterexample-guided approach to finding numerical invariants. - ThanhVu Nguyen; Timos Antonopoulos; Andrew Ruef; Michael Hicks 001 (ESEC/SIGSOFT FSE, 2017)

Quantifying vulnerability of secret generation using hyper-distributions (extended version). - Mário S. Alvim; Piotr Mardziel; Michael W. Hicks (CoRR, 2017)

Summoning Demons: The Pursuit of Exploitable Bugs in Machine Learning. - Rock Stevens; Octavian Suciu; Andrew Ruef; Sanghyun Hong 001; Michael W. Hicks; Tudor Dumitras (CoRR, 2017)

WYS*: A Verified Language Extension for Secure Multi-party Computations. - Aseem Rastogi; Nikhil Swamy; Michael Hicks 001 (CoRR, 2017)

Evaluating Fuzz Testing. - George Klees; Andrew Ruef; Benji Cooper; Shiyi Wei; Michael Hicks 001 (CCS, 2018)

Evaluating Design Tradeoffs in Numeric Static Analysis for Java. - Shiyi Wei; Piotr Mardziel; Andrew Ruef; Jeffrey S. Foster; Michael Hicks 001 (ESOP, 2018)

What's the Over/Under? Probabilistic Bounds on Information Leakage. - Ian Sweet; José Manuel Calderón Trilla; Chad Scherrer; Michael Hicks 001; Stephen Magill (POST, 2018)

Checked C: Making C Safe by Extension. - Archibald Samuel Elliott; Andrew Ruef; Michael Hicks 001; David Tarditi (SecDev, 2018)

Quantitative Robustness Analysis of Quantum Programs (Extended Version). - Shih-Han Hung; Kesha Hietala; Shaopeng Zhu; Mingsheng Ying; Michael Hicks 001; Xiaodi Wu 001 (CoRR, 2018)

MVEDSUA: Higher Availability Dynamic Software Updates via Multi-Version Execution. - Luís Pina; Anastasios Andronidis; Michael Hicks 001; Cristian Cadar (ASPLOS, 2019)

Wys*: A DSL for Verified Secure Multi-party Computations. - Aseem Rastogi; Nikhil Swamy; Michael Hicks 001 (POST, 2019)

Achieving Safety Incrementally with Checked C. - Andrew Ruef; Leonidas Lampropoulos; Ian Sweet; David Tarditi; Michael Hicks 001 (POST, 2019)

Formal Verification vs. Quantum Uncertainty. - Robert Rand 001; Kesha Hietala; Michael Hicks 001 (SNAPL, 2019)

Verified Optimization in a Quantum Intermediate Representation. - Kesha Hietala; Robert Rand 001; Shih-Han Hung; Xiaodi Wu 001; Michael Hicks 001 (CoRR, 2019)

Quantitative robustness analysis of quantum programs. - Shih-Han Hung; Kesha Hietala; Shaopeng Zhu; Mingsheng Ying; Michael Hicks 001; Xiaodi Wu 001 (Proc. ACM Program. Lang., 2019)

Coverage guided, property based testing. - Leonidas Lampropoulos; Michael Hicks 001; Benjamin C. Pierce (Proc. ACM Program. Lang., 2019)

LWeb: information flow security for multi-tier web applications. - James Parker; Niki Vazou; Michael Hicks 001 (Proc. ACM Program. Lang., 2019)

Probabilistic Abstract Interpretation: Sound Inference and Application to Privacy. - José Manuel Calderón Trilla; Michael Hicks 001; Stephen Magill; Piotr Mardziel; Ian Sweet (Foundations of Probabilistic Programming, 2020)

Short Paper: Probabilistically Almost-Oblivious Computation. - Ian Sweet; David Darais; Michael Hicks 001 (PLAS@CCS, 2020)

Understanding security mistakes developers make: Qualitative analysis from Build It, Break It, Fix It. - Daniel Votipka; Kelsey R. Fulton; James Parker; Matthew Hou; Michelle L. Mazurek; Michael Hicks 001 (USENIX Security Symposium, 2020)

Conferences in an era of expensive carbon. - Benjamin C. Pierce; Michael Hicks 001; Cristina V. Lopes; Jens Palsberg (Commun. ACM, 2020)

A language for probabilistically oblivious computation. - David Darais; Ian Sweet; Chang Liu 021; Michael Hicks 001 (Proc. ACM Program. Lang., 2020)

Verifying replicated data types with typeclass refinements in Liquid Haskell. - Yiyun Liu; James Parker; Patrick Redmond; Lindsey Kuper; Michael Hicks 001; Niki Vazou (Proc. ACM Program. Lang., 2020)

Build It, Break It, Fix It: Contesting Secure Development. - James Parker; Michael Hicks 001; Andrew Ruef; Michelle L. Mazurek; Dave Levin; Daniel Votipka; Piotr Mardziel; Kelsey R. Fulton (ACM Trans. Priv. Secur., 2020)

Build It, Break It, Fix It Contests: Motivated Developers Still Make Security Mistakes. - Daniel Votipka; Kelsey R. Fulton; James Parker; Matthew Hou; Michelle L. Mazurek; Michael Hicks 001 (login Usenix Mag., 2020)

Proving Quantum Programs Correct. - Kesha Hietala; Robert Rand 001; Shih-Han Hung; Liyi Li 002; Michael Hicks 001 (ITP, 2021)

Tutorial: Making C Programs Safer with Checked C. - Jie Zhou 022; Michael Hicks 001; Yudi Yang; John Criswell (SecDev, 2021)

BullFrog: Online Schema Evolution via Lazy Evaluation. - Souvik Bhattacherjee; Gang Liao; Michael Hicks 001; Daniel J. Abadi (SIGMOD Conference, 2021)

Benefits and Drawbacks of Adopting a Secure Programming Language: Rust as a Case Study. - Kelsey R. Fulton; Anna Chan; Daniel Votipka; Michael Hicks 001; Michelle L. Mazurek (SOUPS @ USENIX Security Symposium, 2021)

Does the Bronze Garbage Collector Make Rust Easier to Use? A Controlled Experiment. - Michael Coblenz; Michelle L. Mazurek; Michael Hicks 001 (CoRR, 2021)

A verified optimizer for Quantum circuits. - Kesha Hietala; Robert Rand 001; Shih-Han Hung; Xiaodi Wu 001; Michael Hicks 001 (Proc. ACM Program. Lang., 2021)

Understanding the How and the Why: Exploring Secure Development Practices through a Course Competition. - Kelsey R. Fulton; Daniel Votipka; Desiree Abrokwa; Michelle L. Mazurek; Michael Hicks 001; James Parker (CCS, 2022)

Garbage Collection Makes Rust Easier to Use: A Randomized Controlled Trial of the Bronze Garbage Collector. - Michael Coblenz; Michelle L. Mazurek; Michael Hicks 001 (ICSE, 2022)

FIXREVERTER: A Realistic Bug Injection Methodology for Benchmarking Fuzz Testing. - Zenong Zhang; Zach Patterson; Michael Hicks 001; Shiyi Wei (USENIX Security Symposium, 2022)

A Formally Certified End-to-End Implementation of Shor's Factorization Algorithm. - Yuxiang Peng; Kesha Hietala; Runzhou Tao; Liyi Li 002; Robert Rand 001; Michael Hicks 001; Xiaodi Wu 001 (CoRR, 2022)

Qunity: A Unified Language for Quantum and Classical Computing. - Finn Voichick; Robert Rand 001; Michael W. Hicks (CoRR, 2022)

Verified compilation of Quantum oracles. - Liyi Li 002; Finn Voichick; Kesha Hietala; Yuxiang Peng; Xiaodi Wu 001; Michael Hicks 001 (Proc. ACM Program. Lang., 2022)

C to checked C by 3c. - Aravind Machiry; John H. Kastner; Matt McCutchen; Aaron Eline; Kyle Headley; Michael Hicks 001 (Proc. ACM Program. Lang., 2022)

A formal model of Checked C. - Liyi Li 002; Yiyun Liu; Deena L. Postol; Leonidas Lampropoulos; David Van Horn; Michael Hicks 001 (J. Comput. Secur., 2023)

Qunity: A Unified Language for Quantum and Classical Computing. - Finn Voichick; Liyi Li 002; Robert Rand 001; Michael Hicks 001 (Proc. ACM Program. Lang., 2023)

Symphony: Expressive Secure Multiparty Computation with Coordination. - Ian Sweet; David Darais; David Heath; William Harris; Ryan Estes; Michael Hicks 001 (Art Sci. Eng. Program., 2023)

Fat Pointers for Temporal Memory Safety of C. - Jie Zhou 022; John Criswell; Michael Hicks 001 (Proc. ACM Program. Lang., 2023)

Fuzzing Configurations of Program Options. - Zenong Zhang; George Klees; Eric Wang; Michael Hicks 001; Shiyi Wei (ACM Trans. Softw. Eng. Methodol., 2023)

Fuzzing Configurations of Program Options - RCR Report. - Zenong Zhang; George Klees; Eric Wang; Michael Hicks 001; Shiyi Wei (ACM Trans. Softw. Eng. Methodol., 2023)

A Verified Optimizer for Quantum Circuits. - Kesha Hietala; Robert Rand 001; Liyi Li 002; Shih-Han Hung; Xiaodi Wu 001; Michael Hicks 001 (ACM Trans. Program. Lang. Syst., 2023)

How We Built Cedar: A Verification-Guided Approach. - Craig Disselkoen; Aaron Eline; Shaobo He; Kyle Headley; Michael Hicks 001; Kesha Hietala; John H. Kastner; Anwar Mamat; Matt McCutchen; Neha Rungta; Bhakti Shah; Emina Torlak; et al. (SIGSOFT FSE Companion, 2024)

Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version). - Joseph W. Cutler; Craig Disselkoen; Aaron Eline; Shaobo He; Kyle Headley; Michael Hicks 001; Kesha Hietala; Eleftherios Ioannidis; John H. Kastner; Anwar Mamat; Darin McAdams; Matt McCutchen; et al. (CoRR, 2024)

Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization. - Joseph W. Cutler; Craig Disselkoen; Aaron Eline; Shaobo He; Kyle Headley; Michael Hicks 001; Kesha Hietala; Eleftherios Ioannidis; John H. Kastner; Anwar Mamat; Darin McAdams; Matt McCutchen; et al. (Proc. ACM Program. Lang., 2024)

Formally Verified Cloud-Scale Authorization. - Aleks Chakarov; Jaco Geldenhuys; Matthew Heck; Michael Hicks 001; Sam Huang; Georges-Axel Jaloyan; Anjali Joshi; K. Rustan M. Leino; Mikael Mayer; Sean McLaughlin; Akhilesh Mritunjai; Clément Pit-Claudel; et al. (ICSE, 2025)