Zheng Han Lee
where else to find them
no profile links on file
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
- Umang Mathur20 talks
- Arthur Oliveira Vale3 talks
- Janggun Lee7 talks
- Yixuan Chen2 talks
- Parosh Aziz Abdulla9 talks
- Michael Emmi4 talks
| title | conference | date |
|---|---|---|
| Fixed Parameter Tractable Linearizability Monitoring | PLDI 2026 | 2026-06-15 |
Claims that linearizability monitoring is fixed‑parameter tractable parameterized by number of processes k for stacks, queues, priority queues and maps, giving… | ||
| Efficient Decrease-And-Conquer Linearizability Monitoring | OOPSLA 2025 | 2025-10-16 |
Presents a decrease-and-conquer framework that reduces linearizability monitoring to finding linearizability-preserving values, proving polynomial-time… | ||
| nothing matches | ||