Publications by Steffen Jost

Collected bibliography in BibTeX format.

Year Venue Files / Links
   Title
2017
Journal of Automated Reasoning
pdf

DOI: 10.1007/s10817-016-9398-9
Type-Based Cost Analysis for Lazy Functional Languages
2015
ESOP
14-16 Apr, London, UK
pdf

Online Prototype
Type-based Allocation Analysis for Co-Recursion in Lazy Functional Languages
2012
ICFP
9-15 Sep, Copenhagen, Denmark
pdf
bib

Automatic Amortised Analysis of Dynamic Memory Allocation for Lazy Functional Programs
2010
Thesis
9 Aug, LMU Munich
pdf bib
Automated Amortised Analysis
POPL
20-22 Jan, Madrid, Spain
pdf bib errata slides Static Determination of Quantitative Resource Usage for Higher-Order Programs
2009 Formal Methods
2-6 Nov, Eindhoven, the Netherlands
pdf bib slides
"Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis
FOPARA
3 Nov, Eindhoven, the Netherlands
pdf bib slides
Improvements to a Resource Analysis for Hume
LADC
1-4 Sep, João Pessoa, Brazil
pdf bib
A Proof-carrying-code Infrastructure for Resources
EUSIPCO
24-28 Aug, Glasgow, Scotland
pdf bib
Towards Hume SIMD Vectorisation
ECRTS
1-3 Jul, Dublin, Ireland
pdf bib
Worst-Case Execution Time Analysis through Types
2007 WCET
3 Jul, Pisa, Italy
pdf bib
Automatic Amortised Worst-Case Execution Time Analysis
2006 WCET
4 Jul, Dresden, Germany
pdf bib
Towards Formally Verifiable WCET Analysis for a Functional Programming Language
ESOP
25-2 Mar/Apr, Vienna, Austria
pdf bib slides Type-Based Amortised Heap-Space Analysis (for an Object-Oriented Language)
2003 POPL
15-17 Jan, New Orleans, USA
pdf bib FAQ Static Prediction of Heap Space Usage for First-Order Functional Programs
2002 Diploma Thesis
28 Feb, Darmstadt, Germany
pdf bib
Static Prediction of Dynamic Space Usage of Linear Functional Programs
Documents available for download here may contain minor corrections as compared to the printed version without further notice.

February 2017
Back to homepage