David Delmas
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 |
|---|---|---|
| Static Analysis of Endian Portability by Abstract Interpretation | SPLASH 2022 | 2022-12-05 |
A static analyzer infers whether two C variants produce identical outputs across little- and big-endian platforms by building a B-cell memory abstraction plus… | ||
| Static Analysis of Endian Portability by Abstract Interpretation | SAS 2021 | 2021-10-17 |
A static analysis based on abstract interpretation proves when two endian-specific C variants produce identical outputs on identical inputs, despite pointer… | ||
| nothing matches | ||