Abdelraouf Ouadjaout
where else to find them
what they talk about
where they keep going back
- SAS2 editions2020–2021
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… | ||
| 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 | ||