132 citations · 182 across the 19 of their papers we have counts for
4 papers · 1 filter
Generating Complex Code Analyzers from Natural Language Questions
Amirmohammad Nazari, Sadra Sabouri, Wang Bill Zhu +3
Many software development tasks, such as implementing features and fixing bugs, begin with developers posing questions about a codebase. However, answering questions about codebase…
Reusing Legacy Code in WebAssembly: Key Challenges of Cross-Compilation and Code Semantics Preservation
Sara Baradaran, Liyan Huang, Mukund Raghothaman +1
WebAssembly (Wasm) has emerged as a powerful technology for executing high-performance code and reusing legacy code in web browsers. With its increasing adoption, ensuring the reli…
Data-Driven Synthesis of Provably Sound Side Channel Analyses
Jingbo Wang, Chungha Sung, Mukund Raghothaman +1
We propose a data-driven method for synthesizing a static analyzer to detect side-channel information leaks in cryptographic software. Compared to the conventional way of manually…
SWIM: Synthesizing What I Mean
Mukund Raghothaman, Yi Wei, Youssef Hamadi
Modern programming frameworks come with large libraries, with diverse applications such as for matching regular expressions, parsing XML files and sending email. Programmers often…