Fall 2025

Date and Time	Speaker	Title and Details
31/10/2025, 11:00am	Paul Krogmeier	Learning Domain-specific Languages and Synthesizing Axiomatizations
19/9/2025, 3:00pm	Michael Schwarz	Thread-Modular Abstract Interpretation - The Local Perspective
5/9/2025, 3:00pm	Jason Zhijingcheng Yu	Anvil: A General-Purpose Timing-Safe Hardware Description Language
29/8/2025, 3:00pm	Yintong Huo	Towards next-generation automated web development
22/8/2025, 3:00pm	Zihan Zhou	A Direct Reduction from Stochastic Parity Games to Simple Stochastic Games
15/8/2025, 3:00pm	George Pîrlea	Veil: A Framework for Automated and Interactive Verification of Transition Systems

Summer 2023

Date and Time	Speaker	Title and Details
12/5/2023, 4:30pm	Cristian Cadar	Addressing the Saturation Effect in Compiler Testing
28/4/2023	Ba Jinsheng, Zhiyu Fan, and Liu Jiahao	ICSE 2023 Dry Runs
21/4/2023	Paulius Dilkas	Synthesising Recursive Functions for First-Order Model Counting
14/4/2023	Louis Roché	Parallel processing at a very large scale, with OCaml.
31/03/2023	Chi Zhang	Automatically Testing Datalog Engines to find Optimization Bugs
24/03/2023, 3pm	Son Ho	Rust Verification by Functional Translation
17/03/2023, 3pm	Anna Latour	Solving the Identifying Code Set Problem with Grouped Independent Support
10/03/2023, 4pm	Abhik Roychoudhury	Program Repair and Automated Programming
03/03/2023, 3pm	Matthew Flatt	Sublanguages in Rhombus
17/02/2023, 3pm	Chunyang Chen	Towards Data-Driven Mobile App Visual Testing
10/02/2023, 3pm	Priyanka Golia	Fusing AI and Formal Methods for Automated Synthesis
03/02/2023, 3pm	Boyd Anderson and Martin Henz (co-author: Kok-Lim Low)	Source Academy - A Community-Developed Environment for Teaching Programming
27/01/2023, 3pm	Kiran Gopinathan	Proof Maintenance for Certified Libraries
20/01/2023, 3pm	Ken Jin	How CPython 3.11 is Speeding Up

Fall 2022

Date and Time	Speaker	Title and Details
18/11/2022	Christoph Treude	Effective Representation and Dissemination of Programming Knowledge
12/10/2022	Lindsey Kuper	Verified Causal Broadcast with Liquid Haskell
07/10/2022	Chi Zhang	Infrared: A Meta Bug Detector
30/09/2022	Justin Hsu	Data-Driven Invariant Learning for Probabilistic Programs
30/09/2022	Mate Soos	The Power of Definitions for Model Counting and Sampling
23/09/2022	Kuldeep Meel	Democratizing SAT Solving
16/09/2022	Michael Pradel	Bugs in Quantum Computing Platforms and How to Detect them Automatically
09/09/2022	Hernan Ponce de Leon	Practical Formal Verification of Concurrent Code in the 21st Century
02/09/2022	Subodh Sharma	Exploiting partial orders and symmetries in efficient analysis of message-passing concurrency
26/08/2022, 3:00pm	Akash Lal	Concurrency Unit Testing with Coyote
19/08/2022, 3:00pm	Matthew Flatt	The Racket Way

Summer 2022

Date and Time	Speaker	Title and Details
28/04/2022	Andrea Costea	CHRusty - Translating C to Safer Rust
21/04/2022, 10:30am	David Basin	Using Formal Methods to Analyze Modern Payment Protocols
18/04/2022	Amir Goharshady, HKUST	A Short Introduction to Termination Analysis of Probabilistic Programs
14/04/2022, 10:30am	Krishna S.	Verification of Concurrent Programs under Release-Acquire Concurrency
7/04/2022, 10:30am	Chuchu Fan	Fast, optimal, and guaranteed safe synthesis for autonomous systems
31/03/2022, 10:30am	Reyhaneh Jabbarvand	The Missing Piece of Test Automation Puzzle: Explainable Deep Oracles
10/03/2022, 10:30am	Ziyi Yang	A Lazy Desugaring System for Evaluating Programs with Sugars
03/03/2022, 10:30am	Azadeh Farzan	A New Approach to Recursive Function Synthesis
24/02/2022, 10:30am	Wing Lam	Taming Flaky Tests in a Non-Deterministic World
17/02/2022, 10:30am	Ruijie Meng	Linear-time Temporal Logic guided Greybox Fuzzing
10/02/2022, 2:30pm	Kuldeep Meel	Next Gen Automated Reasoning: Beyond “SAT Revolution” to “Beyond SAT” Revolution

