PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM (series) / PLDI 2017 (series) / PLDI Research Papers /
DemoMatch: API Discovery from Demonstrations
Mon 19 Jun 2017 10:50 - 11:15 at Actes, Civil Engineering - Learning and Probabilistic Chair(s): Swarat Chaudhuri
We introduce DemoMatch, a tool for API discovery that allows the user to discover how to implement functionality using a software framework by demonstrating the functionality in existing applications built with the same framework. \DemoMatch matches the demonstrations against a database of execution traces called \Semeru and generates code snippets explaining how to use the functionality. We evaluated \DemoMatch on several case studies involving Java Swing and Eclipse RCP.
Mon 19 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 19 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:50 - 12:30 | Learning and ProbabilisticPLDI Research Papers at Actes, Civil Engineering Chair(s): Swarat Chaudhuri Rice University | ||
10:50 25mTalk | DemoMatch: API Discovery from Demonstrations PLDI Research Papers Media Attached | ||
11:15 25mTalk | Similarity of Binaries through re-Optimization PLDI Research Papers | ||
11:40 25mTalk | Synthesizing Program Input Grammars PLDI Research Papers Osbert Bastani Stanford University, Rahul Sharma Microsoft Research, Alex Aiken Stanford University, Percy Liang Stanford University Media Attached | ||
12:05 25mTalk | Compiling Markov Chain Monte Carlo Algorithms for Probabilistic Modeling PLDI Research Papers Daniel Huang Harvard University, Jean-Baptiste Tristan Oracle Labs, Greg Morrisett Cornell University Media Attached | ||