| 2025 | ICS | DeCOS: Data-Efficient Reinforcement Learning for Compiler Optimization Selection Ignited by LLM. | Tianming Cui, Pen-Chung Yew, Stephen McCamant, Antonia Zhai |
| 2024 | AsiaCCS | Non-Fusion Based Coherent Cache Randomization Using Cross-Domain Accesses. | Kartik Ramkrishnan, Stephen McCamant, Antonia Zhai, Pen-Chung Yew |
| 2023 | AST | Structural Test Input Generation for 3-Address Code Coverage Using Path-Merged Symbolic Execution. | Soha Hussein, Stephen McCamant, Elena Sherman, Vaibhav Sharma, Mike Whalen |
| 2023 | TACAS | Java Ranger: Supporting String and Array Operations in Java Ranger (Competition Contribution). | Soha Hussein, Qiuchen Yan, Stephen McCamant, Vaibhav Sharma, Michael W. Whalen |
| 2021 | NDSS | Detecting Kernel Memory Leaks in Specialized Modules with Ownership Reasoning. | Navid Emamdoost, Qiushi Wu, Kangjie Lu, Stephen McCamant |
| 2020 | CGO | Efficient and scalable cross-ISA virtualization of hardware transactional memory. | Wenwen Wang, Pen-Chung Yew, Antonia Zhai, Stephen McCamant |
| 2020 | ICPP | First Time Miss : Low Overhead Mitigation for Shared Memory Cache Side Channels. | Kartik Ramkrishnan, Stephen McCamant, Pen-Chung Yew, Antonia Zhai |
| 2020 | NDSS | Precisely Characterizing Security Impact in a Flood of Patches via Symbolic Rule Comparison. | Qiushi Wu, Yang He, Stephen McCamant, Kangjie Lu |
| 2020 | TACAS | Java Ranger at SV-COMP 2020 (Competition Contribution). | Vaibhav Sharma, Soha Hussein, Michael W. Whalen, Stephen McCamant, Willem Visser |
| 2019 | CCS | Program-mandering: Quantitative Privilege Separation. | Shen Liu, Dongrui Zeng, Yongzhe Huang, Frank Capobianco, Stephen McCamant, Trent Jaeger, Gang Tan |
| 2018 | ASPLOS | Enhancing Cross-ISA DBT Through Automatically Learned Translation Rules. | Wenwen Wang, Stephen McCamant, Antonia Zhai, Pen-Chung Yew |
| 2018 | ICST | Finding Substitutable Binary Code for Reverse Engineering by Synthesizing Adapters. | Vaibhav Sharma, Kesha Hietala, Stephen McCamant |
| 2018 | TACAS | Bit-Vector Model Counting Using Statistical Estimation. | Seonmo Kim, Stephen McCamant |
| 2018 | VEE | Fast PokeEMU: Scaling Generated Instruction Tests Using Aggregation and State Chaining. | Qiuchen Yan, Stephen McCamant |
| 2017 | ISSRE | Toward Rigorous Object-Code Coverage Criteria. | Taejoon Byun, Vaibhav Sharma, Sanjai Rayadurgam, Stephen McCamant, Mats Per Erik Heimdahl |
| 2017 | Mobisys | Enabling Cross-ISA Offloading for COTS Binaries. | Wenwen Wang, Pen-Chung Yew, Antonia Zhai, Stephen McCamant, Youfeng Wu, Jayaram Bobba |
| 2016 | USENIX | A General Persistent Code Caching Framework for Dynamic Binary Translation (DBT). | Wenwen Wang, Pen-Chung Yew, Antonia Zhai, Stephen McCamant |
| 2013 | CCS | Protecting function pointers in binary. | Chao Zhang, Tao Wei, Zhaofeng Chen, Lei Duan, Stephen McCamant, Laszlo Szekeres |
| 2013 | ESORICS | HI-CFG: Construction by Binary Analysis and Application to Attack Polymorphism. | Dan Caselden, Alex Bazhanyuk, Mathias Payer, Stephen McCamant, Dawn Song |
| 2013 | SP | Practical Control Flow Integrity and Randomization for Binary Executables. | Chao Zhang, Tao Wei, Zhaofeng Chen, Lei Duan, Laszlo Szekeres, Stephen McCamant, Dawn Song, Wei Zou |
| 2012 | ASPLOS | Path-exploration lifting: hi-fi tests for lo-fi emulators. | Lorenzo Martignoni, Stephen McCamant, Pongsin Poosankam, Dawn Song, Petros Maniatis |
| 2012 | USENIX | Cloud Terminal: Secure Access to Sensitive Applications from Untrusted Systems. | Lorenzo Martignoni, Pongsin Poosankam, Matei Zaharia, Jun Han, Stephen McCamant, Dawn Song, Vern Paxson, Adrian Perrig, Scott Shenker, Ion Stoica |
| 2011 | ISSTA | Statically-directed dynamic automated test generation. | Domagoj Babic, Lorenzo Martignoni, Stephen McCamant, Dawn Song |
| 2011 | NDSS | DTA++: Dynamic Taint Analysis with Targeted Control-Flow Propagation. | Min Gyung Kang, Stephen McCamant, Pongsin Poosankam, Dawn Song |
| 2011 | SP | Differential Slicing: Identifying Causal Execution Differences for Security Applications. | Noah M. Johnson, Juan Caballero, Kevin Zhijie Chen, Stephen McCamant, Pongsin Poosankam, Daniel Reynaud, Dawn Song |
| 2010 | CCS | Input generation via decomposition and re-stitching: finding bugs in Malware. | Juan Caballero, Pongsin Poosankam, Stephen McCamant, Domagoj Babic, Dawn Song |
| 2010 | NDSS | Binary Code Extraction and Interface Identification for Security Applications. | Juan Caballero, Noah M. Johnson, Stephen McCamant, Dawn Song |
| 2010 | SP | A Symbolic Execution Framework for JavaScript. | Prateek Saxena, Devdatta Akhawe, Steve Hanna, Feng Mao, Stephen McCamant, Dawn Song |
| 2009 | CCS | Emulating emulation-resistant malware. | Min Gyung Kang, Heng Yin, Steve Hanna, Stephen McCamant, Dawn Song |
| 2009 | ISSTA | Loop-extended symbolic execution on binary programs. | Prateek Saxena, Pongsin Poosankam, Stephen McCamant, Dawn Song |
| 2009 | PLDI | Measuring channel capacity to distinguish undue influence. | James Newsome, Stephen McCamant, Dawn Song |
| 2008 | PLDI | Quantitative information flow as network flow capacity. | Stephen McCamant, Michael D. Ernst |
| 2007 | PLDI | A simulation-based proof technique for dynamic information flow. | Stephen McCamant, Michael D. Ernst |
| 2006 | ISSTA | Inference and enforcement of data structure consistency specifications. | Brian Demsky, Michael D. Ernst, Philip J. Guo, Stephen McCamant, Jeff H. Perkins, Martin C. Rinard |
| 2006 | ISSTA | Dynamic inference of abstract types. | Philip J. Guo, Jeff H. Perkins, Stephen McCamant, Michael D. Ernst |
| 2004 | ECOOP | Early Identification of Incompatibilities in Multi-component Upgrades. | Stephen McCamant, Michael D. Ernst |