Anindya Banerjee
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 3 in the filters
on a stage with
all 6 in the filters
who talks about the same things
- Germán Andrés Delbianco4 talks
- Ignacio Fábregas3 talks
- Aleksandar Nanevski7 talks
- Michael Sammler16 talks
- Simon Spies8 talks
- Joseph Tassarotti20 talks
| title | conference | date |
|---|---|---|
| Formally Verified Samplers from Probabilistic Programs with Loops and Conditioning | PLDI 2023 | 2023-06-17 |
Zar compiles cpGCL programs with unbounded loops and conditioning into proved-correct samplers in the random bit model, implemented and fully verified in Coq… | ||
| 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… | ||
| Relational Reasoning in Object-based Programs | SPLASH 2020 REBASE | 2020-11-16 |
A program logic that weaves product programs expresses alignment points and asserts relational formulas, with a new linking rule that hides module invariants… | ||
| nothing matches | ||