• Sign in
  • Sign up
conf.researchr.org / Abel Nieto
  • ECOOP and ISSTA 2023 profile
  • ICFP 2018 profile
  • POPL 2021 profile
  • POPL 2024 profile
  • SPLASH 2017 profile
  • SPLASH 2020 profile
  • SPLASH 2022 profile
Abel Nieto

Registered user since Wed 13 Sep 2017

Name:Abel Nieto
Country:Canada
Affiliation:Groq
Personal website: https://abeln.github.io
Research interests:Formal Verification, Programming Languages, Compilers, Static Analysis

Contributions

2024

POPL

  • Author of Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement within the POPL-track

2023

ECOOP

  • Author of Modular Verification of State-Based CRDTs in Separation Logic within the Research Papers-track

2022

SPLASH

  • Author of Modular Verification of Op-Based CRDTs in Separation Logic within the V-OOPSLA-track

2021

POPL

  • Author of Distributed Causal Memory: Modular Specification and Verification in Higher-Order Distributed Separation Logic within the POPL-track

2020

ECOOP

  • 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

2018

Scala

  • Author of Scala with explicit nulls (student talk) within the Scala 2018-track

2017

Scala

  • Author of Towards Algorithmic Typing for DOT (Short Paper) within the Scala 2017-track
Share
xThu 19 Jun 18:42
using conf.researchr.org (v1.69.0)
Support page
Sign Up