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 | ![]() |
![]() |