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