Preey Shah
Preey Shah
Verified email at
Cited by
Cited by
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
Backpressure flow control
P Goyal, P Shah, NK Sharma, M Alizadeh, TE Anderson
Proceedings of the 2019 Workshop on Buffer Sizing, 1-3, 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
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
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
Eye: Program Visualizer for CS2
A Bansal, P Shah, S Shah
arXiv preprint arXiv:2101.12089, 2021
Characterizing Boolean Functional Synthesis via Knowledge Representation
P Shah, A Bansal, S Akshay, S Chakraborty
The system can't perform the operation now. Try again later.
Articles 1–7