| S4nd: Modeling images and videos as multidimensional signals with state spaces E Nguyen, K Goel, A Gu, G Downs, P Shah, T Dao, S Baccus, C Ré Advances in neural information processing systems 35, 2846-2861, 2022 | 135 | 2022 |
| Backpressure flow control P Goyal, P Shah, NK Sharma, M Alizadeh, TE Anderson Proceedings of the 2019 Workshop on Buffer Sizing, 1-3, 2019 | 102 | 2019 |
| A normal form characterization for efficient Boolean Skolem function synthesis P Shah, A Bansal, S Akshay, S Chakraborty 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2021 | 9 | 2021 |
| Continuous reachability for unordered data Petri nets is in PTime U Gupta, P Shah, S Akshay, P Hofman Foundations of Software Science and Computation Structures: 22nd …, 2019 | 7 | 2019 |
| Garbage collection using a finite liveness domain A Bansal, S Goel, P Shah, A Sanyal, P Kumar Proceedings of the 2020 ACM SIGPLAN International Symposium on Memory …, 2020 | 2 | 2020 |
| Eye: Program Visualizer for CS2 A Bansal, P Shah, S Shah arXiv preprint arXiv:2101.12089, 2021 | | 2021 |
| Characterizing Boolean Functional Synthesis via Knowledge Representation P Shah, A Bansal, S Akshay, S Chakraborty | | |
