Lasse Møldrup
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
who talks about the same things
- Andreas Pavlogiannis18 talks
- Constantin Enea14 talks
- Kartik Nagar6 talks
- Akash Lal4 talks
- Hünkar Can Tunç3 talks
- Gowtham Kaki10 talks
| title | conference | date |
|---|---|---|
| The Complexity of Testing Message-Passing Concurrency | POPL 2026 | 2026-01-11 |
Characterizes channel-consistency as a parameterized complexity landscape: consistency checking is NP-hard even for single-valued or capacity‑one channels, and… | ||
| AWDIT: An Optimal Weak Database Isolation Tester | PLDI 2025 | 2025-06-16 |
AWDIT implemented in Rust tests Read Committed, Read Atomic, and Causal Consistency with proven bounds O(n^{3/2}) for RC/RA, O(n·k) for CC, runs on histories… | ||
| nothing matches | ||