Skip directly to: content | search

ExCAPE: Expeditions in Computer Augmented Program Engineering


Upcoming Webinars

The webinar session for the current academic year is now on recess.



Past Webinars
Steve 4 April 2016, 1pm EST:
Steve Zdancewic
Type- and Example-Directed Program Synthesis
Ufuk Topcu 7 Mar 2015
Adaptable yet provably correct autonomous systems
by Ufuk Topcu
Necmiye 1 Feb 2016
Control synthesis for large collections of dynamical systems with counting constraints
by Necmiye Ozay
Rupak 4 Jan 2016
Testing System Conformance for Cyber-Physical Systems
by Rupak Majumdar
Alex 2 Nov 2015:
STOKE: Program Optimization and Synthesis using Randomized Search
by Alex Aiken
Martin 5 Oct 2015:
Intervention and Adaptation for Enforcing Acceptability Properties
by Martin Rinard
Nate 14 Sep 2015:
Specifying and Verifying Network Behavior with NetKAT
by Nate Foster
Doron 4 May 2015:
Concurrent Control Synthesis using Knowledge
by Doron Peled
eunsuk 30 Apil 2015, 12:45 EDT:
Multi-Representational Security Analysis
by Eunsuk Kang
Yasser 30 Apil 2015, 2:00 EDT:
Secure State Estimation For Cyber Physical Systems Under Sensor Attacks:
A Satisfiability Modulo Theory Approach

by Yasser Shoukry Sakr
gustavo 29 Apil 2015:
Program Synthesis for Data Manipulation
by Gustavo Soares
Sridhar 24 Apil 2015:
Dynamic Analysis of Cyber-Physical Systems
by Parasara Sridhar Duggirala
Ute 13 April 2015:
Inductive Functional Programming
by Ute Schmid
Orna 2 March 2015:
From Reachability to Temporal Specifications in Game Theory
by Orna Kupferman
RBloem 2 Feb 2015:
Parameterized Synthesis
by Roderick Bloem
DHarel 5 Jan 2015:
Standing on the Shoulders of a Giant: One Person’s Experience of Turing’s Impact
by David Harel
Rybalchenko 1 Dec 2014:
Solving Horn Constraints for Program Verification and Synthesis
by Andrey Rybalchenko
Ruzica 3 Nov 2014:
Software Synthesis using Automated Reasoning
by Ruzica Piskac
Mehta 15 Oct 2014:
On-Demand Printable Robots
by Ankur Mehta
Smith 5 May 2014:
Automated Program Synthesis at Kestrel Institute
by Cordell Green and Doug Smith
Pavol 7 April 2014:
Synthesis of Network Updates
by Pavol Cerny
ClarkBarrett 3 Mar 2014:
The Satisfiability Revolution and the Rise of SMT
by Clark Barrett

Lafortune 3 Feb 2014:
Synthesis of Event Insertion Functions for Enforcement of Opacity Security Properties
by Stephane Lafortune
EthanJackson 6 Jan 2014:
Engineering Domain-specific Languages with Formula 2.0
by Ethan Jackson
Cleaveland 4 Nov 2013:
Generealized Synchronization Trees
by Rance Cleaveland
Parthasarathy 7 Oct 2013:
Increasing programmer productivity for building reliable programs using annotations and tactic synthesis
by Madhusudan Parthasarathy
Alur 9 Sep 2013:
Syntax Guided Synthesis
by Rajeev Alur
Dana 18 Jul 2013:
Rational Synthesis
by Dana Fisman
ASV 13 May 2013:
Platform-Based Software Synthesis and Verification Using Contracts
by Alberto Sangiovanni-Vincetelli
slides
Vechev 1 Apr 2013:
Synthesis for Concurrency
by Martin Vechev
slides
Chaudhuri 4 Mar 2013:
Program Synthesis using Smoothed Numerical Search
by Swarat Chaudhuri
slides
HadasKG 4 Feb 2013:
Synthesis and Robotics
by Hadas Kress-Gazit
slides
Gulwani 14 Jan 2013:
Synthesis for Education
by Sumit Gulwani
talk
Gulwani 3 Dec 2012:
Synthesizing Robust Systems
by Paulo Tabuada
slides
Seshia 5 Nov 2012:
Integrating Induction, Deduction and Structure for Synthesis
by Sanjit A. Seshia
slides
Vardi 1 Oct 2012:
Compositional Temporal Synthesis
by Moshe Vardi
slides
ASolar 10 Sep 2012:
Sketch Tutorial
by Armando Solar-Lezama
slides

ExCAPE: Expeditions in Computer Augmented Program Engineering NSF National Science Foundation Award CCF-1138996