Samuel D. Pollard
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 3 in the filters
on a stage with
all 9 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| A Step-Function Abstract Domain for Granular Floating-Point Error Analysis | NSAD 2024 | 2024-10-22 |
Presents a step-function abstract domain that models roundoff as a value-dependent error and implements it in a static analyzer for a subset of C… | ||
| A Formal Model for Portable, Heterogeneous Accelerator Programming | VIVEKFEST 2024 | 2024-10-21 |
A formal core language called H-IMP models execution spaces (host, OpenMP, CUDA) and memory spaces (host, CUDA, UVM) with an accessibility relation that… | ||
| Q: A Sound Verification Framework for Statecharts and Their Implementations | FTSCS 2022 | 2022-12-07 |
The Q Framework compiles Stateflow-style statecharts into SMV and generates ACSL contracts for a constrained C subset, proving a refinement relation between… | ||
| nothing matches | ||