Follow
David M Kahn
David M Kahn
Verified email at andrew.cmu.edu - Homepage
Title
Cited by
Cited by
Year
Raising expectations: automating expected cost analysis with types
D Wang, DM Kahn, J Hoffmann
Proceedings of the ACM on Programming Languages 4 (ICFP), 1-31, 2020
242020
Exponential automatic amortized resource analysis
DM Kahn, J Hoffmann
Foundations of Software Science and Computation Structures: 23rd …, 2020
232020
Scalable verification of probabilistic networks
S Smolka, P Kumar, DM Kahn, N Foster, J Hsu, D Kozen, A Silva
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
202019
Undecidable problems for probabilistic network programming
DM Kahn
42nd International Symposium on Mathematical Foundations of Computer Science …, 2017
132017
Automatic amortized resource analysis with the quantum physicist’s method
DM Kahn, J Hoffmann
Proceedings of the ACM on Programming Languages 5 (ICFP), 1-29, 2021
62021
Automatic Amortized Resource Analysis with Regular Recursive Types
J Grosen, DM Kahn, J Hoffmann
arXiv preprint arXiv:2304.13627, 2023
22023
Automatic amortized resource analysis with regular recursive types: Extended version
J Grosen, DM Kahn, J Hoffmann
arXiv preprint arXiv:2304.13627, 2023
12023
Probabilistic Program Equivalence for NetKAT
S Smolka, P Kumar, N Foster, J Hsu, D Kahn, D Kozen, A Silva
arXiv preprint arXiv:1707.02772, 2017
12017
Semantically Sound Resource Analysis with Nested Recursive Types
J GROSEN, DM KAHN, JAN HOFFMANN
2022
On a Decidable Fragment of dL
DMKS Somayyajula
2018
The system can't perform the operation now. Try again later.
Articles 1–10