Steffen Jost

Orcid: 0000-0002-1807-9357

Affiliations:
  • Ludwig Maximilian University of Munich, Germany


According to our database1, Steffen Jost authored at least 16 papers between 2003 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Two decades of automatic amortized resource analysis.
Math. Struct. Comput. Sci., June, 2022

2018
Decidable Inequalities over Infinite Trees.
Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

2017
Type-Based Cost Analysis for Lazy Functional Languages.
J. Autom. Reason., 2017

2015
Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages.
Proceedings of the Programming Languages and Systems, 2015

2012
Automatic amortised analysis of dynamic memory allocation for lazy functional programs.
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

2010
Automated amortised analysis.
PhD thesis, 2010

Static determination of quantitative resource usage for higher-order programs.
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

2009
A Proof-Carrying-Code Infrastructure for Resources.
Proceedings of the Fourth Latin-American Symposium on Dependable Computing, 2009

Improvements to a Resource Analysis for Hume.
Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2009

"Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis.
Proceedings of the FM 2009: Formal Methods, 2009

Towards Hume SIMD vectorisation.
Proceedings of the 17th European Signal Processing Conference, 2009

2007
Automatic Amortised Worst-Case Execution Time Analysis.
Proceedings of the 7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2007

2006
Towards Formally Verifiable WCET Analysis for a Functional Programming Language.
Proceedings of the 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2006

Type-Based Amortised Heap-Space Analysis.
Proceedings of the Programming Languages and Systems, 2006

2005
The Embounded project (project start paper).
Proceedings of the Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, 2005

2003
Static prediction of heap space usage for first-order functional programs.
Proceedings of the Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2003


  Loading...