| 07 Jun 2022 | Aarti Gupta | Formal Verification of Distributed Network Control Planes |  |
 |
| 10 May 2022 | Aseem Rastogi | Proof-oriented Programming in F* | |
|
| 05 Apr 2022 | Nathanaël Fijalkow | Scaling Neural Program Synthesis with Distribution-based Search | |
|
| 01 Mar 2022 | Peter Schrammel | Parallel Bug-finding in Concurrent Programs via Reduced Interleaving Instances | |
|
| 01 Feb 2022 | Ramanathan Thinniyam | Context-bounded liveness verification of multithreaded shared-memory programs | |
|
| 04 Jan 2022 | Rohan Bavishi | Program Synthesis for Data Science | |
|
| 07 Dec 2021 | Ranjit Jhala | Refinement Types for Secure Web Applications | |
|
| 02 Nov 2021 | Lucas Cordeiro | Exploiting the SAT/SMT Revolution for Automated Software Verification | |
|
| 05 Oct 2021 | Suguman Bansal | Reactive synthesis from Quantitative Constraints: An Automata Approach | |
|
| 07 Sep 2021 | Sorav Bansal | Automatic BlackBox Equivalence Checking | |
|
| 04 Aug 2021 | Grigory Fedyukovich | Constrained Horn Clauses for Verification and Synthesis | |
|