Cristina David

Identifiers

No identifiers captured yet.

Papers (12)

1. Using Semantic Distance to Estimate Uncertainty in LLM-Based Code Generation cs.SE · 2026 · author #3
2. Literate Execution cs.PL · 2026 · author #3
3. TreeCoder: Systematic Exploration and Optimisation of Decoding and Constraints for LLM Code Generation cs.LG · 2025 · author #3
4. Kayak: Safe Semantic Refactoring to Java Streams cs.PL · 2017 · author #1
5. Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants cs.SY · 2017 · author #5
6. Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants cs.SY · 2016 · author #5
7. Using Program Synthesis for Program Analysis cs.LO · 2015 · author #1
8. Synthesising Interprocedural Bit-Precise Termination Proofs (extended version) cs.SE · 2015 · author #2
9. Danger Invariants cs.PL · 2015 · author #1
10. Unrestricted Termination and Non-Termination Arguments for Bit-Vector Programs cs.LO · 2014 · author #1
11. Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs cs.LO · 2014 · author #1
12. Second-Order Propositional Satisfiability cs.LO · 2014 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Daniel Kroening 9 shared papers
• Matt Lewis 5 shared papers
• Pascal Kesseli 3 shared papers
• Alessandro Abate 2 shared papers
• Arindam Sharma 2 shared papers
• Dario Cattaruzza 2 shared papers
• Iury Bessa 2 shared papers
• Lucas Cordeiro 2 shared papers
• Andrew McNutt 1 shared papers
• Bj\"orn Wachter 1 shared papers
• Dominic Orchard 1 shared papers
• Elizabeth Polgreen 1 shared papers
• Henrijs Princis 1 shared papers
• Hong-Yi Chen 1 shared papers
• Jacob Pake 1 shared papers
• Joe Bond 1 shared papers
• Peter Schrammel 1 shared papers
• Roly Perera 1 shared papers
• Trevor Sseguya Muwonge 1 shared papers
• Weilin He 1 shared papers