Jan Hoffmann

ORCID

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 54

Top Venues

CoRR

Proc. ACM Program. Lang.

PLDI

Math. Struct. Comput. Sci.

Ludwig Maximilians University Munich (PHD)

Education History

Ludwig Maximilians University Munich

PHD

Publications

Long Pham, Feras A. Saad, Jan Hoffmann
Robust Resource Bounds with Static Analysis and Bayesian Inference. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Stefan K. Muller, Jan Hoffmann
Modeling and Analyzing Evaluation Cost of CUDA Kernels. ACM Trans. Parallel Comput. 11 (1) (2024)
Jessie Grosen, David M. Kahn, Jan Hoffmann
Automatic Amortized Resource Analysis with Regular Recursive Types. LICS (2023)
Ankush Das, Di Wang, Jan Hoffmann
Probabilistic Resource-Aware Session Types. Proc. ACM Program. Lang. 7 (POPL) (2023)
Jessie Grosen, David M. Kahn, Jan Hoffmann
Automatic Amortized Resource Analysis with Regular Recursive Types. CoRR (2023)
Long Pham, Jan Hoffmann
Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics. CoRR (2023)
Jan Hoffmann, Donald Sannella, Ulrich Schöpp
Preface for the special issue in homage to Martin Hofmann Part 2. Math. Struct. Comput. Sci. 32 (6) (2022)
Jan Hoffmann, Steffen Jost
Two decades of automatic amortized resource analysis. Math. Struct. Comput. Sci. 32 (6) (2022)
Di Wang, Jan Hoffmann, Thomas W. Reps
Sound Probabilistic Inference via Guide Types. CoRR (2021)
Jan Hoffmann, Donald Sannella, Ulrich Schöpp
Preface for the special issue in homage to Martin Hofmann Part 1. Math. Struct. Comput. Sci. 31 (9) (2021)
Stefan K. Muller, Jan Hoffmann
Modeling and analyzing evaluation cost of CUDA kernels. Proc. ACM Program. Lang. 5 (POPL) (2021)
Vineet Rajani, Marco Gaboardi, Deepak Garg, Jan Hoffmann
A unifying type-theory for higher-order (amortized) cost analysis. Proc. ACM Program. Lang. 5 (POPL) (2021)
David M. Kahn, Jan Hoffmann
Automatic amortized resource analysis with the Quantum physicist's method. Proc. ACM Program. Lang. 5 (ICFP) (2021)
David M. Kahn, Jan Hoffmann
Automatic Amortized Resource Analysis with the Quantum Physicist's Method. CoRR (2021)
Long Pham, Jan Hoffmann
Typable Fragments of Polynomial Automatic Amortized Resource Analysis. CSL (2021)
Di Wang, Jan Hoffmann, Thomas W. Reps
Sound probabilistic inference via guide types. PLDI (2021)
Di Wang, Jan Hoffmann, Thomas W. Reps
Expected-Cost Analysis for Probabilistic Programs and Semantics-Level Adaption of Optional Stopping Theorems. CoRR (2021)
Di Wang, Jan Hoffmann, Thomas W. Reps
Central moment analysis for cost accumulators in probabilistic programs. PLDI (2021)
Ankush Das, Stephanie Balzer, Jan Hoffmann, Frank Pfenning, Ishani Santurkar
Resource-Aware Session Types for Digital Contracts. CSF (2021)
David M. Kahn, Jan Hoffmann
Exponential Amortized Resource Analysis. CoRR (2020)
Di Wang, David M. Kahn, Jan Hoffmann
Raising Expectations: Automating Expected Cost Analysis with Types. CoRR (2020)
Di Wang, Jan Hoffmann, Thomas W. Reps
Tail Bound Analysis for Probabilistic Programs via Central Moments. CoRR (2020)
Ankush Das, Di Wang, Jan Hoffmann
Probabilistic Resource-Aware Session Types. CoRR (2020)
David M. Kahn, Jan Hoffmann
Exponential Automatic Amortized Resource Analysis. FoSSaCS (2020)
Di Wang, David M. Kahn, Jan Hoffmann
Raising expectations: automating expected cost analysis with types. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Tristan Knoth, Di Wang, Adam Reynolds, Jan Hoffmann, Nadia Polikarpova
Liquid Resource Types. CoRR (2020)
Long Pham, Jan Hoffmann
Typable Fragments of Polynomial Automatic Amortized Resource Analysis. CoRR (2020)
Tristan Knoth, Di Wang, Adam Reynolds, Jan Hoffmann, Nadia Polikarpova
Liquid resource types. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Tristan Knoth, Di Wang, Nadia Polikarpova, Jan Hoffmann
Resource-guided program synthesis. PLDI (2019)
Tristan Knoth, Di Wang, Nadia Polikarpova, Jan Hoffmann
Resource-Guided Program Synthesis. CoRR (2019)
Ankush Das, Stephanie Balzer, Jan Hoffmann, Frank Pfenning
Resource-Aware Session Types for Digital Contracts. CoRR (2019)
Di Wang, Jan Hoffmann, Thomas W. Reps
A Denotational Semantics for Low-Level Probabilistic Programs with Nondeterminism. MFPS (2019)
Di Wang, Jan Hoffmann
Type-guided worst-case input generation. Proc. ACM Program. Lang. 3 (POPL) (2019)
Ankush Das, Jan Hoffmann, Frank Pfenning
Parallel Complexity Analysis with Temporal Session Types. CoRR (2018)
Ankush Das, Jan Hoffmann, Frank Pfenning
Parallel complexity analysis with temporal session types. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Van Chan Ngo, Quentin Carbonneaux, Jan Hoffmann
Bounded expectations: resource analysis for probabilistic programs. PLDI (2018)
Yue Niu, Jan Hoffmann
Automatic Space Bound Analysis for Functional Programs with Garbage Collection. LPAR (2018)
Van Chan Ngo, Mario Dehesa-Azuara, Matthew Fredrikson, Jan Hoffmann
Verifying and Synthesizing Constant-Resource Implementations with Types. CoRR (2018)
Di Wang, Jan Hoffmann, Thomas W. Reps
PMAF: an algebraic framework for static analysis of probabilistic programs. PLDI (2018)
Ankush Das, Jan Hoffmann, Frank Pfenning
Work Analysis with Resource-Aware Session Types. LICS (2018)
Benjamin Lichtman, Jan Hoffmann
Arrays and References in Resource Aware ML. FSCD (2017)
Ankush Das, Jan Hoffmann, Frank Pfenning
Work Analysis with Resource-Aware Session Types. CoRR (2017)
Ezgi Çiçek, Gilles Barthe, Marco Gaboardi, Deepak Garg, Jan Hoffmann
Relational cost analysis. POPL (2017)
Van Chan Ngo, Mario Dehesa-Azuara, Matthew Fredrikson, Jan Hoffmann
Verifying and Synthesizing Constant-Resource Implementations with Types. IEEE Symposium on Security and Privacy (2017)
Jürgen Giesl, Jan Hoffmann
Preface: Special Issue on Automatic Resource Bound Analysis. J. Autom. Reason. 59 (1) (2017)
Quentin Carbonneaux, Jan Hoffmann, Thomas W. Reps, Zhong Shao
Automated Resource Analysis with Coq Proof Objects. CAV (2) (2017)
Jan Hoffmann, Ankush Das, Shu-Chun Weng
Towards automatic resource bound analysis for OCaml. POPL (2017)
Marco Gaboardi, Jan Hoffmann, Reinhard Wilhelm, Florian Zuleger
Resource Bound Analysis (Dagstuhl Seminar 17291). Dagstuhl Reports 7 (7) (2017)
Ankush Das, Jan Hoffmann
ML for ML: Learning Cost Semantics by Experiment. TACAS (1) (2017)
Van Chan Ngo, Quentin Carbonneaux, Jan Hoffmann
Bounded Expectations: Resource Analysis for Probabilistic Programs. CoRR (2017)
Jan Hoffmann, Ankush Das, Shu-Chun Weng
Towards Automatic Resource Bound Analysis for OCaml. CoRR (2016)
Jan Hoffmann, Zhong Shao
Type-based amortized resource analysis with integers and arrays. J. Funct. Program. 25 (2015)
Jan Hoffmann, Zhong Shao
Automatic Static Cost Analysis for Parallel Programs. ESOP (2015)
Quentin Carbonneaux, Jan Hoffmann, Zhong Shao
Compositional certified resource bounds. PLDI (2015)
Quentin Carbonneaux, Jan Hoffmann, Tahina Ramananandro, Zhong Shao
End-to-end verification of stack-space bounds for C programs. PLDI (2014)
Jan Hoffmann, Zhong Shao
Type-Based Amortized Resource Analysis with Integers and Arrays. FLOPS (2014)
Gabriel Scherer, Jan Hoffmann
Tracking Data-Flow with Open Closure Types. CoRR (2013)
Hongjin Liang, Jan Hoffmann, Xinyu Feng, Zhong Shao
Characterizing Progress Properties of Concurrent Objects via Contextual Refinements. CONCUR (2013)
Dorothea Baumeister, Felix Brandt, Felix A. Fischer, Jan Hoffmann, Jörg Rothe
The Complexity of Computing Minimal Unidirectional Covering Sets. Theory Comput. Syst. 53 (3) (2013)
Jan Hoffmann, Michael Marmar, Zhong Shao
Quantitative Reasoning for Proving Lock-Freedom. LICS (2013)
Gabriel Scherer, Jan Hoffmann
Tracking Data-Flow with Open Closure Types. LPAR (2013)
Neelakantan R. Krishnaswami, Nick Benton, Jan Hoffmann
Higher-order functional reactive programming in bounded space. POPL (2012)
Jan Hoffmann, Klaus Aehlig, Martin Hofmann
Multivariate amortized resource analysis. ACM Trans. Program. Lang. Syst. 34 (3) (2012)
Jan Hoffmann, Klaus Aehlig, Martin Hofmann
Resource Aware ML. CAV (2012)
Felix Brandt, Markus Brill, Felix A. Fischer, Jan Hoffmann
The Computational Complexity of Weak Saddles. Theory Comput. Syst. 49 (1) (2011)
Jan Hoffmann, Klaus Aehlig, Martin Hofmann
Multivariate amortized resource analysis. POPL (2011)
Dorothea Baumeister, Felix Brandt, Felix A. Fischer, Jan Hoffmann, Jörg Rothe
The Complexity of Computing Minimal Unidirectional Covering Sets. CIAC (2010)
Jan Hoffmann, Martin Hofmann
Amortized Resource Analysis with Polynomial Potential. ESOP (2010)
Jan Hoffmann
An Automatic Amortized Analysis of the Resource Consumption of Functional Programs. AlgoSyn (2010)
Jan Hoffmann, Martin Hofmann
Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics. APLAS (2010)
Felix Brandt, Markus Brill, Felix A. Fischer, Jan Hoffmann
The Computational Complexity of Weak Saddles. SAGT (2009)
Felix Brandt, Markus Brill, Felix A. Fischer, Paul Harrenstein, Jan Hoffmann
Computing Shapley's saddles. SIGecom Exch. 8 (2) (2009)
Jan Hoffmann
Finding a tree structure in a resolution proof is NP-complete. Theor. Comput. Sci. 410 (21-23) (2009)
Samuel R. Buss, Jan Hoffmann, Jan Johannsen
Resolution Trees with Lemmas: Resolution Refinements that Characterize DLL Algorithms with Clause Learning CoRR (2008)
Samuel R. Buss, Jan Hoffmann, Jan Johannsen
Resolution Trees with Lemmas: Resolution Refinements that Characterize DLL Algorithms with Clause Learning. Log. Methods Comput. Sci. 4 (4) (2008)
Samuel R. Buss, Jan Hoffmann
The NP-hardness of finding a directed acyclic graph for regular resolution. Theor. Comput. Sci. 396 (1-3) (2008)

Jan Hoffmann.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jan Hoffmann