
Registered user since Wed 3 Jan 2018
Name:Daniel Selsam
Country:United States
Affiliation:Stanford University
Personal website:http://stanford.edu/~dselsam/
Contributions
PPS 2018 | Formal Methods For Probabilistic Programming | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2018-profile
View general profile
View general profile