Grant Iraci
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
all 5 in the filters
who talks about the same things
- Cheng-En Chuang2 talks
- Lukasz Ziarek3 talks
- Raymond Hu7 talks
- Ryan Kavanagh3 talks
- Nobuko Yoshida13 talks
- Brigitte Pientka15 talks
| title | conference | date |
|---|---|---|
| Semantic Logical Relations for Timed Message-Passing Protocols | POPL 2025 | 2025-01-19 |
Presents a semantic logical relation that proves any well‑typed program inhabits the timed protocol relation (fundamental theorem) and also lets per‑instance… | ||
| Validating IoT Devices with Rate-Based Session Types | OOPSLA 2023 | 2023-10-23 |
Framework formalizes rate-based session types by adding a periodic recursion Omega that records per-channel periods, proves preservation and rate error… | ||
| nothing matches | ||