Abel Nieto -

Registered user since Wed 13 Sep 2017

Name:Abel Nieto

Country:Denmark

Affiliation:Aarhus University

Personal website:https://abeln.github.io

Research interests:Formal Verification, Programming Languages, Compilers, Static Analysis

Contributions

SPLASH 2022	Author of Modular Verification of Op-Based CRDTs in Separation Logic within the V-OOPSLA-track
POPL 2021	Author of Distributed Causal Memory: Modular Specification and Verification in Higher-Order Distributed Separation Logic within the POPL-track
ECOOP 2020	Author of Blame for Null within the Artifacts-track Author of Scala with Explicit Nulls within the Research Papers-track Author of Blame for Null within the Research Papers-track Author of Scala with Explicit Nulls within the Artifacts-track
Scala 2018	Author of Scala with explicit nulls (student talk) within the Scala 2018-track
Scala 2017	Author of Towards Algorithmic Typing for DOT (Short Paper) within the Scala 2017-track