Talks

• 2026 Jun 05 :: Ripple - An SPMD Framework for SIMD programming

  By Mitesh Sharma
  [ slides ]

• 2026 May 12 :: GC-Integrated Resource Reclamation for Abandoned Fibers in Multicore OCaml

  By Sagar Biswas
  [ recording ]

• 2026 Apr 27 :: Unique Worker Model for CUDA

  By Yuvraj Talukdar

• 2026 Apr 22 :: Sal: Multi-modal Verification of Replicated Data Types

  By Pranav Ramesh

• 2026 Mar 18 :: Linearizability: a correctness condition for concurrent objects

  By Durwasa Chakraborty
  [ recording ]

• 2025 Nov 3 :: Linkers in C / C++

  By Pranav Ramesh

• 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
  [ recording ]

• 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
  [ slides ]

• 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
  [ slides ]