Write a Blog >>
Mon 19 Jun 2017 11:40 - 12:05 at Actes, Civil Engineering - Learning and Probabilistic Chair(s): Swarat Chaudhuri

We present an algorithm for synthesizing a context-free grammar encoding the language of valid program inputs from a set of input examples and blackbox access to the program. Our algorithm addresses shortcomings of existing grammar inference algorithms, which both severely overgeneralize and are prohibitively slow. Our implementation, GLADE, leverages the grammar synthesized by our algorithm to fuzz test programs with structured inputs. We show that GLADE substantially increases the incremental coverage on valid inputs compared to two baseline fuzzers.

Mon 19 Jun
Times are displayed in 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 - 11:15
Talk
PLDI Research Papers
Kuat YessenovMIT, Ivan KurajMIT CSAIL, USA, Armando Solar-LezamaMIT CSAIL
Media Attached
11:15 - 11:40
Talk
PLDI Research Papers
Yaniv DavidTechnion, Nimrod PartushTechnion, Eran YahavTechnion
11:40 - 12:05
Talk
PLDI Research Papers
Osbert BastaniStanford University, Rahul SharmaMicrosoft Research, Alex AikenStanford University, Percy LiangStanford University
Media Attached
12:05 - 12:30
Talk
PLDI Research Papers
Daniel HuangHarvard University, Jean-Baptiste TristanOracle Labs, Greg MorrisettCornell University
Media Attached