Roland Meyer
where else to find them
what they talk about
all 6 in the filters
where they keep going back
all 5 in the filters
on a stage with
all 10 in the filters
who talks about the same things
- Thomas Haas3 talks
- Hernán Ponce de León4 talks
- Michael Sammler16 talks
- Michel Steuwer17 talks
- Derek Dreyer35 talks
- Lennard Gäher7 talks
| title | conference | date |
|---|---|---|
| Recurrence Sets for Proving Fair Non-termination under Axiomatic Memory Consistency Models | POPL 2026 | 2026-01-11 |
Generalizes recurrence sets from states to execution-based recurrence sets over axiomatic weak-memory execution graphs, proves soundness for all practical… | ||
| Oriented Metrics for Bottom-Up Enumerative Synthesis | POPL 2026 | 2026-01-11 |
Introduces an oriented metric that is asymmetric except at zero, lifts it from strings/bitvectors to programs, and uses it to prune (ball radius 100 in… | ||
| SNIP: Speculative Execution and Non-Interference Preservation for Compiler(…) | PriSC 2025 (with POPL 2025) | 2025-01-20 |
Proposes a new directive-based simulation that models attacker-controlled microarchitectural choices and proves dead‑code elimination preserves speculative… | ||
| SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations | POPL 2025 | 2025-01-19 |
Introduces a speculative semantics that models attacker-controlled microarchitectural directives and leakage and proves a proof method (a new simulation… | ||
| Static Analysis of Memory Models for SMT Encodings | OOPSLA 2023 | 2023-10-23 |
A static analysis computes per-execution upper and relativized lower bounds on memory-model relations (program order, coherence, read-from) and propagates them… | ||
| Embedding Hindsight Reasoning in Separation Logic | PLDI 2023 | 2023-06-17 |
The work embeds hindsight reasoning into separation logic via a new proof rule called temporal interpolation, implemented in an automated tool that proves… | ||
| Model-based Fault Classification for Automotive Software | APLAS 2022 | 2022-12-05 |
Model-based algorithm replays failing CAN traces symbolically to localize the exact divergence, computes minimal subsets of messages that suffice to cause the… | ||
| A Concurrent Program Logic with a Future and History | OOPSLA 2022 | 2022-12-05 |
A new separation logic that preserves local reasoning while enabling automation introduces ghost update chunks to decompose unbounded physical removals into… | ||
| CAAT: Consistency as a Theory | OOPSLA 2022 | 2022-12-05 |
Claims a family of logical theories that capture memory-model consistency (TSO, POWER, ARMv8, RISC‑V, RC11, IMM, Linux kernel) and builds a generic, efficient… | ||
| nothing matches | ||