conf.researchr.org / David M. Kahn
Registered user since Fri 10 May 2019
Name: David M. Kahn
Affiliation: Carnegie Mellon University, USA
Contributions
| PLDI 2019 | Author of Scalable Verification of Probabilistic Networks within the PLDI Research Papers-track |