| 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 | 37 | 2020 |
| Exponential automatic amortized resource analysis DM Kahn, J Hoffmann Foundations of Software Science and Computation Structures: 23rd …, 2020 | 26 | 2020 |
| 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 | 26 | 2019 |
| Undecidable problems for probabilistic network programming DM Kahn 42nd International Symposium on Mathematical Foundations of Computer Science …, 2017 | 14 | 2017 |
| 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 | 9 | 2021 |
| Automatic Amortized Resource Analysis with Regular Recursive Types J Grosen, DM Kahn, J Hoffmann arXiv preprint arXiv:2304.13627, 2023 | 5 | 2023 |
| 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 | 2 | 2017 |
| Automatic amortized resource analysis with regular recursive types: Extended version J Grosen, DM Kahn, J Hoffmann arXiv preprint arXiv:2304.13627, 2023 | 1 | 2023 |
| Leveraging Linearity to Improve Automatic Amortized Resource Analysis D Kahn Carnegie Mellon University, 2024 | | 2024 |
| Semantically Sound Resource Analysis with Nested Recursive Types J GROSEN, DM KAHN, JAN HOFFMANN | | 2022 |
| On a Decidable Fragment of dL DMKS Somayyajula | | 2018 |
Jan HoffmannCarnegie Mellon University在 cmu.edu 的电子邮件经过验证
