Mahesh Viswanathan
where else to find them
no profile links on file
what they talk about
all 7 in the filters
where they keep going back
- POPL3 editions2021–2025
- PLDI Workshop Honoring Andreas Podelski2 editions2023–2025
on a stage with
all 13 in the filters
who talks about the same things
- Umang Mathur20 talks
- Minjian Zhang3 talks
- Andreas Pavlogiannis18 talks
- Mosaad Al Thokair2 talks
- Rupak Majumdar21 talks
- Hünkar Can Tunç3 talks
| title | conference | date |
|---|---|---|
| Checking $\delta$-Satisfiability of Reals with Integrals | OOPSLA 2025 | 2025-10-16 |
Extends δ-decision procedures to handle integrals by implementing ∫dReal on top of dReal and combining IBEX interval propagation with the ARB… | ||
| 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… | ||
| The Decision Problem for Regular First Order Theories | POPL 2025 | 2025-01-19 |
Work shows decidability for satisfiability of regular sets of first‑order formulae hinges on concrete bounds and automata encodings: tree automata represent… | ||
| 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… | ||
| 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… | ||
| Deciding Accuracy of Differential Privacy Schemes | POPL 2021 | 2021-01-17 |
Introduces accuracy as a parametric notion based on distance to disagreement (dd) and output closeness γ, yielding an explicit alpha–beta–gamma claim: e.g. for… | ||
| Optimal Prediction of Synchronization-Preserving Races | POPL 2021 | 2021-01-17 |
Paper gives a sound and complete algorithm SyncP that predicts synchronization-preserving races and runs in Õ(N) time and space on a trace of length N, with a… | ||
| nothing matches | ||