| 2024 | ICLR | Guess & Sketch: Language Model Guided Transpilation. | Celine Lee, Abdulrahman Mahmoud, Michal Kurek, Simone Campanoni, David Brooks, Stephen Chong, Gu-Yeon Wei, Alexander M. Rush |
| 2024 | LOPSTR | Parallel Assembly Synthesis. | Jingmei Hu, Stephen Chong, Margo I. Seltzer |
| 2023 | SACMAT | Expressive Authorization Policies using Computation Principals. | Anitha Gollamudi, Stephen Chong |
| 2021 | ESOP | Coupled Relational Symbolic Execution for Differential Privacy. | Gian Pietro Farina, Stephen Chong, Marco Gaboardi |
| 2021 | UIST | Assuage: Assembly Synthesis Using A Guided Exploration. | Jingmei Hu, Priyan Vaithilingam, Stephen Chong, Margo I. Seltzer, Elena L. Glassman |
| 2021 | SP | Co-Inflow: Coarse-grained Information Flow Control for Java-like Languages. | Jian Xiang, Stephen Chong |
| 2021 | SLE | Fast incremental PEG parsing. | Zachary Yedidia, Stephen Chong |
| 2019 | FUSION | Machine Learning-Enabled Adaptation of Information Fusion Software Systems. | Gerald Fry, T. Samawi, Kenny Lu, Avi Pfeffer, Curt Wu, Steve Marotta, Michael Reposa, Stephen Chong |
| 2019 | PPDP | Relational Symbolic Execution. | Gian Pietro Farina, Stephen Chong, Marco Gaboardi |
| 2019 | SOSP | Trials and Tribulations in Synthesizing Operating Systems. | Jingmei Hu, Eric Lu, David A. Holland, Ming Kawaguchi, Stephen Chong, Margo I. Seltzer |
| 2017 | CCS | Authorization Contracts. | Stephen Chong |
| 2017 | CCS | Cryptographically Secure Information Flow Control on Key-Value Stores. | Lucas Waye, Pablo Buiras, Owen Arden, Alejandro Russo, Stephen Chong |
| 2016 | OOPSLA | Automatic enforcement of expressive security policies using enclaves. | Anitha Gollamudi, Stephen Chong |
| 2016 | OOPSLA | Extensible access control with authorization contracts. | Scott Moore, Christos Dimoulas, Robert Bruce Findler, Matthew Flatt, Stephen Chong |
| 2016 | PLDI | Precise, dynamic information flow for database-backed applications. | Jean Yang, Travis Hance, Thomas H. Austin, Armando Solar-Lezama, Cormac Flanagan, Stephen Chong |
| 2016 | SEC | A Progress-Sensitive Flow-Sensitive Inlined Information-Flow Control Monitor. | Andrew Bedford, Stephen Chong, Jose Desharnais, Nadia Tawbi |
| 2015 | PLDI | Exploring and enforcing security guarantees via program dependence graphs. | Andrew Johnson, Lucas Waye, Scott Moore, Stephen Chong |
| 2014 | OOPSLA | Language-based capabilities. | Stephen Chong |
| 2014 | OSDI | SHILL: A Secure Shell Scripting Language. | Scott Moore, Christos Dimoulas, Dan King, Stephen Chong |
| 2013 | PLDI | Asynchronous functional reactive programming for GUIs. | Evan Czaplicki, Stephen Chong |
| 2013 | POPL | Towards fully automatic placement of security sanitizers and declassifiers. | Benjamin Livshits, Stephen Chong |
| 2012 | CCS | Precise enforcement of progress-sensitive security. | Scott Moore, Aslan Askarov, Stephen Chong |
| 2012 | OOPSLA | Towards a practical secure concurrent language. | Stefan K. Muller, Stephen Chong |
| 2011 | SP | Inference of Expressive Declassification Policies. | Jeffrey A. Vaughan, Stephen Chong |
| 2010 | PLDI | A more precise security type system for dynamic security tests. | Gregory Malecha, Stephen Chong |
| 2009 | FAST | Towards Semantics for Provenance Security. | Stephen Chong |
| 2009 | OOPSLA | Provenance: a future history. | James Cheney, Stephen Chong, Nate Foster, Margo I. Seltzer, Stijn Vansummeren |
| 2009 | TARK | Deriving epistemic conclusions from agent architecture. | Stephen Chong, Ron van der Meyden |
| 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 |
| 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 | SP | Using Replication and Partitioning to Build Secure Distributed Systems. | Lantian Zheng, Stephen Chong, Andrew C. Myers, Steve Zdancewic |
| 2003 | SAS | Static Analysis of Accessed Regions in Recursive Data Structures. | Stephen Chong, Radu Rugina |