| 2026 | SP | Agentic Concolic Execution. | Zhengxiong Luo, Huan Zhao, Dylan Wolff, Cristian Cadar, Abhik Roychoudhury |
| 2025 | EASE | Understanding API Usage and Testing: An Empirical Study of C Libraries. | Ahmed Zaki, Cristian Cadar |
| 2025 | ICST | Code, Test, and Coverage Evolution in Mature Software Systems: Changes Over the Past Decade. | Thomas Bailey, Cristian Cadar |
| 2025 | ICST | Scalable SMT Sampling for Floating-Point Formulas via Coverage-Guided Fuzzing. | Manuel Carrasco, Cristian Cadar, Alastair F. Donaldson |
| 2025 | SANER | Generating and Contributing Test Cases for C Libraries from Client Code: A Case Study. | Ahmed Zaki, Arindam Sharma, Cristian Cadar |
| 2023 | ISSTA | GrayC: Greybox Fuzzing of Compilers and Analysers for C. | Karine Even-Mendoza, Arindam Sharma, Alastair F. Donaldson, Cristian Cadar |
| 2023 | ISSTA | KDAlloc: The KLEE Deterministic Allocator: Deterministic Memory Allocation during Symbolic Execution and Test Case Replay. | Daniel Schemmel, Julian Bning, Frank Busse, Martin Nowack, Cristian Cadar |
| 2022 | ECOOP | A Deterministic Memory Allocator for Dynamic Symbolic Execution. | Daniel Schemmel, Julian Bning, Frank Busse, Martin Nowack, Cristian Cadar |
| 2022 | ISSTA | SnapFuzz: high-throughput fuzzing of network applications. | Anastasios Andronidis, Cristian Cadar |
| 2022 | ISSTA | Combining static analysis error traces with dynamic symbolic execution (experience paper). | Frank Busse, Pritam M. Gharat, Cristian Cadar, Alastair F. Donaldson |
| 2020 | ISSTA | Running symbolic execution forever. | Frank Busse, Martin Nowack, Cristian Cadar |
| 2019 | ASPLOS | MVEDSUA: Higher Availability Dynamic Software Updates via Multi-Version Execution. | Lus Pina, Anastasios Andronidis, Michael Hicks, Cristian Cadar |
| 2019 | PLDI | Computing summaries of string loops in C for better testing and refactoring. | Timotej Kapus, Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, Cristian Cadar |
| 2019 | TAP | Constraints in Dynamic Symbolic Execution: Bitvectors or Integers? | Timotej Kapus, Martin Nowack, Cristian Cadar |
| 2018 | ICSE | Chopped symbolic execution. | David Trabish, Andrea Mattavelli, Noam Rinetzky, Cristian Cadar |
| 2017 | ISSTA | Accelerating array constraints in symbolic execution. | David Mitchel Perry, Andrea Mattavelli, Xiangyu Zhang, Cristian Cadar |
| 2017 | USENIX | A DSL Approach to Reconcile Equivalent Divergent Program Executions. | Lus Pina, Daniel Grumberg, Anastasios Andronidis, Cristian Cadar |
| 2016 | ICSE | Analysing the program analyser. | Cristian Cadar, Alastair F. Donaldson |
| 2016 | ICSE | Shadow of a doubt: testing for divergences between software versions. | Hristina Palikareva, Tomasz Kuchta, Cristian Cadar |
| 2016 | ICST | Symbooglix: A Symbolic Execution Engine for Boogie Programs. | Daniel Liew, Cristian Cadar, Alastair F. Donaldson |
| 2015 | ASPLOS | VARAN the Unbelievable: An Efficient N-version Execution Framework. | Petr Hosek, Cristian Cadar |
| 2015 | OOPSLA | Towards deployment-time dynamic analysis of server applications. | Lus Pina, Cristian Cadar |
| 2014 | ICSE | Shadow symbolic execution for better testing of evolving software. | Cristian Cadar, Hristina Palikareva |
| 2014 | ISSTA | Covrig: a framework for the analysis of code, test, and coverage evolution in real software. | Paul Dan Marinescu, Petr Hosek, Cristian Cadar |
| 2013 | CAV | Multi-solver Support in Symbolic Execution. | Hristina Palikareva, Cristian Cadar |
| 2013 | ICSE | Safe software updates via multi-version execution. | Petr Hosek, Cristian Cadar |
| 2013 | ICST | Constraints in Software Testing, Verification and Analysis CSTVA'2013. | Cristian Cadar, Frdric Dadeau |
| 2012 | ICSE | make test-zesti: A symbolic execution solution for improving regression testing. | Paul Dan Marinescu, Cristian Cadar |
| 2012 | KR | Efficient Argumentation for Medical Decision-Making. | Robert Craven, Francesca Toni, Cristian Cadar, Adrian Hadad, Matthew Williams |
| 2012 | RV | Symbolic Execution. | Cristian Cadar, Koushik Sen |
| 2011 | EuroSys | Symbolic crosschecking of floating-point and SIMD code. | Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly |
| 2011 | ICCCN | Rule-Based Verification of Network Protocol Implementations Using Symbolic Execution. | JaeSeung Song, Tiejun Ma, Cristian Cadar, Peter R. Pietzuch |
| 2011 | ICSE | Symbolic execution for software testing in practice: preliminary assessment. | Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina S. Pasareanu, Koushik Sen, Nikolai Tillmann, Willem Visser |
| 2011 | ISSTA | High coverage testing of Haskell programs. | Tristan Oliver Richard Allwood, Cristian Cadar, Susan Eisenbach |
| 2008 | OSDI | KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. | Cristian Cadar, Daniel Dunbar, Dawson R. Engler |
| 2008 | SP | Preventing Memory Error Exploits with WIT. | Periklis Akritidis, Cristian Cadar, Costin Raiciu, Manuel Costa, Miguel Castro |
| 2008 | TACAS | RWset: Attacking Path Explosion in Constraint-Based Test Generation. | Peter Boonstoppel, Cristian Cadar, Dawson R. Engler |
| 2006 | CCS | EXE: automatically generating inputs of death. | Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler |
| 2006 | SP | Automatically Generating Malicious Disks using Symbolic Execution. | Junfeng Yang, Can Sar, Paul Twohey, Cristian Cadar, Dawson R. Engler |
| 2005 | OOPSLA | Exploring the acceptability envelope. | Martin C. Rinard, Cristian Cadar, Huu Hai Nguyen |
| 2004 | ACSAC | A Dynamic Technique for Eliminating Buffer Overflow Vulnerabilities (and Other Memory Errors). | Martin C. Rinard, Cristian Cadar, Daniel Dumitran, Daniel M. Roy, Tudor Leu |
| 2004 | OSDI | Enhancing Server Availability and Security Through Failure-Oblivious Computing. | Martin C. Rinard, Cristian Cadar, Daniel Dumitran, Daniel M. Roy, Tudor Leu, William S. Beebee |