Talks

• 2025 May 12 :: Dynamic MaxFlow in Starplat Cuda Backend

  By Shruthi Kannappan

• 2025 Apr 17 :: SkipFlow: Improving the Precision of Points-to Analysis using Primitive Values and Predicate Edges (CGO 25)

  By Sudeep Chowdhary

• 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