84 citations · 254 across the 31 of their papers we have counts for
4 papers · 1 filter
CRUST-Bench: A Comprehensive Benchmark for C-to-safe-Rust Transpilation
Anirudh Khatry, Robert Zhang, Jia Pan +4
C-to-Rust transpilation is essential for modernizing legacy C code while enhancing safety and interoperability with modern Rust ecosystems. However, no dataset currently exists for…
Coeditor: Leveraging Contextual Changes for Multi-round Code Auto-editing
Jiayi Wei, Greg Durrett, Isil Dillig
Developers often dedicate significant time to maintaining and refactoring existing code. However, most prior work on generative models for code focuses solely on creating new code,…
TypeT5: Seq2seq Type Inference using Static Analysis
Jiayi Wei, Greg Durrett, Isil Dillig
There has been growing interest in automatically predicting missing type annotations in programs written in Python and JavaScript. While prior methods have achieved impressive accu…
Failure-Directed Program Trimming (Extended Version)
Kostas Ferles, Valentin Wüstholz, Maria Christakis +1
This paper describes a new program simplification technique called program trimming that aims to improve the scalability and precision of safety checking tools. Given a program ${\…