Talks

• 2025 Oct 17 :: WACO: Learning Workload-Aware Co-optimization of the Format and Schedule of a Sparse Tensor Program

  By Rahul Utkoor

• 2025 Aug 08 :: Partial Order Reduction for Concurrent Program Verification

  By Nitish Yadav

• 2025 Aug 01 :: Detecting Blocking Errors in Go Programs using Localized Abstract Interpretation

  By Arun Prabhakar

• 2025 Jul 24 :: Challenges in callgraph construction for wasm

  By Omkar Dhawal

• 2025 Jun 26 :: Does OCaml Dream of High performance FPGAs?

  By Hari Varsha

• 2025 Jun 11 :: An MLIR Dialect for Distributed Heterogeneous Computing

  By Robert Samuel

• 2025 Jun 04 :: Introduction to Quantum Computing

  By Venkata Naga Sai Rohit Kanteti

• 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