Software Correctness Seminar covers major developments in formal verification, program analysis, and synthesis. We meet every Friday at 11:00 on Zoom. Join us in #seminar-scs for updates.

• 22 Jan Organization meeting
• 29 Jan Calvin on Lean 4
• 5 Feb John Ja. on GPUVerify
• 12 Feb John Jo. on Alive 2
• 19 Feb Oliver on Perceus
• 26 Feb Saeed on Golang Concurrency
• 5 Mar No seminar (visit days)
• 12 Mar No seminar (spring break)
• 19 Mar Tanmay on G-KLEE
• 26 Mar Xinyi on Tensorfuzz
• 2 Apr Yo on Space efficiency
• 9 Apr Eric on Linearizability
• 16 Apr
• 23 Apr Krishanthan on Recursion Transformations

Previous Interations: Spring 2020, Fall 2019, Spring 2009