Mosaad Al Thokair
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
all 4 in the filters
who talks about the same things
- Minjian Zhang3 talks
- Mahesh Viswanathan7 talks
- Umang Mathur20 talks
- Tiago Cogumbreiro3 talks
- Andreas Pavlogiannis18 talks
| title | conference | date |
|---|---|---|
| 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 | ||