Germán Andrés Delbianco
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
- Ignacio Fábregas3 talks
- Anindya Banerjee5 talks
- Aleksandar Nanevski7 talks
- Simon Spies8 talks
- Jonas Kastberg Hinrichsen6 talks
- Michael Sammler16 talks
| title | conference | date |
|---|---|---|
| Verify, but test: extracting property-based tests from F* specifications | ML 2022 | 2022-09-15 |
Extracts F pre and postconditions into OCaml Boolean predicates via a tiny Meta F tactic and runs them as QCheck tests against production data. Targets an… | ||
| On Algebraic Abstractions for Concurrent Separation Logics | POPL 2021 | 2021-01-17 |
Defines morphisms of PCMs and separating relations as the concrete algebraic machinery that preserves ownership across parallel composition, then uses them to… | ||
| nothing matches | ||