Hernán Ponce de León
where else to find them
linkedin:hernán-ponce-de-león-aguirre
what they talk about
where they keep going back
- OOPSLA2 editions2022–2023
on a stage with
all 4 in the filters
who talks about the same things
- Thomas Haas3 talks
- Roland Meyer9 talks
- Viktor Vafeiadis23 talks
- Ori Lahav17 talks
- Matthieu Lemerre8 talks
- Andreas Pavlogiannis18 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… | ||
| On the need for available, functional, and reusable memory models | The Future of Weak Memory 2024 | 2024-01-15 |
Paper data vanishes after a PhD student leaves, so reproducibility fails; experiments and examples claim conformance but links are dead, so demand is permanent… | ||
| 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… | ||
| 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 | ||