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 | |||||||||||||||||||||||||||||||||||||||||
POPL 2021-profile
View general profile
View general profile