7 citations · 10 across the 7 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.PL2026
Transformers for Program Termination
Yoav Alon, Cristina David
Determining whether a program terminates is a core challenge in program analysis with direct implications for correctness, verification, and security. We investigate whether transf…
cs.SE2026
Validated Code Translation for Projects with External Libraries
Hanliang Zhang, Arindam Sharma, Cristina David +5
Large Language Models (LLMs) have shown promise for program translation, particularly for migrating systems code to memory-safe languages such as Rust. However, existing approaches…