Program Synthesis, Marktoberdorf Summer School, Aug 2013
Synthesis for Online Education, ExCAPE Summer School, June 2013
Delivered
Distraction:
Biological Synthesis
[ppt], RiSE Group All-hands Meeting, April 2013
Synthesis for Intelligent Tutoring Systems
[ppt
|video], ExCAPE Webinar Series, Jan 2013
End User Programming and Intelligent Tutoring Systems
[ppt],
Distinguished Lecture Series at UC-Berkeley, Fall 2012
Synthesis from Examples: Interaction Models and Algorithms
[ppt],
Invited Talk at SYNASC 2012
Dimensions in Synthesis
[Lecture 1(ppt,
pdf)],
[Lecture 2(ppt,
pdf)],
[Lecture 3(ppt,
pdf)],
Lectures at Summer School on Formal Methods 2012
Synthesis from Examples
[pdf],
Keynote at WAMBSE 2012
Usable Synthesis
[ppt],
Invited Talk at Usable Verification Workshop 2010
Dimensions in Program Synthesis
[ppt],
Invited Tutorial at FMCAD 2010
Program Synthesis for Automating Education
[ppt],
Keynote at AVM 2010
Dimensions in Program Synthesis
[ppt],
Invited Talk at PPDP 2010
The Fixpoint Brush in the Art of Invariant Generation
[ppt],
Invited Talk at WING 2010
Component Based Synthesis
[ppt],
Dagstuhl Seminar on Software Synthesis
(December 2009)
The Reachability-Bound Problem
[ppt],
Invited Talk at FOPARA 2009
Art of Invariant Generation applied to Symbolic Bound Computation
[Lecture 1(ppt,
pdf,
video,
audio)],
[Lecture 2(ppt,
pdf,
video,
audio)],
[Lecture 3(ppt,
pdf,
video,
audio)],
[Assignment (pdf)],
Lectures at Oregon Summer School 2009
The Art of Invariant Generation for Symbolic Loop Bound Analysis
[ppt],
Invited Talk at CAV 2009
Logical Abstract Interpretation
[ppt],
Lectures in a class on Program Analysis and Verification at IISc-Bangalore (2007) and UCLA (2008)
Program Verification using Probabilistic Techniques
[ppt],
Invited Talk at Workshop on Verified Software: Tools, Techniques, and Experiments, Floc 2006
Random Interpretation,
[ppt],
Smaller version of Job-interview talk, also given at UW/MSR Summer Institute on Trends in Testing: Theory, Techniques and Tools, 2004