Jan Hoffmann
Carnegie Mellon University
H-index: 25
North America-United States
Top articles of Jan Hoffmann
Title | Journal | Author(s) | Publication Date |
|---|---|---|---|
Modeling and analyzing evaluation cost of CUDA kernels | Proceedings of the ACM on Programming Languages | Stefan K Muller Jan Hoffmann | 2021/1/4 |
Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics | arXiv preprint arXiv:2309.01261 | Long Pham Jan Hoffmann | 2023/9/3 |
Automatic Amortized Resource Analysis with Regular Recursive Types | arXiv preprint arXiv:2304.13627 | Jessie Grosen David M Kahn Jan Hoffmann | 2023/4/26 |
Probabilistic resource-aware session types | Proceedings of the ACM on Programming Languages | Ankush Das Di Wang Jan Hoffmann | 2023/1/9 |
Preface for the special issue in homage to Martin Hofmann Part 2 | Mathematical Structures in Computer Science | Jan Hoffmann Donald Sannella Ulrich Schöpp | 2022/6/1 |
Two decades of automatic amortized resource analysis | Mathematical Structures in Computer Science | Jan Hoffmann Steffen Jost | 2022/6 |
Semantically Sound Resource Analysis with Nested Recursive Types | JESSIE GROSEN DAVID M KAHN JAN HOFFMANN | 2022 | |
29th EACSL Annual Conference on Computer Science Logic (CSL 2021) | Bartek Klin Assia Mahboubi Sylvain Schmitz Linda Westrick Samson Abramsky | 2021/1 | |
Sound probabilistic inference via guide types | Di Wang Jan Hoffmann Thomas Reps | 2021/6/19 | |
Central moment analysis for cost accumulators in probabilistic programs | Di Wang Jan Hoffmann Thomas Reps | 2021/6/19 | |
Expected-Cost Analysis for Probabilistic Programs and Semantics-Level Adaption of Optional Stopping Theorems | arXiv preprint arXiv:2103.16105 | Di Wang Jan Hoffmann Thomas Reps | 2021/3/30 |
Automatic amortized resource analysis with the quantum physicist’s method | Proceedings of the ACM on Programming Languages | David M Kahn Jan Hoffmann | 2021/8/18 |
A unifying type-theory for higher-order (amortized) cost analysis | Proceedings of the ACM on Programming Languages | Vineet Rajani Marco Gaboardi Deepak Garg Jan Hoffmann | 2021/1/4 |
Nomos: A Protocol-Enforcing, Asset-Tracking, and Gas-Aware Language for Smart Contracts | Ankush Das Jan Hoffmann Frank Pfenning | 2021 | |
Resource-aware session types for digital contracts | Ankush Das Stephanie Balzer Jan Hoffmann Frank Pfenning Ishani Santurkar | 2021/6/21 | |
Liquid resource types | Proceedings of the ACM on Programming Languages | Tristan Knoth Di Wang Adam Reynolds Jan Hoffmann Nadia Polikarpova | 2020/8/2 |
A Type-theory for Higher-order Amortized Cost Analysis | Vineet Rajani Marco Gaboardi Deepak Garg Jan Hoffmann | 2020/5 | |
Typable fragments of polynomial automatic amortized resource analysis | arXiv preprint arXiv:2010.16353 | Long Pham Jan Hoffmann | 2020/10/30 |
Exponential automatic amortized resource analysis | David M Kahn Jan Hoffmann | 2020 | |
Lecture 10-11: Precious Little Diamond | Jan Hoffmann | 2020/10/13 |
Co-Authors
