Rachit Nigam

Orcid: 0000-0003-0983-5867

According to our database1, Rachit Nigam authored at least 11 papers between 2017 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
WatChat: Explaining perplexing programs by debugging mental models.
CoRR, 2024

Correct and Compositional Hardware Generators.
CoRR, 2024

2023
Modular Hardware Design with Timeline Types.
Proc. ACM Program. Lang., 2023

Unifying Static and Dynamic Intermediate Languages for Accelerator Generators.
CoRR, 2023

Stepwise Debugging for Hardware Accelerators.
Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023

2021
Vectorization for digital signal processors via equality saturation.
Proceedings of the ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2021

A compiler infrastructure for accelerator generators.
Proceedings of the ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2021

2020
Predictable accelerator design with time-sensitive affine types.
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

A Synthesis-Aided Compiler for DSP Architectures (WiP Paper).
Proceedings of the 21st ACM SIGPLAN/SIGBED International Conference on Languages, 2020

2018
Putting in all the stops: execution control for JavaScript.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

2017
Fission: Secure Dynamic Code-Splitting for JavaScript.
Proceedings of the 2nd Summit on Advances in Programming Languages, 2017


  Loading...