Andrés Lomelí Garduño
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 1 in the filters
on a stage with
- Hernán Ponce de Leónonce
- Roland Meyeronce
- Thomas Haasonce
who talks about the same things
one talk is not yet a subject
| 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… | ||
| nothing matches | ||