[pl-seminar] Automated Synthesis of Symbolic Instruction-Encodings from I/O Samples

Mailing List Archives Authenticated access	UW Madison Computer Sciences Department Computer Systems Lab

Date:	Mon, 09 May 2016 08:39:36 -0500
From:	Venkatesh Srinivasan <venk@xxxxxxxxxxx>
Subject:	[pl-seminar] Automated Synthesis of Symbolic Instruction-Encodings from I/O Samples

Hello everyone,

Tomorrow for PL seminar, I will be presenting the (slightly older) paper on synthesizing instruction encodings from I/O samples. http://theory.stanford.edu/~ataly/Papers/pldi12.pdf

This work was done by Patrice Godefroid and Ankur Taly, and appeared in PLDI 2012.

Usual time and place---noon at CS 4310.

See you there!

Thanks,

Venkatesh

[← Prev in Thread]	Current Thread	[Next in Thread→]
[pl-seminar] Automated Synthesis of Symbolic Instruction-Encodings from I/O Samples, Venkatesh Srinivasan <=

Previous by Date:	[pl-seminar] No speaker tomorrow, Loris D'Antoni
Next by Date:	[pl-seminar] CS536 compilers grading party, Loris D'Antoni
Previous by Thread:	[pl-seminar] ASE Practice Talk -- Aug. 30 (Tuesday) @ 3pm in 5331, Peter Ohmann
Next by Thread:	[pl-seminar] Call for Scholarship Applications: Programming Languages Mentoring Workshop - a POPL workshop, Loris D'Antoni
Indexes:	[Date] [Thread]

Mailing List Archives