Registered user since Fri 10 May 2019

Name: David M. Kahn

Affiliation: Carnegie Mellon University, USA

Contributions

PLDI 2019Author of Scalable Verification of Probabilistic Networks within the PLDI Research Papers-track