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.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Projects
- 4 Active
-
UF160079-University Research Fellowships 2017: Additional Research Expenses
1/07/22 → 30/06/23
Project: Research
-
-
-
Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches
Yamaguchi, M., Matsuda, K., David, C. & Wang, M., 20 Oct 2021, ACM on Programming Languages: OOPSLA. OOPSLA ed. Association for Computing Machinery (ACM), Vol. 5. p. 1-31 31 p. 105. (Proceedings of the ACM on Programming Languages).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open AccessFile9 Downloads (Pure) -
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 AccessFile93 Downloads (Pure) -
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 AccessFile15 Citations (Scopus)45 Downloads (Pure)