Seuraa
David M Kahn
David M Kahn
PhD Student, Carnegie Mellon University
Vahvistettu sähköpostiosoite verkkotunnuksessa andrew.cmu.edu - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
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
262020
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
222019
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
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–10