Journal Article Modeling and Analyzing Evaluation Cost of CUDA Kernels 2024 • ACM Transactions on Parallel Computing • 11(1): Muller SK, Hoffmann J
Journal Article Programmable MCMC with Soundly Composed Guide Programs 2024 • Proceedings of the ACM on Programming Languages • 8(OOPSLA2):1051-1080 Pham L, Wang D, Saad FA, Hoffmann J
Journal Article Robust Resource Bounds with Static Analysis and Bayesian Inference 2024 • Proceedings of the ACM on Programming Languages • 8(PLDI): Pham L, Saad FA, Hoffmann J
Conference Automatic Amortized Resource Analysis with Regular Recursive Types 2023 • Proceedings - Symposium on Logic in Computer Science Grosen J, Kahn DM, Hoffmann J
Preprint Automatic Amortized Resource Analysis with Regular Recursive Types 2023 Grosen J, Kahn DM, Hoffmann J
Journal Article Probabilistic Resource-Aware Session Types 2023 • Proceedings of the ACM on Programming Languages • 7(POPL): Das A, Wang D, Hoffmann J
Journal Article Two decades of automatic amortized resource analysis 2022 • Mathematical Structures in Computer Science • 32(6):729-759 Hoffmann J, Jost S
Journal Article A Unifying Type-Theory for Higher-Order (Amortized) Cost Analysis 2021 • Proceedings of the ACM on Programming Languages • 5: Rajani V, Gaboardi M, Garg D, Hoffmann J
Journal Article Automatic Amortized Resource Analysis with the Quantum Physicist's Method 2021 • Proceedings of the ACM on Programming Languages • 5: Kahn DM, Hoffmann J
Conference Central Moment Analysis for Cost Accumulators in Probabilistic Programs 2021 • Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) • 559-573 Wang D, Hoffmann J, Reps T
Journal Article Modeling and Analyzing Evaluation Cost of CUDA Kernels 2021 • Proceedings of the ACM on Programming Languages • 5: Muller SK, Hoffmann J
Conference Resource-Aware Session Types for Digital Contracts 2021 • Proceedings - IEEE Computer Security Foundations Symposium • 109-124 Das A, Balzer S, Hoffmann J, Pfenning F, Santurkar I
Conference Sound Probabilistic Inference via Guide Types 2021 • Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) • 788-803 Wang D, Hoffmann J, Reps T
Conference Typable fragments of polynomial automatic amortized resource analysis 2021 • Leibniz International Proceedings in Informatics • 183: Pham L, Hoffmann J
Conference Exponential Automatic Amortized Resource Analysis 2020 • Lecture Notes in Computer Science • 12077:359-380 Kahn DM, Hoffmann J
Journal Article Liquid Resource Types 2020 • Proceedings of the ACM on Programming Languages • 4: Knoth T, Wang D, Reynolds A, Hoffmann J, Polikarpova N
Journal Article Raising Expectations: Automating Expected Cost Analysis with Types 2020 • Proceedings of the ACM on Programming Languages • 4: Wang D, Kahn DM, Hoffmann J
Conference A Denotational Semantics for Low-Level Probabilistic Programs with Nondeterminism 2019 • Electronic Notes in Theoretical Computer Science • 347:303-324 Wang D, Hoffmann J, Reps T
Preprint Resource-Aware Session Types for Digital Contracts 2019 Das A, Balzer S, Hoffmann J, Pfenning F, Santurkar I
Conference Resource-Guided Program Synthesis 2019 • Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) • 253-268 Knoth T, Wang D, Polikarpova N, Hoffmann J
Journal Article Type-Guided Worst-Case Input Generation 2019 • Proceedings of the ACM on Programming Languages • 3: Wang D, Hoffmann J
Conference Automatic Space Bound Analysis for Functional Programs with Garbage Collection 2018 • EPiC series in computing • 57:543-521 Niu Y, Hoffmann J
Conference Bounded Expectations: Resource Analysis for Probabilistic Programs 2018 • ACM Sigplan Notices • 496-512 Ngo VC, Carbonneaux Q, Hoffmann J
