• Sign in
  • Sign up
conf.researchr.org / Abel Nieto
  • ICFP 2018 profile
  • POPL 2021 profile
  • SPLASH 2017 profile
  • SPLASH 2020 profile
  • SPLASH 2022 profile
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

Share
xThu 23 Mar 06:24
using conf.researchr.org (v1.59.1)
Support page
Sign Up