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
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
-
Program synthesis for modern, memory-safe, programming languages
27/06/23 → 26/06/26
Project: Research
-
Program synthesis for modern, memory-safe, programming languages
27/06/23 → 26/06/26
Project: Research
-
Program synthesis for modern, memory-safe, programming languages
27/06/23 → 26/06/26
Project: Research, Parent
-
Synthesising Programs with Non-trivial Constants
Abate, A., Barbosa, H., Barrett, C., David, C., Kesseli, P., Kreoning, D., Polgreen, E., Reynolds, A. & Tinelli, C., 13 May 2023, In: Journal of Automated Reasoning. 67, 2, 19.Research output: Contribution to journal › Article (Academic Journal) › peer-review
Open Access -
Clinical characteristics with inflammation profiling of long COVID and association with 1-year recovery following hospitalisation in the UK: a prospective observational study
The PHOSP-COVID Collaborative Group, 1 Aug 2022, In: The Lancet Respiratory Medicine. 10, 8, p. 761-775 15 p.Research output: Contribution to journal › Article (Academic Journal) › peer-review
Open Access133 Citations (Scopus) -
Using Graph Neural Networks for Program Termination
Alon, Y. & David, C., 9 Nov 2022, (E-pub ahead of print) ESEC/FSE 2022: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Association for Computing Machinery (ACM), 12 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open AccessFile22 Downloads (Pure)