Ignacio Fábregas
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 1 in the filters
on a stage with
all 4 in the filters
who talks about the same things
- Germán Andrés Delbianco4 talks
- Anindya Banerjee5 talks
- Aleksandar Nanevski7 talks
- Simon Spies8 talks
- Jonas Kastberg Hinrichsen6 talks
- François Pottier14 talks
| title | conference | date |
|---|---|---|
| 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 | ||