Not registered as user yet

Name:Renato Mascarenhas
Affiliation:Computer Science, University of British Columbia

Contributions

SPLASH 2018 Author of Compiling Distributed System Specifications into Implementations within the Posters-track