Conference Bounded Expectations: Resource Analysis for Probabilistic Programs 2018 • ACM Sigplan Notices • 496-512 Ngo VC, Carbonneaux Q, Hoffmann J
Conference Parallel Complexity Analysis with Temporal Session Types 2018 • Proceedings of the ACM on Programming Languages • 2: Das A, Hoffmann J, Pfenning F
Conference PMAF: An Algebraic Framework for Static Analysis of Probabilistic Programs 2018 • ACM Sigplan Notices • 513-528 Wang D, Hoffmann J, Reps T
Journal Article PMAF: an algebraic framework for static analysis of probabilistic programs 2018 • ACM Sigplan Notices • 53(4):513-528 Wang D, Hoffmann J, Reps T
Preprint Verifying and Synthesizing Constant-Resource Implementations with Types 2018 Ngo VC, Dehesa-Azuara M, Fredrikson M, Hoffmann J
Conference Work Analysis with Resource-Aware Session Types 2018 • Proceedings - Symposium on Logic in Computer Science • 305-314 Das A, Hoffmann J, Pfenning F
Conference Arrays & references in resource aware ML 2017 • Leibniz International Proceedings in Informatics • 84: Lichtman B, Hoffmann J
Conference Automated Resource Analysis with Coq Proof Objects 2017 • Lecture Notes in Computer Science • 10427:64-85 Carbonneaux Q, Hoffmann J, Reps T, Shao Z
Preprint Bounded Expectations: Resource Analysis for Probabilistic Programs 2017 Ngo VC, Carbonneaux Q, Hoffmann J
Conference ML for ML: Learning Cost Semantics by Experiment 2017 • Lecture Notes in Computer Science • 10205:190-207 Das A, Hoffmann J
Journal Article Preface: Special Issue on Automatic Resource Bound Analysis 2017 • Journal of Automated Reasoning • 59(1):1-2 Giesl J, Hoffmann J
Conference Relational Cost Analysis 2017 • ACM Sigplan Notices • 52(1):316-329 Cicek E, Barthe G, Gaboardi M, Garg D, Hoffmann J
Conference Towards Automatic Resource Bound Analysis for OCaml 2017 • ACM Sigplan Notices • 52(1):359-373 Hoffmann J, Das A, Weng S-C
Conference Verifying and Synthesizing Constant-Resource Implementations with Types 2017 • IEEE Symposium on Security and Privacy: Proceedings • 710-728 Van CN, Dehesa-Azuara M, Fredrikson M, Hoffmann J
Journal Article Automatic Static Cost Analysis for Parallel Programs 2015 • Lecture Notes in Computer Science • 9032:132-157 Hoffmann J, Shao Z
Conference Compositional certified resource bounds 2015 • ACM Sigplan Notices • 467-478 Carbonneaux Q, Hoffmann J, Shao Z
Journal Article Compositional certified resource bounds 2015 • ACM Sigplan Notices • 50(6):467-478 Carbonneaux Q, Hoffmann J, Shao Z
Journal Article Type-based amortized resource analysis with integers and arrays* 2015 • Journal of Functional Programming • 25:e17 HOFFMANN J, SHAO Z
Conference End-to-end verification of stack-space bounds for C programs 2014 • ACM Sigplan Notices • 270-281 Carbonneaux Q, Hoffmann J, Ramananandro T, Shao Z
Journal Article End-to-end verification of stack-space bounds for C programs 2014 • ACM Sigplan Notices • 49(6):270-281 Carbonneaux Q, Hoffmann J, Ramananandro T, Shao Z
Conference Type-Based Amortized Resource Analysis with Integers and Arrays 2014 • Lecture Notes in Computer Science • 8475:152-168 Hoffmann J, Shao Z
Conference Characterizing Progress Properties of Concurrent Objects via Contextual Refinements 2013 • Lecture Notes in Computer Science • 8052:227-241 Liang H, Hoffmann J, Feng X, Shao Z
Conference Quantitative Reasoning for Proving Lock-Freedom 2013 • Proceedings - Symposium on Logic in Computer Science • 124-133 Hoffmann J, Marmar M, Shao Z
