Personal profile
Research interests
Programming languages, software verification, program synthesis.
Please check my personal webpage for more information.
Research Groups and Themes
- 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
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Research output
-
Cognacy Queries over Dependence Graphs for Transparent Visualisations
Bond, J. E. C., David, C., Nguyen, M. H., Orchard, D. & Perera, R. N. T., 1 May 2025, Programming Languages and Systems: 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I. Vafeiadis, V. (ed.). Springer, p. 144-171 28 p. (Lecture Notes in Computer Science (LNCS); vol. 15694).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open Access -
Enhancing SQL Query Generation with Neurosymbolic Reasoning
Princis, H., David, C. & Mycroft, A., 11 Apr 2025, AAAI-25 Technical Tracks 19. Walsh, T., Shah, J. & Kolter, Z. (eds.). 19 ed. AAAI Press, p. 19959-19968 10 p. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 39, no. 19).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open AccessFile2 Citations (Scopus)8444 Downloads (Pure) -
Integrating Large Language Models and Reinforcement Learning for Non-Linear Reasoning
Alon, Y. & David, C., 1 Jul 2025, FSE '25: ACM International Conference on the Foundations of Software Engineering (FSE). Association for Computing Machinery, p. 957-977 21 p. FSE044. ( Proceedings of the ACM on Software Engineering; vol. 2, no. FSE).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open AccessFile15 Downloads (Pure)
-
Compositional memory safety through verified compilation of Rust
David, C. (Principal Investigator)
1/01/25 → 31/12/26
Project: Research
-
Program synthesis for modern, memory-safe, programming languages
David, C. (Principal Investigator)
27/06/23 → 26/06/26
Project: Research, Parent
-
Program synthesis for modern, memory-safe, programming languages
David, C. (Principal Investigator)
27/06/23 → 26/06/26
Project: Research