Rachit Nigam
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
no series more than once — all 5 in the filters
on a stage with
- Adrian Sampson2×
- Andrew Buttonce
- Anshuman Mohanonce
all 5 in the filters
who talks about the same things
- Adrian Sampson5 talks
- Anshuman Mohan6 talks
- Shvetank Prakash2 talks
- Sara Achour5 talks
- Matt P. Dziubinski5 talks
- Staf Verhaegen9 talks
| title | conference | date |
|---|---|---|
| Nomads and Anvil makers | PLMW @ PLDI 2025 | 2025-06-16 |
Argues that timing is essential for efficient FPGA accelerators and presents a concrete solution: a small core language called filament that embeds clocked… | ||
| High-Performance Hardware Design with Hardcaml | Latch-Up 2025 | 2025-05-02 |
Hardcaml is an OCaml embedded DSL that implements a seven primitives core API and uses a syntax‑directed compiler to emit RTL and also alternate… | ||
| Unifying Static and Dynamic Intermediate Languages for Accelerator Generators | OOPSLA 2024 | 2024-10-20 |
Piezo is an IL that embeds static timing inside a dynamic Calyx-style language by treating static control as a refinement of dynamic behavior so the compiler… | ||
| Fearless Hardware Design | PLARCH 2023 | 2023-06-17 |
A new HDL called Filament uses a type system to record timing and structural constraints so code is provably safe across all parameter values: it encodes… | ||
| Modular Hardware Design with Timeline Types | PLDI 2023 | 2023-06-17 |
Filament implements timeline types to encode when signals are produced and consumed, enforcing timing and structural constraints for statically scheduled… | ||
| nothing matches | ||