Minjian Zhang
where else to find them
what they talk about
all 4 in the filters
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2025–2026
on a stage with
all 7 in the filters
who talks about the same things
- Mahesh Viswanathan7 talks
- Mosaad Al Thokair2 talks
- Umang Mathur20 talks
- A. R. Balasubramanian2 talks
- Andreas Pavlogiannis18 talks
- Rupak Majumdar21 talks
| title | conference | date |
|---|---|---|
| State Space Estimation for DPOR-Based Model Checkers | PLDI 2026 | 2026-06-15 |
Proves counting Mazurkiewicz classes is #P-hard and inapproximable, then builds a polynomial‑time Monte Carlo estimator by turning an optimal stateless DPOR… | ||
| Efficient Timestamping for Sampling-Based Race Detection | PLDI 2025 | 2025-06-16 |
Proposes a sampling-aware timestamp scheme that replaces full vector-clock updates with a freshness timestamp and an ordered vector clock data structure… | ||
| Dynamic Race Detection with O(1) Samples | POPL 2023 | 2023-01-15 |
Claims a randomized, one-sided property tester that samples O(1) samples (constant many events when thread and lock counts are fixed) and runs FastTrack on… | ||
| nothing matches | ||