Mário Pereira
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
all 6 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Verifying Reliable Network Components in a Distributed Separation Logic with Dep... | ICFP 2023 | 2023-09-04 |
Claims a verified reliable client–server communication stack implemented in an OCaml-like language (about 300–400 lines of code) that runs over UDP and… | ||
| Cameleer: a Deductive Verification Tool for OCaml | ML 2021 | 2021-08-26 |
Cameleer takes OCaml source annotated with Gospel specs, translates the AST to Why3 and emits VCs solved by SMTs (demo uses Alt-Ergo); it targets core OCaml… | ||
| nothing matches | ||