Preey Shah

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 12

Top Topics

Prime Implicates

Multidimensional Signals

Top Venues

Publications

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