Preey Shah

12 papers A* 2A 1B 1C 1Misc 1Journal 5Unranked 1
YearRankTypeTitle / Venue / Authors
2022 Misc conf
Backpressure Flow Control.
NSDI
Prateesh Goyal, Preey Shah, Kevin Zhao, Georgios Nikolaidis, Mohammad Alizadeh, Thomas E. Anderson
2022 J jnl
S4ND: Modeling Images and Videos as Multidimensional Signals Using State Spaces.
CoRR
Eric Nguyen, Karan Goel, Albert Gu, Gordon W. Downs, Preey Shah, Tri Dao, Stephen A. Baccus, Christopher Ré
2022 A* conf
S4ND: Modeling Images and Videos as Multidimensional Signals with State Spaces.
NeurIPS
Eric Nguyen, Karan Goel, Albert Gu, Gordon W. Downs, Preey Shah, Tri Dao, Stephen Baccus, Christopher Ré
2021 A* conf
A Normal Form Characterization for Efficient Boolean Skolem Function Synthesis.
LICS
Preey Shah, Aman Bansal, S. Akshay, Supratik Chakraborty
2021 J jnl
A Normal Form Characterization for Efficient Boolean Skolem Function Synthesis.
CoRR
Preey Shah, Aman Bansal, S. Akshay, Supratik Chakraborty
2021 A conf
Eye: Program Visualizer for CS2.
SIGCSE
Aman Bansal, Preey Shah, Sahil Shah
2021 J jnl
Eye: Program Visualizer for CS2.
CoRR
Aman Bansal, Preey Shah, Sahil Shah
2020 C conf
Garbage collection using a finite liveness domain.
ISMM
Aman Bansal, Saksham Goel, Preey Shah, Amitabha Sanyal, Prasanna Kumar
2019 — conf
Backpressure Flow Control.
BS
Prateesh Goyal, Preey Shah, Naveen Kr. Sharma, Mohammad Alizadeh, Thomas E. Anderson
2019 J jnl
Backpressure Flow Control.
CoRR
Prateesh Goyal, Preey Shah, Naveen Kr. Sharma, Mohammad Alizadeh, Thomas E. Anderson
2019 B conf
Continuous Reachability for Unordered Data Petri Nets is in PTime.
FoSSaCS
Utkarsh Gupta, Preey Shah, S. Akshay, Piotr Hofman
2019 J jnl
Continuous Reachability for Unordered Data Petri nets is in PTime.
CoRR
Utkarsh Gupta, Preey Shah, S. Akshay, Piotr Hofman