IARCS Verification Seminar Series

10 Oct 2023	Subhajit Roy	Analysis of incomplete programs via Proof Engines and Fuzzing
14 Sep 2023	Supratik Chakraborty	Synthesizing Pareto-Optimal Interpretations for Black-Box ML Models
11 Jul 2023	Shaz Qadeer	Verification of Concurrent Programs with Civl
20 Jun 2023	Kishor Jothimurugan	Specification-Guided Reinforcement Learning
17 Apr 2023	Sharon Shoham Buchbinder	SAT-Based Invariant Inference and Its Relation to Concept Learning
14 Mar 2023	Markus Kuppe	TLA+: The Tools, The Language, and The Application
07 Feb 2023	Krishna S	Verification of Concurrent Programs under Release Acquire -- Part II
03 Jan 2023	Umang Mathur	Dynamic Data Race Prediction: Fundamentals and Advances
06 Dec 2022	Krishna S	Verification of Concurrent Programs under Release Acquire -- Part I
01 Nov 2022	Shibashis Guha	A Game of Pawns
04 Oct 2022	Mahesh Viswanathan	On Linear Time Decidability of Differential Privacy for Programs with Unbounded Inputs
06 Sep 2022	Subodh Sharma	Exploiting partial orders and symmetries in efficient analysis of message-passing concurrency
02 Aug 2022	S. Akshay	Boolean functional synthesis: A view from theory and practice
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