Hünkar Can Tunç
where else to find them
what they talk about
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2023–2026
on a stage with
all 7 in the filters
who talks about the same things
- Umang Mathur20 talks
- Andreas Pavlogiannis18 talks
- Parosh Aziz Abdulla9 talks
- Krishna Shankaranarayanan4 talks
- Mahesh Viswanathan7 talks
- Soham Chakraborty7 talks
| title | conference | date |
|---|---|---|
| Fast Atomicity Monitoring | PLDI 2026 | 2026-06-15 |
Presents AtomSanitizer, an algorithm for conflict serializability that reduces worst-case time to O(nk^2) by tracking approximate latest-remote and… | ||
| Sound Dynamic Deadlock Prediction in Linear Time | PLDI 2023 | 2023-06-17 |
Introduces a new class called sync-preserving deadlocks and two algorithms SPDOffline and SPDOnline that detect only those deadlocks but do so with overall… | ||
| Optimal Reads-From Consistency Checking for C11-Style Memory Models | PLDI 2023 | 2023-06-17 |
Characterizes reads-from consistency for C11 variants and gives concrete algorithms and hardness results: introduces a minimal coherence witness to avoid… | ||
| nothing matches | ||