David M. Kahn

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 12

Top Topics

Probabilistic Networks

Statistical Analysis

Top Venues

Proc. ACM Program. Lang.

Publications

Jessie Grosen, David M. Kahn, Jan Hoffmann
Automatic Amortized Resource Analysis with Regular Recursive Types. LICS (2023)
Jessie Grosen, David M. Kahn, Jan Hoffmann
Automatic Amortized Resource Analysis with Regular Recursive Types. CoRR (2023)
David M. Kahn, Jan Hoffmann
Automatic amortized resource analysis with the Quantum physicist's method. Proc. ACM Program. Lang. 5 (ICFP) (2021)
David M. Kahn, Jan Hoffmann
Automatic Amortized Resource Analysis with the Quantum Physicist's Method. CoRR (2021)
David M. Kahn, Jan Hoffmann
Exponential Amortized Resource Analysis. CoRR (2020)
Di Wang, David M. Kahn, Jan Hoffmann
Raising Expectations: Automating Expected Cost Analysis with Types. CoRR (2020)
David M. Kahn, Jan Hoffmann
Exponential Automatic Amortized Resource Analysis. FoSSaCS (2020)
Di Wang, David M. Kahn, Jan Hoffmann
Raising expectations: automating expected cost analysis with types. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, Alexandra Silva
Scalable Verification of Probabilistic Networks. CoRR (2019)
Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, Alexandra Silva
Scalable verification of probabilistic networks. PLDI (2019)
David M. Kahn
Undecidable Problems for Probabilistic Network Programming. MFCS (2017)
Steffen Smolka, David M. Kahn, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva
Deciding Probabilistic Program Equivalence in NetKAT. CoRR (2017)