Registered user since Sat 11 Jun 2016
Name: Alexandra Silva
Country: United Kingdom
Affiliation: University College London
Personal website: http://www.alexandrasilva.org/
Contributions
| PLMW 2018 | Committee Member in Organizers within the PLMW-track | ||||||||||||||||||||||||||||||||||||||||
| PPS 2018 | Author of Probabilistic Program Equivalence for NetKAT within the PPS 2018-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2018-profile
View general profile
View general profile