Niraj Sharma
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 1 in the filters
on a stage with
- Rishiyur Nikhilonce
who talks about the same things
one talk is not yet a subject
| title | conference | date |
|---|---|---|
| Formal Specification of the RISC-V Instruction Set Architecture | RISC-V Workshop Chennai 2018 | 2018-07-18 |
An executable, machine‑readable RISC‑V ISA is implemented as an elementary Haskell executable spec that defines one‑instruction‑at‑a‑time semantics with… | ||
| nothing matches | ||