David, Cristina
- Towards Translating Real-World Code with LLMs: A Study of Translating to Rust
2024/05/19 by Hasan Ferit Enişer, Eniser, Hasan Ferit, Hanliang Zhang +13 · 20 citations
Arts and Humanities · Computer Science · Social Sciences · #Artificial Intelligence in Law #FOS: Computer and information sciences #Natural Language Processing Techniques #Software Engineering (cs.SE) #Translation Studies and Practices
- Ownership guided C to Rust translation
2023/03/18 by Hanliang Zhang, Zhang, Hanliang, Cristina C. David +5 · 11 citations
Computer Science · #FOS: Computer and information sciences #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL) #Security and Verification in Computing #Software Engineering (cs.SE) #Software Testing and Debugging Techniques
- Scalable, Validated Code Translation of Entire Projects using Large Language Models
2024/12/11 by Hanliang Zhang, Cristina C. David, Zhang, Hanliang +7 · 9 citations
Computer Science · #Natural Language Processing Techniques #Model-Driven Software Engineering Techniques #Topic Modeling
- Automated Formal Synthesis of Digital Controllers for State-Space\n Physical Plants
2017/05/02 by Alessandro Abate, Abate, Alessandro, Iury Bessa +13 · 2 citations
Computer Science · #Embedded Systems Design Techniques #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Modeling and Simulation Systems #Systems and Control (eess.SY) #electronic engineering #information engineering
- Assessing Correctness in LLM-Based Code Generation via Uncertainty Estimation
2025/02/17 by Arindam Sharma, Cristina David, Sharma, Arindam +1 · 4 citations
Computer Science · #Natural Language Processing Techniques #Software Engineering Research #Software Testing and Debugging Techniques
- Enhancing SQL Query Generation with Neurosymbolic Reasoning
2024/08/25 by Princis, Henrijs, David, Cristina, Mycroft, Alan · 2 citations
#Artificial Intelligence (cs.AI) #Databases (cs.DB) #FOS: Computer and information sciences #I.2 #Software Engineering (cs.SE)
- Cognacy Queries over Dependence Graphs for Transparent Visualisations
2024/03/07 by Joseph Bond, Bond, Joseph, Cristina David +7 · 1 voice · 1 citation
Computer Science · #FOS: Computer and information sciences #Programming Languages (cs.PL) #cs.PL