Cristina David

Available identifiers

Publication	Date of Publication	Type
\textsc{Synbit}: synthesizing bidirectional programs using unidirectional sketches	2024-03-11	Paper
Ownership guided C to Rust translation	2024-02-01	Paper
Synthesising programs with non-trivial constants	2023-06-27	Paper
Counterexample guided inductive synthesis modulo theories	2023-05-26	Paper
Automated formal synthesis of provably safe digital controllers for continuous plants	2020-03-06	Paper
Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants	2017-07-11	Paper
Automatically inferring loop invariants via algorithmic learning	2016-07-27	Paper
Unrestricted Termination and Non-termination Arguments for Bit-Vector Programs	2016-04-26	Paper
Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs	2016-04-26	Paper
Bi-Abduction with Pure Properties for Specification Inference	2015-01-12	Paper
Enhancing modular OO verification with separation logic	2014-09-12	Paper
Model and Proof Generation for Heap-Manipulating Programs	2014-04-16	Paper
Automated verification of shape, size and bag properties via user-defined predicates in separation logic	2012-07-20	Paper
A Specification Logic for Exceptions and Beyond	2010-10-04	Paper
Automated Verification of Shape and Size Properties Via Separation Logic	2008-04-04	Paper

This page was built for person: Cristina David