Folgen
Rachit Nigam
Rachit Nigam
Bestätigte E-Mail-Adresse bei cornell.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
622020
A compiler infrastructure for accelerator generators
R Nigam, S Thomas, Z Li, A Sampson
Proceedings of the 26th ACM International Conference on Architectural …, 2021
572021
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
432021
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
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
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
52023
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
Correct and Compositional Hardware Generators
R Nigam, E Gabizon, E Lam, A Sampson
arXiv preprint arXiv:2401.02570, 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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–12