
Registered user since Wed 20 Jul 2016
Name: Germán Andrés Delbianco
Country: France
Affiliation: Nomadic Labs
Personal website: http://delbian.co
Research interests: Programing Languages - Verification - Concurrent and Distributed Thingies
Contributions
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 |
Using general profile