Sreepathi Pai

Associate Professor, Computer Science
Affiliate Faculty in the Goergen Institute for Data Science and Artificial Intelligence
3409 Wegmans Hall
Department of Computer Science,
University of Rochester
sree [at] cs rochester edu
585 276 2391 (please e-mail instead)
Nullius in verba

Research

I am an experimental computer systems researcher interested in the performance of computer programs. To that end, I work in compilers, computer architecture, and the implementation of programming languages for parallel computing. My research aims to make it easier to write high-performance programs on increasingly complex machines.

My work and my graduate students are graciously supported by the National Science Foundation.

If you're a student wanting to work with me, please read this note for prospective students.

I joined Rochester in 2017. Before Rochester, I was a Postdoctoral Research Fellow at The University of Texas at Austin. I obtained my PhD at the Indian Institute of Science.

Current Projects

  1. ROCetta: Formal Semantics for all your GPUs
  2. GPU Performance Portability: Peak Performance on every GPU!
  3. Graph Computing and Analytics: Speedy Graphs on General-purpose Processors

Additionally, I'm a member of the TriForce Center for Multiphysics Modeling where I contribute (primarily) GPU expertise to the codes being developed for use at the Laboratory for Laser Energetics.

Recent Activities

AI Use in the Workplace: Statistics and Studies (new!)

Upward Bound Turtle Workshop (Summer 2024)

Current and Recent Students

PhD

  1. Benjamin Valpey (since Summer 2019)
  2. Rongcui Dong (since Fall 2020)
  3. Jingyu Qiu (since Fall 2023)
  4. Adam Brohl (since Fall 2024)

Masters

  1. Alishba Gul
  2. More ...

Undergraduates

  1. Sejad Al-Rubayie (McNair Scholar, Sum2025, with Prof. Yanan Guo), Overhead of Runtime checking for Indirect Array Out-of-Bounds Access
  2. Yumeng He (Fall23, Spring23, Sum23, Fall24, Spring25), Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools
  3. More ...

Recent Publications

For a complete list, please check my publication archive.

  1. Yumeng He, Chandrakana Nandi, and Sreepathi Pai, Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools, OOPSLA 2025, to appear. [pre-print]

  2. Benjamin Valpey, Xinyi Li, Sreepathi Pai, and Ganesh Gopalakrishnan, An SMT Formalization of Mixed-Precision Matrix Multiplication, NASA Formal Methods 2025, June 2025 [pre-print] [Springer Link] (Best Paper)

  3. Rongcui Dong and Sreepathi Pai, Modeling Utilization to Identify Shared-Memory Atomic Bottlenecks, GPGPU 2025 (in conjunction with PPoPP 2025), February 2025 [pre-print] [ACM DL]

  4. Shoham Shitrit and Sreepathi Pai, Registered Report: Generating Test Suites for GPU Instruction Sets through Mutation and Equivalence Checking, FUZZING 2022 (in conjunction with NDSS 2022), April 2022 [Camera Ready]

Current Teaching

Past Teaching

Recent Professional Service

  1. Tutorials/Workshop Chair: IISWC 2020
  2. Program Committee: PPoPP 2026, ASPLOS 2026, OOPSLA 2024, CC 2023, IPDPS 2023 [Chairs PC], PLDI 2022, CGO 2020, HiPC SRS 2019, ICS 2019, IPDPS 2019 (Experiments)
  3. External Review Committee: OOPSLA 2025, PPoPP 2023, PPoPP 2020, PLDI 2019
  4. Journals: ACM TOPLAS, IEEE TPDS, ACM TOPC

Other Technical Stuff

Microbenchmarking Unified Memory in CUDA 6.0, looks at CUDA Unified Memory performance on the Kepler K20Xm.

"How the Fermi Thread Block Scheduler Works (Illustrated)", if you've ever wondered.