13 citations · 42 across the 13 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.SE2024
Inductive Predicate Synthesis Modulo Programs (Extended)
Scott Wesley, Maria Christakis, Jorge A. Navas +3
A growing trend in program analysis is to encode verification conditions within the language of the input program. This simplifies the design of analysis tools by utilizing off-the…
cs.SE2024★ 7 cited
Towards Translating Real-World Code with LLMs: A Study of Translating to Rust
Hasan Ferit Eniser, Hanliang Zhang, Cristina David +5
Large language models (LLMs) show promise in code translation - the task of translating code written in one programming language to another language - due to their ability to write…