| 2026 | ASPLOS | Sequential Specifications for Precise Hardware Exceptions. | Yulun Yao, Drew Zagieboylo, Andrew C. Myers, G. Edward Suh |
| 2025 | ESORICS | An Algebraic Approach to Asymmetric Delegation and Polymorphic Label Inference. | Silei Ren, Cosku Acay, Andrew C. Myers |
| 2023 | CCS | SpecVerilog: Adapting Information Flow Control for Secure Speculation. | Drew Zagieboylo, Charles Sherk, Andrew C. Myers, G. Edward Suh |
| 2022 | PLDI | A flexible type system for fearless concurrency. | Mae Milano, Joshua Turcotti, Andrew C. Myers |
| 2022 | PLDI | PDL: a high-level hardware design language for pipelined processors. | Drew Zagieboylo, Charles Sherk, Gookwon Edward Suh, Andrew C. Myers |
| 2021 | PLDI | Viaduct: an extensible, optimizing compiler for secure distributed programs. | Cosku Acay, Rolph Recto, Joshua Gancher, Andrew C. Myers, Elaine Shi |
| 2021 | SP | Compositional Security for Reentrant Applications. | Ethan Cecchetti, Siqiu Yao, Haobin Ni, Andrew C. Myers |
| 2020 | OPODIS | Heterogeneous Paxos. | Isaac C. Sheff, Xinwen Wang, Robbert van Renesse, Andrew C. Myers |
| 2019 | EuroSys | Efficient, Consistent Distributed Computation with Predictive Treaties. | Tom Magrino, Jed Liu, Nate Foster, Johannes Gehrke, Andrew C. Myers |
| 2018 | CCS | HyperFlow: A Processor Architecture for Nonmalleable, Timing-Safe Information Flow Security. | Andrew Ferraiuolo, Mark Zhao, Andrew C. Myers, G. Edward Suh |
| 2018 | CCS | Secure Autonomous Cyber-Physical Systems Through Verifiable Information Flow Control. | Jed Liu, Joe Corbett-Davies, Andrew Ferraiuolo, Alexander Ivanov, Mulong Luo, G. Edward Suh, Andrew C. Myers, Mark E. Campbell |
| 2018 | PLDI | MixT: a language for mixing consistency in geodistributed transactions. | Mae Milano, Andrew C. Myers |
| 2017 | ASPLOS | Verification of a Practical Hardware Security Architecture Through Static Information Flow Analysis. | Andrew Ferraiuolo, Rui Xu, Danfeng Zhang, Andrew C. Myers, G. Edward Suh |
| 2017 | CCS | Nonmalleable Information Flow Control. | Ethan Cecchetti, Andrew C. Myers, Owen Arden |
| 2017 | CHI | Teaching Programming with Gamified Semantics. | Ian Arawjo, Cheng-Yao Wang, Andrew C. Myers, Erik Andersen, Franois Guimbretire |
| 2017 | DAC | Secure Information Flow Verification with Mutable Dependent Types. | Andrew Ferraiuolo, Weizhe Hua, Andrew C. Myers, G. Edward Suh |
| 2016 | CCS | Safe Serializable Secure Scheduling: Transactions and the Trade-Off Between Security and Consistency. | Isaac C. Sheff, Tom Magrino, Jed Liu, Andrew C. Myers, Robbert van Renesse |
| 2016 | DAC | SecDCP: secure dynamic cache partitioning for efficient timing channel protection. | Yao Wang, Andrew Ferraiuolo, Danfeng Zhang, Andrew C. Myers, G. Edward Suh |
| 2016 | HPCA | Lattice priority scheduling: Low-overhead timing-channel protection for a shared memory controller. | Andrew Ferraiuolo, Yao Wang, Danfeng Zhang, Andrew C. Myers, G. Edward Suh |
| 2016 | PLDI | Accepting blame for safe tunneled exceptions. | Yizhou Zhang, Guido Salvaneschi, Quinn Beightol, Barbara Liskov, Andrew C. Myers |
| 2015 | ASPLOS | A Hardware Design Language for Timing-Sensitive Information-Flow Security. | Danfeng Zhang, Yao Wang, G. Edward Suh, Andrew C. Myers |
| 2015 | PLDI | Finding counterexamples from parsing conflicts. | Chinawat Isradisaikul, Andrew C. Myers |
| 2015 | PLDI | Lightweight, flexible object-oriented generics. | Yizhou Zhang, Matthew C. Loring, Guido Salvaneschi, Barbara Liskov, Andrew C. Myers |
| 2015 | PLDI | Diagnosing type errors with class. | Danfeng Zhang, Andrew C. Myers, Dimitrios Vytiniotis, Simon L. Peyton Jones |
| 2014 | ECOOP | A Language-Based Approach to Secure Quorum Replication. | Lantian Zheng, Andrew C. Myers |
| 2014 | NSDI | Warranties for Faster Strong Consistency. | Jed Liu, Tom Magrino, Owen Arden, Michael D. George, Andrew C. Myers |
| 2014 | POPL | Toward general diagnosis of static errors. | Danfeng Zhang, Andrew C. Myers |
| 2013 | CIDR | StatusQuo: Making Familiar Abstractions Perform Using Program Analysis. | Alvin Cheung, Owen Arden, Samuel Madden, Armando Solar-Lezama, Andrew C. Myers |
| 2013 | PLDI | Reconciling exhaustive pattern matching with objects. | Chinawat Isradisaikul, Andrew C. Myers |
| 2013 | POPL | How languages can save distributed computing. | Andrew C. Myers |
| 2013 | SIGMOD | Speeding up database applications with Pyxis. | Alvin Cheung, Owen Arden, Samuel Madden, Andrew C. Myers |
| 2012 | PLDI | Language-based control and mitigation of timing channels. | Danfeng Zhang, Aslan Askarov, Andrew C. Myers |
| 2012 | SP | Sharing Mobile Code Securely with Information Flow Control. | Owen Arden, Michael D. George, Jed Liu, K. Vikram, Aslan Askarov, Andrew C. Myers |
| 2011 | CCS | Predictive mitigation of timing channels in interactive systems. | Danfeng Zhang, Aslan Askarov, Andrew C. Myers |
| 2010 | CCS | Predictive black-box mitigation of timing channels. | Aslan Askarov, Danfeng Zhang, Andrew C. Myers |
| 2010 | ESOP | A Semantic Framework for Declassification and Endorsement. | Aslan Askarov, Andrew C. Myers |
| 2010 | ICISS | Toward Securely Programming the Internet. | Andrew C. Myers |
| 2010 | OOPSLA | Homogeneous family sharing. | Xin Qi, Andrew C. Myers |
| 2009 | PLDI | Sharing classes between families. | Xin Qi, Andrew C. Myers |
| 2009 | POPL | Masked types for sound object initialization. | Xin Qi, Andrew C. Myers |
| 2009 | SOSP | Fabric: a platform for secure distributed computation and storage. | Jed Liu, Michael D. George, K. Vikram, Xin Qi, Lucas Waye, Andrew C. Myers |
| 2008 | PLDI | Securing nonintrusive web encryption through information flow. | Lantian Zheng, Andrew C. Myers |
| 2008 | SP | Civitas: Toward a Secure Voting System. | Michael R. Clarkson, Stephen Chong, Andrew C. Myers |
| 2007 | SOSP | Secure web application via automatic partitioning. | Stephen Chong, Jed Liu, Andrew C. Myers, Xin Qi, K. Vikram, Lantian Zheng, Xin Zheng |
| 2006 | OOPSLA | J&: nested intersection for scalable software composition. | Nathaniel Nystrom, Xin Qi, Andrew C. Myers |
| 2006 | POPL | Interruptible iterators. | Jed Liu, Aaron Kimball, Andrew C. Myers |
| 2005 | ESOP | Programming with Explicit Security Policies. | Andrew C. Myers |
| 2005 | NSDI | Trickles: A Stateless Network Stack for Improved Scalability, Resilience, and Flexibility. | Alan Shieh, Andrew C. Myers, Emin Gn Sirer |
| 2005 | SIGCSE | Supporting workflow in a course management system. | Chavdar Botev, Hubert Chao, Theodore Chao, Yim Cheng, Raymond Doyle, Sergey Grankin, Jon Guarino, Saikat Guha, Pei-Chen Lee, Dan Perry, Christopher R, Ilya Rifkin, Tingyan Yuan, Dora Abdullah, Kathy Carpenter, David Gries, Dexter Kozen, Andrew C. Myers, David I. Schwartz, Jayavel Shanmugasundaram |
| 2004 | CCS | Security policies for downgrading. | Stephen Chong, Andrew C. Myers |
| 2004 | OOPSLA | Scalable extensibility via nested inheritance. | Nathaniel Nystrom, Stephen Chong, Andrew C. Myers |
| 2003 | CC | Polyglot: An Extensible Compiler Framework for Java. | Nathaniel Nystrom, Michael R. Clarkson, Andrew C. Myers |
| 2003 | PADL | JMatch: Iterable Abstract Pattern Matching for Java. | Jed Liu, Andrew C. Myers |
| 2003 | SP | Using Replication and Partitioning to Build Secure Distributed Systems. | Lantian Zheng, Stephen Chong, Andrew C. Myers, Steve Zdancewic |
| 2001 | ESOP | Secure Information Flow and CPS. | Steve Zdancewic, Andrew C. Myers |
| 2001 | SAS | Security-Typed Languages and Distributed Computation. | Andrew C. Myers |
| 2001 | SOSP | Untrusted Hosts and Confidentiality: Secure Program Partitioning. | Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, Andrew C. Myers |
| 1999 | POPL | JFlow: Practical Mostly-Static Information Flow Control. | Andrew C. Myers |
| 1998 | SP | Complete, Safe Information Flow with Decentralized Labels. | Andrew C. Myers, Barbara Liskov |
| 1997 | POPL | Parameterized Types for Java. | Andrew C. Myers, Joseph A. Bank, Barbara Liskov |
| 1997 | SOSP | HAC: Hybrid Adaptive Caching for Distributed Storage Systems. | Miguel Castro, Atul Adya, Barbara Liskov, Andrew C. Myers |
| 1997 | SOSP | A Decentralized Model for Information Flow Control. | Andrew C. Myers, Barbara Liskov |
| 1996 | SIGMOD | Safe and Efficient Sharing of Persistent Objects in Thor. | Barbara Liskov, Atul Adya, Miguel Castro, Mark Day, Sanjay Ghemawat, Robert Gruber, Umesh Maheshwari, Andrew C. Myers, Liuba Shrira |
| 1995 | OOPSLA | Subtypes vs. Where Clauses: Constraining Parametric Polymorphism. | Mark Day, Robert Gruber, Barbara Liskov, Andrew C. Myers |
| 1995 | OOPSLA | Bidirectional Object Layout for Separate Compilation. | Andrew C. Myers |
| 1993 | HotOS | Resolving the Integrity/Performance Conflict. | Andrew C. Myers |