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
672020
A compiler infrastructure for accelerator generators
R Nigam, S Thomas, Z Li, A Sampson
Proceedings of the 26th ACM International Conference on Architectural …, 2021
612021
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
452021
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
152018
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
92020
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
82023
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
Correct and Compositional Hardware Generators
R Nigam, E Gabizon, E Lam, A Sampson
arXiv preprint arXiv:2401.02570, 2024
12024
Stepwise debugging for hardware accelerators
G Berlstein, R Nigam, C Gyurgyik, A Sampson
Proceedings of the 28th ACM International Conference on Architectural …, 2023
12023
WatChat: Explaining perplexing programs by debugging mental models
K Chandra, TM Li, R Nigam, J Tenenbaum, J Ragan-Kelley
arXiv preprint arXiv:2403.05334, 2024
2024
Unifying Static and Dynamic Intermediate Languages for Accelerator Generators
C Kim, P Li, A Mohan, A Butt, A Sampson, R Nigam
arXiv preprint arXiv:2312.16300, 2023
2023
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