ExCAPE Annual Report of Activities April 2013 to MarchOverview

First Page		Document Content
Date: 2014-08-26 15:33:58 Electronic design automation Science Applied mathematics Digital electronics Formal methods Model-based design Program synthesis High-level synthesis Synthesizer Electronic engineering Formal sciences Cybernetics		ExCAPE Annual Report of Activities April 2013 to MarchOverview Add to Reading List Source URL: excape.cis.upenn.edu Download Document from Source Website File Size: 373,61 KB Share Document on Facebook

	Program Synthesis Program Synthesis Sumit Gulwani Microsoft Research DocID: 1xVmt - View Document
	Solving (Quantified) Horn Constraints for Program Verification and Synthesis Andrey Rybalchenko (Microsoft Research) September 30, 2015 DocID: 1xVeX - View Document
	Synthetic Datasets for Neural Program Synthesis Richard Shin 1 Neel Kant 1 2 Kavi Gupta 1 Christopher Bender 1 2 Brandon Trabucco 1 2 Rishabh Singh 3 Dawn SongIntroduction DocID: 1xUXm - View Document
	Programming Languages and Machine Learning Martin Vechev DeepCode.ai and ETH Zurich PL Research: Last 10 years (sample) • (Semi-) Automated Program Synthesis DocID: 1xUWv - View Document
	Improving Neural Program Synthesis with Inferred Execution Traces Richard Shin 1 * Illia Polosukhin 2 Dawn Song 1 1. Introduction DocID: 1xUUA - View Document