7 citations · 9 across the 3 of their papers we have counts for
3 papers
cs.PL2016
Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples
Yu Feng, Ruben Martins, Jacob Van Geffen +2
This paper presents an example-driven synthesis technique for automating a large class of data preparation tasks that arise in data science. Given a set of input tables and an out-…
cs.SE2016★ 2 cited
Type-Directed Code Reuse using Integer Linear Programming
Yuepeng Wang, Yu Feng, Ruben Martins +3
In many common scenarios, programmers need to implement functionality that is already provided by some third party library. This paper presents a tool called Hunter that facilitate…
cs.SE2014★ 7 cited
Incremental Bounded Model Checking for Embedded Software (extended version)
Peter Schrammel, Daniel Kroening, Martin Brain +3
Program analysis is on the brink of mainstream in embedded systems development. Formal verification of behavioural requirements, finding runtime errors and automated test case gene…