IARCS Verification Seminar Series


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