conf.researchr.org / David M. Kahn
David M. Kahn

Registered user since Fri 10 May 2019

Name: David M. Kahn

Country: United States

Affiliation: Carnegie Mellon University

Personal website: http://www.cs.cmu.edu/~davidkah/

Contributions

ICFP 2020Author of Raising Expectations: Automating Expected Cost Analysis with Types within the Research Papers-track
PLDI 2019Author of Scalable Verification of Probabilistic Networks within the PLDI Research Papers-track