Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
Germán Andrés Delbianco

Registered user since Wed 20 Jul 2016

Name:Germán Andrés Delbianco
Affiliation:Nomadic Labs
Personal website:http://delbian.co
Research interests:Programing Languages - Verification - Concurrent and Distributed Thingies


POPL 2021 On Algebraic Abstractions for Concurrent Separation Logics
Artifact Evaluator in Artifact Evaluation Committee within the Artifact Evaluation-track
Show activities from other conferences

POPL 2021-profile
View general profile