1.1k citations · 1.2k across the 14 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
cs.PL2019★ 3 cited
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…
cs.PL2019★ 1 cited
Using human-in-the-loop synthesis to author functional reactive programs
Julie L Newcomb, Rastislav Bodik
Programs that respond to asynchronous events are challenging to write; they are difficult to reason about and tricky to test and debug. Because these programs can have a huge space…
cs.CR2019★ 32 cited
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…