Fall 2021

Date and Time	Speaker	Title and Details
30/11/2021, 9am	Talia Ringer	Proof Repair
23/11/2021, 9am	Aws Albarghouthi	Proving Robustness to Data Bias
16/11/2021, 9am	Roopsha Samanta	Taming Unbounded Distributed Systems with Modular, Bounded Verification
09/11/2021, 10:30am	Chandrakana Nandi	Rewrite Rule Inference Using Equality Saturation
02/11/2021, 5pm	Earl T. Barr	Dual Channel Constraints and Natural Type Inference
26/10/2021, 10:30am	Michael D. Adams	Improving the Expressiveness of Programming Languages
19/10/2021, 10:30am	Yannic Noller	Concolic Program Repair
12/10/2021, 9am	Jingbo Wang	Data-Driven Synthesis of a Provably Sound Side-Channel Analysis
05/10/2021, 10:30am	Yuyi Zhong	BBPoly: Scalable and Modular Robustness Analysis of Deep Neural Networks
28/09/2021, 9am	Bo Wang	SynGuar: Guaranteeing Generalization in Programming by Example
21/09/2021, 4pm	Joachim Breitner	Candid, an interface description language for blockchains

Summer 2021

Date and Time	Speaker	Title and Details
24/03/2021	Yong Kiam Tan (CMU)	Deductive Verification for Ordinary Differential Equations
17/03/2021	Xuan-Bach Le (NTU)	Verification of Multi-threaded Programs by Inference of Rely-Guarantee Specifications

Fall 2020

Date and Time	Speaker	Title and Details
21/10/2020	Aviral Goel (NEU)	On the Design, Implementation, and Use of Laziness in R
16/10/2020	Anshuman Mohan	Verified Graph Algorithms
14/10/2020	Andreea Costea	ROBoSuSLik: Concise Read-Only Specifications for Better Synthesis of Programs with Pointers
11/10/2020	Hila Peleg (UCSD)	Programmer Tools with Program Synthesis
09/10/2020	KC Sivaramakrishnan (IIT Madras)	Retrofitting Effect Handlers to OCaml
07/10/2020	Priyanka Golia	Manthan: A Data-Driven Approach for Boolean Function Synthesis
04/10/2020	Linghui Luo (Paderborn University)	TaintBench: Automatic Real-World Malware Benchmarking of Android Taint Analyses
30/09/2020	Zhen Dong	Time-travel Testing of Android Apps
23/09/2020	Teodora Baluta	Towards Dynamic Oracle-guided Synthesis of Abstractions for Deep Neural Networks
16/09/2020	George Pîrlea	CoSplit: Practical Smart Contract Sharding with Static Program Analysis
09/09/2020	Martin Henz	SICP JS: Ketchup on Caviar?

Summer 2020

Date and Time	Speaker	Title and Details
18/03/2020	Yutaka Nagashima	Automating proof by induction in Isabelle/HOL using domain-specific languages
11/03/2020	Ivan Beschastnikh (UBC)	Compiling Distributed System Models into Implementations
04/03/2020	Kuldeep Meel	Towards Verifying AI Systems: Testing of Samplers
26/02/2020	Yahui Song	Tvide: Automated Temporal Verification of Integrated Dependent Effects
26/02/2020	Martin Henz	Source Academy, what's in it for you
19/02/2020	Ilya Sergey	On Incorrectness Logic
12/02/2020	Sangharatna Godboley	Optimal MC/DC Test Case Generation
05/02/2020	Toàn Nguyễn Thanh	Rinser: Concise Explanations in Static Analysis Driven Code Reviews
29/01/2020	Aquinas Hobor	A Functional Proof Pearl: Inverting the Ackermann Hierarchy