Piyush Kurur
where else to find them
what they talk about
where they keep going back
no series more than once — all 1 in the filters
on a stage with
- Julin Shajionce
- Sandeep Chandranonce
who talks about the same things
one talk is not yet a subject
| title | conference | date |
|---|---|---|
| Certified hardware for regexp matching: A rocq library and its workflow | LOPSTR+PPDP 2026 | 2026-08-27 |
A rocq library implements a certified synthesize function that turns a regular expression DSL into a Haskell matcher, uses clash to generate VERILOG, and runs… | ||
| nothing matches | ||