News
Synthesizing Program Input Grammars
Written on 11.05.2017 11:32 by Alessio Gambi
The paper for the next session is:
O. Bastani, R. Sharma, A. Aiken and P. Liang
"Synthesizing Program Input Grammars,"
in Proceedings of the Conference on Programming Language Design and Implementation (PLDI17), to appear
Extended version with proof: