Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
Abel Nieto

Registered user since Wed 13 Sep 2017

Name: Abel Nieto

Country: Canada

Affiliation: Aarhus University

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

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


POPL 2021Author of Distributed Causal Memory: Modular Specification and Verification in Higher-Order Distributed Separation Logic within the Research Papers-track
Show activities from other conferences

Using general profile