Talks

• 2025 Mar 31 :: Partial Order Methods for the Verification of Concurrent Systems

  By Nitish Yadav

• 2025 Mar 7 :: Automatically Verifying Replication-aware Linearizability

  By Vimala Soundarapandian

• 2025 Feb 27 :: Concurrent and Parallel programming with OCaml 5

  By KC Sivaramakrishnan

• 2025 Feb 12 :: LinKRID: Vetting Imbalance Reference Counting in Linux kernel with Symbolic Execution

  By Abdun Nihaal