Raphaël Monat
where else to find them
github:rmonat
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Try-Mopsa: Relational Static Analysis in Your Pocket | VMCAI 2026 | 2026-01-12 |
A browser-only build of Mopsa compiles core OCaml components to JavaScript (gs_of_ocaml) producing a 3.1 MB bundle that runs clientsided in a web worker with… | ||
| Closing and Best Presentation Award | SOAP 2024 | 2024-06-25 |
Thanks to 11 program committee members and to session chairs Luca and Helmut for last minute handling, the conference closes after a full day of papers and… | ||
| 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… | ||
| nothing matches | ||