Get started
Author

Steffen Jost

Observed name: Jost, Steffen
ORCID: 0000-0002-1807-9357
Observed ORCID: 0000-0002-1807-9357
OpenAlex ID: A5066882713
Static prediction of heap space usage for first-order functional programs
2003 · Martin Hofmann, Steffen Jost · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 301
Static determination of quantitative resource usage for higher-order programs
2010 · Steffen Jost, Kevin Hammond, et al. · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 120
Type-Based Amortised Heap-Space Analysis
2006 · Martin Hofmann, Steffen Jost · Lecture notes in computer science · 110
Static prediction of heap space usage for first-order functional programs
2003 · Martin Hofmann, Steffen Jost · ACM SIGPLAN Notices · 58
“Carbon Credits” for Resource-Bounded Computations Using Amortised Analysis
2009 · Steffen Jost, Hans-Wolfgang Loidl, et al. · Lecture notes in computer science · 49
Automatic amortised analysis of dynamic memory allocation for lazy functional programs
2012 · Hugo Simões, Pedro Vasconcelos, et al. · ACM SIGPLAN International Conference on Functional Programming (ICFP) · 30
Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages
2015 · Pedro Vasconcelos, Steffen Jost, et al. · Lecture notes in computer science · 23
Type-Based Cost Analysis for Lazy Functional Languages
2017 · Steffen Jost, Pedro Vasconcelos, et al. · Journal of Automated Reasoning · 20
Two decades of automatic amortized resource analysis
2022 · Jan Hoffmann, Steffen Jost · Mathematical Structures in Computer Science · 19
PDF
Static determination of quantitative resource usage for higher-order programs
2010 · Steffen Jost, Kevin Hammond, et al. · ACM SIGPLAN Notices · 15
Automated Amortised Analysis
2010 · Jost, Steffen · Electronic Theses of LMU Munich (Ludwig-Maximilians-Universität München) · 13
PDF
Automatic Amortised Worst-Case Execution Time Analysis
2007 · Herrmann, Christoph A., Bonenfant, Armelle, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 12
PDF
Towards Formally Verifiable WCET Analysis for a Functional Programming Language
2006 · Hammond, Kevin, Ferdinand, Christian, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 6
PDF
Automatic amortised analysis of dynamic memory allocation for lazy functional programs
2012 · Hugo Simões, Pedro Vasconcelos, et al. · ACM SIGPLAN Notices · 4
Improvements to a Resource Analysis for Hume
2010 · Hans-Wolfgang Loidl, Steffen Jost · Lecture notes in computer science · 4
The Embounded project (project start paper).
2005 · Kevin Hammond, Roy Dyckhoff, et al. · Trends in Functional Programming · 4
Decidable Inequalities over Infinite Trees
2018 · Sabine Bauer, Steffen Jost, et al. · EPiC series in computing · 3
PDF
A Proof-Carrying-Code Infrastructure for Resources
2009 · Hans-Wolfgang Loidl, Kenneth MacKenzie, et al. · Latin-American Symposium on Dependable Computing · 3
Proceedings Third Joint Workshop on Developments in Implicit Computational complExity and Foundational & Practical Aspects of Resource Analysis
2019 · Seiller, Thomas, Jost, Steffen · Electronic Proceedings in Theoretical Computer Science
Proceedings Third Joint Workshop on Developments in Implicit Computational complExity and Foundational & Practical Aspects of Resource Analysis
2019 · Steffen Jost · Electronic Proceedings in Theoretical Computer Science
Type-Based Amortised Heap-Space Analysis
2006 · Martin Hofmann, Steffen Jost
Works count: 32
Citation count: 797
H-index: 12
I10-index: 12
Year
Topic
Type