Stelios Tsampas
where else to find them
no profile links on file
what they talk about
where they keep going back
- POPL2 editions2023–2025
on a stage with
all 10 in the filters
who talks about the same things
- Sergey Goncharov6 talks
- Stefan Milius3 talks
- Lutz Schröder3 talks
- Henning Urbat6 talks
- Lars Birkedal35 talks
- Deepak Garg18 talks
| title | conference | date |
|---|---|---|
| CRDT Emulation, Simulation, and Representation Independence | ICFP 2025 | 2025-10-12 |
Formalizes CRDT emulation as weak simulation between transition systems and gives constructive translations both ways, focusing on the op-based→state-based… | ||
| Big Steps in Higher-Order Mathematical Operational Semantics | ICFP 2025 | 2025-10-12 |
Proves an abstract categorical equivalence between small‑step and big‑step for higher‑order SOS by defining a categorical big‑step SOS format and a… | ||
| Bialgebraic Reasoning on Stateful Languages | ICFP 2025 | 2025-10-12 |
Proposes a concrete operational encoding that splits programs into readers (expecting an input store) and writers (running computations tagged with a store)… | ||
| Abstract Operational Methods for Call-by-Push-Value | POPL 2025 | 2025-01-19 |
Claims that categorical, higher-order GSOS methods instantiate to call-by-push-value and fine-grain call-by-value to yield modular, language-independent proof… | ||
| Towards a Higher-Order Mathematical Operational Semantics | POPL 2023 | 2023-01-15 |
Defines pointed higher-order GSOS laws as dinatural transformations that take syntax as an endofunctor and higher-order behavior as a bifunctor, replacing… | ||
| Fully Abstract and Robust Compilation and How to Reconcile the Two, Abstractly | APLAS 2021 | 2021-10-17 |
Shows that a fully abstract compiler only robustly preserves a precisely characterized set of hyperproperties which can be trivial or meaningless in some… | ||
| nothing matches | ||