Patrick Brinich
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
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Verification of Algorithm and Code Generation for Signal Transforms | CoqPL 2021 | 2021-01-19 |
A formalization verifies a nontrivial subset of SPIRAL: SPL rewrite rules are proven to preserve matrix semantics and a Coulee–Tukey factorization is proved by… | ||
| Verification of Algorithm and Code Generation for Signal Transforms | POPL 2021 | 2021-01-17 |
Coq-verified subset of SPIRAL formalizes SPL matrix semantics and proves rewrite rules preserve matrices (including a mechanized Cooley–Tukey factorization… | ||
| nothing matches | ||