Pat Hanrahan
where else to find them
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
- Caleb Donovickonce
- Clark Barrettonce
- Jackson Melchertonce
all 11 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| PEak: A Single Source of Truth for Hardware Design and Verification | PLARCH 2023 | 2023-06-17 |
PEak is an open-source Python DSL that claims a single source of truth by generating an executable Python model, a SMT formal model, and Magma RTL generation… | ||
| Dynamic Guidance for Decluttering Photographic Compositions | UIST 2021 | 2021-10-10 |
A realtime camera overlay uses object-based saliency plus edge detection to segment subject, subject border, image border and background and color-code edges… | ||
| Hardware DSLs | PEPM 2021 | 2021-01-18 |
Claims that domain-specific hardware DSLs let one write a single high-level spec that automatically produces simulator, RTL and SMT verification models and… | ||
| nothing matches | ||