
Registered user since Wed 25 Jun 2014
Name:Kathryn S McKinley
Affiliation:Microsoft Research
Personal website:http://research.microsoft.com/en-us/people/mckinley/
Contributions
PPS 2017 | Reasoning about inference in probabilistic programs | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2017-profile
View general profile
View general profile