134 citations · 776 across the 124 of their papers we have counts for
5 papers · 1 filter
Generative Compilation: On-the-Fly Compiler Feedback as AI Generates Code
Niels Mündler-Sasahara, Hristo Venev, Dawn Song +2
Languages with rich static semantics, such as Rust, provide stronger guarantees for AI-generated code, but their strictness makes generation more difficult. Off-the-shelf compilers…
Modular Synthesis of Efficient Quantum Uncomputation
Hristo Venev, Timon Gehr, Dimitar Dimitrov +1
A key challenge of quantum programming is uncomputation: the reversible deallocation of qubits. And while there has been much recent progress on automating uncomputation, state-of-…
zkay v0.2: Practical Data Privacy for Smart Contracts
Nick Baumann, Samuel Steffen, Benjamin Bichsel +2
Recent work introduces zkay, a system for specifying and enforcing data privacy in smart contracts. While the original prototype implementation of zkay (v0.1) demonstrates the feas…
Learning a Static Analyzer from Data
Pavol Bielik, Veselin Raychev, Martin Vechev
To be practically useful, modern static analyzers must precisely model the effect of both, statements in the programming language as well as frameworks used by the program under an…
Optimal Learning of Specifications from Examples
Dana Drachsler-Cohen, Martin Vechev, Eran Yahav
A fundamental challenge in synthesis from examples is designing a learning algorithm that poses the minimal number of questions to an end user while guaranteeing that the target hy…