Paulo Emílio de Vilhena
where else to find them
what they talk about
where they keep going back
- POPL2 editions2021–2026
on a stage with
all 7 in the filters
who talks about the same things
- Simcha van Collem2 talks
- Robbert Krebbers26 talks
- Yizhou Zhang13 talks
- Viktor Vafeiadis23 talks
- Amal Ahmed25 talks
- Deepak Garg18 talks
| title | conference | date |
|---|---|---|
| Backwards-Compatible Row-Based Exceptions in ML | PLDI 2026 | 2026-06-15 |
Type system extends ML with row polymorphism and a new top row to make exception tracking backwards compatible, proving that unannotated code types as top-row… | ||
| A Relational Separation Logic for Effect Handlers | POPL 2026 | 2026-01-11 |
Presents blaze, the first mechanised relational separation logic for effect handlers, implemented on Rocq/Iris and proved inside Coq; key idea is a refinement… | ||
| Extending the C/C++ Memory Model with Inline Assembly | OOPSLA 2024 | 2024-10-20 |
A formal memory model is built that extends RC11 to handle inline x86 assembly, specifically first C++ model with inline assembly for x86 covering non-temporal… | ||
| A Separation Logic for Effect Handlers | POPL 2021 | 2021-01-17 |
Introduces a Separation Logic that embeds protocols into Iris-style weakest preconditions to specify and verify programs using user-defined effect handlers… | ||
| nothing matches | ||