Abel Nieto -

Registered user since Wed 13 Sep 2017

Name:Abel Nieto

Country:Canada

Affiliation:Aarhus University

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

Contributions

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