David M. Kahn

15 papers A* 2B 2Journal 11
YearRankTypeTitle / Venue / Authors
2026 J jnl
Big-Stop Semantics: Small-Step Semantics in a Big-Step Judgment.
Proc. ACM Program. Lang.
David M. Kahn, Jan Hoffmann, Runming Li
2025 J jnl
Big-Stop Semantics: A Simple Way to Get the Benefits of Small-Step Semantics in a Big-Step Judgment.
CoRR
David M. Kahn, Jan Hoffmann, Runming Li
2025 J jnl
Efficient Cost Bounds with Linear Maps.
CoRR
David M. Kahn, Jan Hoffmann, Thomas Reps, Jessie Grosen
2023 A* conf
Automatic Amortized Resource Analysis with Regular Recursive Types.
LICS
Jessie Grosen, David M. Kahn, Jan Hoffmann
2023 J jnl
Automatic Amortized Resource Analysis with Regular Recursive Types.
CoRR
Jessie Grosen, David M. Kahn, Jan Hoffmann
2021 J jnl
Automatic Amortized Resource Analysis with the Quantum Physicist's Method.
CoRR
David M. Kahn, Jan Hoffmann
2021 J jnl
Automatic amortized resource analysis with the Quantum physicist's method.
Proc. ACM Program. Lang.
David M. Kahn, Jan Hoffmann
2020 J jnl
Exponential Amortized Resource Analysis.
CoRR
David M. Kahn, Jan Hoffmann
2020 B conf
Exponential Automatic Amortized Resource Analysis.
FoSSaCS
David M. Kahn, Jan Hoffmann
2020 J jnl
Raising Expectations: Automating Expected Cost Analysis with Types.
CoRR
Di Wang, David M. Kahn, Jan Hoffmann
2020 J jnl
Raising expectations: automating expected cost analysis with types.
Proc. ACM Program. Lang.
Di Wang, David M. Kahn, Jan Hoffmann
2019 J jnl
Scalable Verification of Probabilistic Networks.
CoRR
Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, Alexandra Silva
2019 A* conf
Scalable verification of probabilistic networks.
PLDI
Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, Alexandra Silva
2017 J jnl
Deciding Probabilistic Program Equivalence in NetKAT.
CoRR
Steffen Smolka, David M. Kahn, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva
2017 B conf
Undecidable Problems for Probabilistic Network Programming.
MFCS
David M. Kahn