Scholar
Cristina David
Google Scholar ID: vYMFFRgAAAAJ
University of Bristol
Software verification
Program synthesis
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
655
H-index
14
i10-index
20
Publications
20
Co-authors
0
Publications
7 items
Using Semantic Distance to Estimate Uncertainty in LLM-Based Code Generation
2026
Cited
0
Literate Execution
2026
Cited
0
Transformers for Program Termination
2026
Cited
0
Validated Code Translation for Projects with External Libraries
2026
Cited
0
TreeCoder: Systematic Exploration and Optimisation of Decoding and Constraints for LLM Code Generation
2025
Cited
0
Quantifying the benefits of code hints for refactoring deprecated Java APIs
arXiv.org · 2024
Cited
0
Towards Translating Real-World Code with LLMs: A Study of Translating to Rust
arXiv.org · 2024
Cited
14
