Follow
Rachit Nigam
Title
Cited by
Cited by
Year
Predictable accelerator design with time-sensitive affine types
R Nigam, S Atapattu, S Thomas, Z Li, T Bauer, Y Ye, A Koti, A Sampson, ...
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
812020
A compiler infrastructure for accelerator generators
R Nigam, S Thomas, Z Li, A Sampson
Proceedings of the 26th ACM International Conference on Architectural …, 2021
702021
Vectorization for digital signal processors via equality saturation
A VanHattum, R Nigam, VT Lee, J Bornholt, A Sampson
Proceedings of the 26th ACM International Conference on Architectural …, 2021
542021
Putting in all the stops: Execution control for JavaScript
S Baxter, R Nigam, JG Politz, S Krishnamurthi, A Guha
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018
172018
Modular hardware design with timeline types
R Nigam, PH Azevedo de Amorim, A Sampson
Proceedings of the ACM on Programming Languages 7 (PLDI), 343-367, 2023
122023
A synthesis-aided compiler for dsp architectures (wip paper)
A VanHattum, R Nigam, VT Lee, J Bornholt, A Sampson
The 21st ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools …, 2020
112020
Fission: Secure dynamic code-splitting for JavaScript
A Guha, JB Jeannin, R Nigam, J Tangen, R Shambaugh
2nd Summit on Advances in Programming Languages (SNAPL 2017), 2017
72017
Watchat: Explaining perplexing programs by debugging mental models
K Chandra, KM Collins, W Crichton, T Chen, TM Li, A Weller, R Nigam, ...
arXiv preprint arXiv:2403.05334, 2024
22024
Stepwise Debugging for Hardware Accelerators
G Berlstein, R Nigam, C Gyurgyik, A Sampson
Proceedings of the 28th ACM International Conference on Architectural …, 2023
22023
Correct and Compositional Hardware Generators
R Nigam, E Gabizon, E Lam, A Sampson
arXiv preprint arXiv:2401.02570, 2024
12024
Unifying Static and Dynamic Intermediate Languages for Accelerator Generators
C Kim, P Li, A Mohan, A Butt, A Sampson, R Nigam
Proceedings of the ACM on Programming Languages 8 (OOPSLA2), 2242-2267, 2024
2024
A Toolkit for Designing Hardware DSLs
G Berlstein, R Nigam, C Gyurgyik, A Sampson
The system can't perform the operation now. Try again later.
Articles 1–12