
Registered user since Sun 17 Dec 2017
Name:Maria I. Gorinova
Affiliation:The University of Edinburgh
Personal website:http://homepages.inf.ed.ac.uk/s1207807/
Contributions
LAFI 2022 | Program Analysis of Probabilistic Programs | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2022-profile
View general profile
View general profile