Projects per year
Personal profile
Research interests
Programming languages, software verification, program synthesis.
Please check my personal webpage for more information.
Structured keywords and research groupings
- Programming Languages
Fingerprint
Dive into the research topics where Cristina David is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 12 Similar Profiles
Network
Recent external collaboration on country level. Dive into details by clicking on the dots or
Projects
- 1 Active
Research output
-
Automated Formal Synthesis of Provably Safe Digital Controllers for Continuous Plants
Abate, A., Bessa, I., Cordeiro, L., David, C., Kesseli, P., Kroening, D. & Polgreen, E., 6 Dec 2019, In: Acta Informatica. 57 (2020), p. 223–244 22 p.Research output: Contribution to journal › Article (Academic Journal) › peer-review
Open AccessFile -
Counterexample Guided Inductive Synthesis Modulo Theories
Abate, A., David, C., Kesseli, P., Kroening, D. & Polgreen, E., 18 Jul 2018, Computer Aided Verification. Chockler, H. & Weissenbacher, G. (eds.). Springer Nature, p. 270-288 19 p. (Lecture Notes in Computer Science ; vol. 10981).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open AccessFile -
Program Synthesis for Program Analysis
David, C., Kesseli, P., Kroening, D. & Lewis, M., 1 Jun 2018, In: ACM Transactions of Programming Languages and Systems. 40, 2, p. 1-45 5.Research output: Contribution to journal › Article (Academic Journal) › peer-review
Open AccessFile