Backpressure Flow Control. - Prateesh Goyal; Preey Shah; Naveen Kr. Sharma; Mohammad Alizadeh; Thomas E. Anderson (BS, 2019)

Continuous Reachability for Unordered Data Petri Nets is in PTime. - Utkarsh Gupta; Preey Shah; S. Akshay 001; Piotr Hofman (FoSSaCS, 2019)

Garbage collection using a finite liveness domain. - Aman Bansal; Saksham Goel; Preey Shah; Amitabha Sanyal; Prasanna Kumar (ISMM, 2020)

A Normal Form Characterization for Efficient Boolean Skolem Function Synthesis. - Preey Shah; Aman Bansal; S. Akshay 001; Supratik Chakraborty (LICS, 2021)

Eye: Program Visualizer for CS2. - Aman Bansal; Preey Shah; Sahil Shah (SIGCSE, 2021)

S4ND: Modeling Images and Videos as Multidimensional Signals with State Spaces. - Eric Nguyen; Karan Goel; Albert Gu; Gordon W. Downs; Preey Shah; Tri Dao; Stephen Baccus; Christopher Ré (NeurIPS, 2022)

Backpressure Flow Control. - Prateesh Goyal; Preey Shah; Kevin Zhao; Georgios Nikolaidis; Mohammad Alizadeh; Thomas E. Anderson (NSDI, 2022)

S4ND: Modeling Images and Videos as Multidimensional Signals Using State Spaces. - Eric Nguyen; Karan Goel; Albert Gu; Gordon W. Downs; Preey Shah; Tri Dao; Stephen A. Baccus; Christopher Ré (CoRR, 2022)