[pl-seminar] Video abstract for ou PLDI paper

[← Prev] [Date] [Next →]

[← Prev] [Thread] [Next →]

[pl-seminar] Video abstract for ou PLDI paper

Date:	Sun, 10 May 2020 18:25:44 +0000
From:	Qinheping HU <qhu28@xxxxxxxx>
Subject:	[pl-seminar] Video abstract for ou PLDI paper

Hi,

We filmed a 1-min video abstract for our pldi paper Exact and Approximate Methods for Proving Unrealizability of Syntax-Guided Synthesis Problems to advertise our talk. Here is the link to the video https://drive.google.com/file/d/1Ep4M1SWeL47DAZUSw07vT-GrdzyNQdG5/view.

We would love to hear what you think of it.

Best,

Qinheping Hu

[← Prev in Thread]	Current Thread	[Next in Thread→]
[pl-seminar] Video abstract for ou PLDI paper, Qinheping HU <=

Previous by Date:	Re: [pl-seminar] Organizing a talk series in our madpl seminar this summer, Loris D'Antoni
Next by Date:	[pl-seminar] WIT - I will survive, ZI WANG
Previous by Thread:	[pl-seminar] Calvinâs Defense, Calvin Smith
Next by Thread:	[pl-seminar] Virtual seminar: Adrian Sampson, Aws Albarghouthi
Indexes:	[Date] [Thread]