Roy Margalit
where else to find them
what they talk about
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2023–2025
on a stage with
all 6 in the filters
who talks about the same things
- Ori Lahav17 talks
- Viktor Vafeiadis23 talks
- Shachar Itzhaky7 talks
- Michalis Kokologiannakis12 talks
- Azalea Raad27 talks
- Mark Batty5 talks
| title | conference | date |
|---|---|---|
| Dynamic Robustness Verification against Weak Memory | PLDI 2025 | 2025-06-16 |
Algorithm verifies robustness against C11/C++20 weak memory using location clocks and runs as the RSAN/Arson tool that reports full backtraces for violations… | ||
| Putting Weak Memory in Order via a Promising Intermediate Representation | PLDI 2023 | 2023-06-17 |
Claims an in-order source semantics for C/C++ that preserves all common compiler optimizations for non-atomics by compiling to an out-of-order IR with… | ||
| Verifying Observational Robustness Against a C11-style Memory Model | POPL 2021 | 2021-01-17 |
Proves robustness against the C11-style model is decidable (PSPACE-complete) by a concrete reduction to SC reachability, implements that instrumentation in the… | ||
| nothing matches | ||