Write a Blog >>
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.

Conference Day
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 ChaudhuriRice University
10:50
25m
Talk
DemoMatch: API Discovery from Demonstrations
PLDI Research Papers
Kuat YessenovMIT, Ivan KurajMIT CSAIL, USA, Armando Solar-LezamaMIT CSAIL
Media Attached
11:15
25m
Talk
Similarity of Binaries through re-Optimization
PLDI Research Papers
Yaniv DavidTechnion, Nimrod PartushTechnion, Eran YahavTechnion
11:40
25m
Talk
Synthesizing Program Input Grammars
PLDI Research Papers
Osbert BastaniStanford University, Rahul SharmaMicrosoft Research, Alex AikenStanford University, Percy LiangStanford University
Media Attached
12:05
25m
Talk
Compiling Markov Chain Monte Carlo Algorithms for Probabilistic Modeling
PLDI Research Papers
Daniel HuangHarvard University, Jean-Baptiste TristanOracle Labs, Greg MorrisettCornell University
Media Attached