| 2025 | AAAI | Enhancing SQL Query Generation with Neurosymbolic Reasoning. | Henrijs Princis, Cristina David, Alan Mycroft |
| 2025 | ESOP | Cognacy Queries over Dependence Graphs for Transparent Visualisations. | Joseph Bond, Cristina David, Minh Nguyen, Dominic Orchard, Roly Perera |
| 2025 | SETTA | Automated Translation of Real-World Codebases: How Far Are We? | Cristina David, Hanliang Zhang, Meng Wang |
| 2023 | CAV | Ownership Guided C to Rust Translation. | Hanliang Zhang, Cristina David, Yijun Yu, Meng Wang |
| 2018 | CAV | Counterexample Guided Inductive Synthesis Modulo Theories. | Alessandro Abate, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen |
| 2017 | CAV | Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants. | Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen |
| 2016 | FM | Danger Invariants. | Cristina David, Pascal Kesseli, Daniel Kroening, Matt Lewis |
| 2015 | ESOP | Unrestricted Termination and Non-termination Arguments for Bit-Vector Programs. | Cristina David, Daniel Kroening, Matt Lewis |
| 2015 | ESOP | Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs. | Cristina David, Daniel Kroening, Matt Lewis |
| 2015 | LPAR | Using Program Synthesis for Program Analysis. | Cristina David, Daniel Kroening, Matt Lewis |
| 2014 | ESOP | Model and Proof Generation for Heap-Manipulating Programs. | Martin Brain, Cristina David, Daniel Kroening, Peter Schrammel |
| 2014 | PEPM | HIPimm: verifying granular immutability guarantees. | Andreea Costea, Asankhaya Sharma, Cristina David |
| 2013 | APLAS | Bi-Abduction with Pure Properties for Specification Inference. | Minh-Thai Trinh, Quang Loc Le, Cristina David, Wei-Ngan Chin |
| 2012 | TASE | From Verification to Specification Inference. | Wei-Ngan Chin, Cristina David |
| 2011 | FM | Structured Specifications for Better Verification of Heap-Manipulating Programs. | Cristian Gherghina, Cristina David, Shengchao Qin, Wei-Ngan Chin |
| 2011 | OOPSLA | A HIP and SLEEK verification system. | Wei-Ngan Chin, Cristina David, Cristian Gherghina |
| 2011 | OOPSLA | Immutable specifications for more concise and precise verification. | Cristina David, Wei-Ngan Chin |
| 2010 | APLAS | Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates. | Soonho Kong, Yungbum Jung, Cristina David, Bow-Yaw Wang, Kwangkeun Yi |
| 2010 | ATVA | A Specification Logic for Exceptions and Beyond. | Cristian Gherghina, Cristina David |
| 2009 | PEPM | Translation and optimization for a core calculus with exceptions. | Cristina David, Cristian Gherghina, Wei-Ngan Chin |
| 2009 | TASE | Automated Verification Using Unified Control Flows. | Cristian Gherghina, Cristina David |
| 2008 | POPL | Enhancing modular OO verification with separation logic. | Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin |
| 2007 | ICECCS | Automated Verification of Shape, Size and Bag Properties. | Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin |
| 2007 | VMCAI | Automated Verification of Shape and Size Properties Via Separation Logic. | Huu Hai Nguyen, Cristina David, Shengchao Qin, Wei-Ngan Chin |