Lukasz Ziarek
where else to find them
no profile links on file
what they talk about
where they keep going back
- OOPSLA2 editions2021–2023
on a stage with
all 7 in the filters
who talks about the same things
- Grant Iraci2 talks
- Cheng-En Chuang2 talks
- Raymond Hu7 talks
- Nobuko Yoshida13 talks
- Brigitte Pientka15 talks
- Patrick Eugster8 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… | ||
| A Multiparty Session Typing Discipline for Fault-tolerant Event-driven Distributed Programming | OOPSLA 2021 | 2021-10-17 |
Presents a new MPST formulation that supports event-driven multiparty sessions with handlers for I/O and partial failures, including dynamic replacement of… | ||
| nothing matches | ||