1. A Compiler Infrastructure for Accelerator Generators
    Rachit Nigam*, Samuel Thomas*, Zhijing Li, Adrian Sampson
    Conference on Architectural Support for Programming Languages and Operating Systems (2021)

  2. A Flexible Intermediate Language for High-Level Synthesis
    Samuel Thomas, Kenneth Fang, Zhijing Li, Rachit Nigam, Adrian Sampson
    Unpublished Draft (2020)

  3. Predictable Accelerator Design with Time-Sensitive Affine Types
    Rachit Nigam, Sachille Atapattu, Samuel Thomas, Zhijing Li, Ted Bauer, Yuwei Yi, Apurva Koti, Adrian Sampson, Zhiru Zhang
    Conference on Programming Language Design and Implementation (2020)