Cristina David

zbMath Opendavid.cristinaMaRDI QIDQ436397

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
\textsc{Synbit}: synthesizing bidirectional programs using unidirectional sketches Formal Methods in System Design	2024-03-11	Paper
Ownership guided C to Rust translation	2024-02-01	Paper
Synthesising programs with non-trivial constants Journal of Automated Reasoning	2023-06-27	Paper
Counterexample guided inductive synthesis modulo theories Computer Aided Verification	2023-05-26	Paper
Automated formal synthesis of provably safe digital controllers for continuous plants Acta Informatica	2020-03-06	Paper
Sound and automated synthesis of digital stabilizing controllers for continuous plants Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control	2017-07-11	Paper
Automatically inferring loop invariants via algorithmic learning Mathematical Structures in Computer Science	2016-07-27	Paper
Unrestricted termination and non-termination arguments for bit-vector programs Programming Languages and Systems	2016-04-26	Paper
Propositional reasoning about safety and termination of heap-manipulating programs Programming Languages and Systems	2016-04-26	Paper
Bi-Abduction with Pure Properties for Specification Inference Programming Languages and Systems	2015-01-12	Paper
Enhancing modular OO verification with separation logic Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2014-09-12	Paper
Model and proof generation for heap-manipulating programs Programming Languages and Systems	2014-04-16	Paper
Automated verification of shape, size and bag properties via user-defined predicates in separation logic Science of Computer Programming	2012-07-20	Paper
A specification logic for exceptions and beyond Automated Technology for Verification and Analysis	2010-10-04	Paper
Automated Verification of Shape and Size Properties Via Separation Logic Lecture Notes in Computer Science	2008-04-04	Paper

Research outcomes over time

This page was built for person: Cristina David