Antoine Miné
where else to find them
what they talk about
where they keep going back
- SAS2 editions2020–2021
on a stage with
all 5 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Sound Abstract Nonexploitability Analysis | VMCAI 2024 | 2024-01-15 |
Defines a precise nonexploitability hyperproperty and gives a sound abstract-interpretation analysis that treats user input and randomness separately, proving… | ||
| Generation of Violation Witnesses by Under-Approximating Abstract Interpretatio... | VMCAI 2024 | 2024-01-15 |
Backwards abstract interpretation computes under-approximate sufficient preconditions, implemented as a proof-of-concept analyzer (~10k LOC) that uses a… | ||
| 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… | ||
| A Multi-Language Static Analysis of Python Programs with Native C Extensions | SAS 2021 | 2021-10-17 |
An abstract interpreter called Mopsa automatically analyzes both Python and native C sources, modeling language switches and reporting runtime errors in… | ||
| 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… | ||
| A Library Modeling Language for the Static Analysis of C Programs | SAS 2020 | 2020-11-18 |
Language for writing library stubs as logic formulas that model non-deterministic side effects (allocations, assigns with primed output variables) and… | ||
| nothing matches | ||