Boris Shingarov
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
all 38 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Towards a Formally-verified Software Toolchain for open ISAs | OpenPOWER Summit NA 2020 | 2020-09-15 |
An open-source pipeline takes Sail PDL ISA models and drives a symbolic execution engine plus Z3 SMT solver and logic-program rewrite tools to synthesize… | ||
| Poster / Demo Previews | 8th RISC-V Workshop Barcelona 2018 | 2018-05-07 |
Poster session previews list concrete results and demos to see: a quantum‑resistant secure boot shows large speedups on HiFive hardware; CGEN generates… | ||
| nothing matches | ||