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(OOPSLA): 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
Journal Article WORST-CASE INPUT GENERATION FOR CONCURRENT PROGRAMS UNDER NON-MONOTONE RESOURCE METRICS 2024 • Logical Methods in Computer Science • 20(4): Pham L, 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 Preface for the special issue in homage to Martin Hofmann Part 2 2022 • Mathematical Structures in Computer Science • 32(6):682-684 Hoffmann J, Sannella D, Schoepp U
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 42ND ACM SIGPLAN INTERNATIONAL CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '21) • 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
Journal Article Preface for the special issue in homage to Martin Hofmann Part 1 2021 • Mathematical Structures in Computer Science • 31(9):950-952 Hoffmann J, Sannella D, Schoepp U
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 42ND ACM SIGPLAN INTERNATIONAL CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '21) • 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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 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 40TH ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '19) • 253-268 Knoth T, Wang D, Polikarpova N, Hoffmann J
