Abel Nieto
cv, email, github, linkedinHello! My name is Abel, and I’m a PhD student at Aarhus University, where I'm a member of the Logic and Semantics group. My advisor is Lars Birkedal.
I work on formal verification of distributed systems. I'm also interested in programming language design, type theory, program analysis, and compilers.
Publications
google scholar, dblppeer-reviewed
| ECOOP '23 | Modular Verification of State-Based CRDTs in Separation Logic
Abel Nieto, Arnaud Daby-Seesaram, Léon Gondelman, Amin Timany, Lars Birkedal preprint |
| OOPSLA '22 | Modular Verification of Op-Based CRDTs in Separation Logic
Abel Nieto, Léon Gondelman, Alban Reynaud, Amin Timany, Lars Birkedal preprint |
| POPL '21 | Distributed Causal Memory: Modular Specification and Verification in Higher-Order Distributed Separation Logic
Léon Gondelman, Simon Oddershede Gregersen, Abel Nieto, Amin Timany, Lars Birkedal |
| ECOOP '20 | Blame for Null
Abel Nieto, Marianna Rapoport, Gregor Richards, Ondřej Lhoták pdf, code |
| ECOOP '20 | Scala with Explicit Nulls
Abel Nieto, Yaoyu Zhao, Ondřej Lhoták, Angela Chang, Justin Pu pdf, code |
| SCALA '17 | Towards Algorithmic Typing for DOT (Short Paper)
Abel Nieto pdf, talk |
preprints
| 2021 | Trillium: Unifying Refinement and Higher-Order Distributed Separation Logic
Amin Timany, Simon Oddershede Gregersen, Léo Stefanesco, Léon Gondelman, Abel Nieto, Lars Birkedal |
| 2018 | Tamarin: Concolic Disequivalence for MIPS
Abel Nieto |
| 2017 | Towards Algorithmic Typing for DOT
Abel Nieto |
theses
| 2019 | Scala with Explicit Nulls
Master thesis, University of Waterloo |
memos
| 04/21 | Why Least Fixpoints |
| 03/21 | Simulations and Commuting Quantifiers |
| 08/20 | A Free Theorem |