34 citations · 71 across the 5 of their papers we have counts for
5 papers
Automated Transpilation of Imperative to Functional Code using Neural-Guided Program Synthesis (Extended Version)
Benjamin Mariano, Yanju Chen, Yu Feng +2
While many mainstream languages such as Java, Python, and C# increasingly incorporate functional APIs to simplify programming and improve parallelization/performance, there are no…
Falx: Synthesis-Powered Visualization Authoring
Chenglong Wang, Yu Feng, Rastislav Bodik +3
Modern visualization tools aim to allow data analysts to easily create exploratory visualizations. When the input data layout conforms to the visualization design, users can easily…
Visualization by Example
Chenglong Wang, Yu Feng, Rastislav Bodik +2
While visualizations play a crucial role in gaining insights from data, generating useful visualizations from a complex dataset is far from an easy task. Besides understanding the…
Precise Attack Synthesis for Smart Contracts
Yu Feng, Emina Torlak, Rastislav Bodik
Smart contracts are programs running on top of blockchain platforms. They interact with each other through well-defined interfaces to perform financial transactions in a distribute…
Program Synthesis using Conflict-Driven Learning
Yu Feng, Ruben Martins, Osbert Bastani +1
We propose a new conflict-driven program synthesis technique that is capable of learning from past mistakes. Given a spurious program that violates the desired specification, our s…