Cristina David

Kayak: Safe Semantic Refactoring to Java Streams

2017 · arXiv (Cornell University)

Refactorings are structured changes to existing software that leave its externally observable behaviour unchanged. Their intent is to improve readability, performance or other non-behavioural properties. State-of-the-art automatic refactoring tools are syntax-driven and, therefore, overly conservative. …

Cognacy Queries over Dependence Graphs for Transparent Visualisations

2024 · arXiv (Cornell University)

Charts, figures, and text derived from data play an important role in decision making, from data-driven policy development to day-to-day choices informed by online articles. Making sense of, or fact-checking, outputs means understanding how they …

Assessing Correctness in LLM-Based Code Generation via Uncertainty Estimation

2025 · arXiv (Cornell University)

In this work, we explore uncertainty estimation as a proxy for correctness in LLM-generated code. To this end, we adapt two state-of-the-art techniques from natural language generation -- one based on entropy and another on …