Julin Shaji
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 2 in the filters
on a stage with
- Piyush Kururonce
- Sandeep Chandranonce
who talks about the same things
nobody close enough yet
| 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… | ||
| Messing with unicode | FOSDEM 2022 | 2022-02-05 |
A few possible attacks with unicode
Let's look at a few 'tricks' with unicode that can make a program look like it's doing (or not doing, for that matter)… | ||
| nothing matches | ||