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

2022

POPL

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

2021

ICFP

Author of Automatic Amortized Resource Analysis with the Quantum Physicist’s Method within the Research Papers-track

2020

ICFP

Author of Raising Expectations: Automating Expected Cost Analysis with Types within the ICFP Program-track

2019

PLDI

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