• Sign in
  • Sign up
conf.researchr.org / David M. Kahn
  • ICFP 2020 profile
  • ICFP 2021 profile
  • PLDI 2019 profile
  • POPL 2022 profile
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
Share
xTue 20 May 21:29
using conf.researchr.org (v1.69.0)
Support page
Sign Up