Cristina David

Available identifiers

zbMath Open david.cristinaMaRDI QIDQ436397

List of research outcomes

Publication	Date of Publication	Type
\textsc{Synbit}: synthesizing bidirectional programs using unidirectional sketches	2024-03-11	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
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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Cristina David