IARCS Verification Seminar Series

12 Jun 2025	Shahaf Bassan	“Formal XAI”: Can we formally explain ML models?
20 May 2025	Sreejith A V	Active learning of deterministic one-counter automata
08 Apr 2025	Nikhil Swamy	Pulse: Proof-oriented Programming with Concurrent Separation Logic in F*
04 Mar 2025	Alastair Donaldson	Taking Back Control: Formally Modelling a Compiler Intermediate Representation for GPU Computing
07 Jan 2025	S P Suresh	Insecurity problem for assertions
15 Oct 2024	Jan Křetínský	Learning and Guessing Winning Policies in LTL Synthesis via Semantics
06 Aug 2024	Prakash Saivasan	Verifying Programs in Weak Memory Models with Persistency
04 Jun 2024	Kartik Nagar	Specifying and Verifying Correctness of Mergeable Replicated Data Types
07 May 2024	Sumanth Prabhu	Weakest Precondition Inference for Linear Array Programs
02 Apr 2024	Azadeh Farzan	Coarser Equivalences for Causal Concurrency
19 Mar 2024	Suman Sadhukhan	Bidding Games on Graphs - In theory and in practice
23 Jan 2024	Thejaswini Raghavan	Solving Rabin games using Colourful Universal Trees
28 Nov 2023	Madhusudan Parthasarathy	Learning Logical Expressions
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