Steffen Jost
Steffen Jost
Akademischer Rat, Theoretical Computer Science, LMU München
Verified email at - Homepage
Cited by
Cited by
Static prediction of heap space usage for first-order functional programs
M Hofmann, S Jost
ACM SIGPLAN Notices 38 (1), 185-197, 2003
Static determination of quantitative resource usage for higher-order programs
S Jost, K Hammond, HW Loidl, M Hofmann
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2010
Type-based amortised heap-space analysis
M Hofmann, S Jost
Programming Languages and Systems: 15th European Symposium on Programming …, 2006
“Carbon Credits” for resource-bounded computations using amortised analysis
S Jost, HW Loidl, K Hammond, N Scaife, M Hofmann
FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands …, 2009
Automatic amortised analysis of dynamic memory allocation for lazy functional programs
H Simoes, P Vasconcelos, M Florido, S Jost, K Hammond
Proceedings of the 17th ACM SIGPLAN international conference on Functional …, 2012
Type-based cost analysis for lazy functional languages
S Jost, P Vasconcelos, M Florido, K Hammond
Journal of Automated Reasoning 59, 87-120, 2017
Type-based allocation analysis for co-recursion in lazy functional languages
P Vasconcelos, S Jost, M Florido, K Hammond
Programming Languages and Systems: 24th European Symposium on Programming …, 2015
Automated amortised analysis
S Jost
lmu, 2010
Automatic amortised worst-case execution time analysis
CA Herrmann, A Bonenfant, K Hammond, S Jost, HW Loidl, R Pointon
7th International Workshop on Worst-Case Execution Time Analysis (WCET'07)(2007), 2007
Towards formally verifiable WCET analysis for a functional programming language
K Hammond, C Ferdinand, R Heckmann, R Dyckhoff, M Hofman, S Jost, ...
6th International Workshop on Worst-Case Execution Time Analysis (WCET'06)(2006), 2006
Worst-case execution time analysis through types
S Jost, HW Loidl, N Scaife, K Hammond, G Michaelson, M Hofmann
Proc. of Euromicro Conference on Real-Time Systems (ECRTS’09), 13-17, 2009
Two decades of automatic amortized resource analysis
J Hoffmann, S Jost
Mathematical Structures in Computer Science 32 (6), 729-759, 2022
Hume cost analyses for imperative programs
G Grov, G Michaelson, C Herrmann, HW Loidl, S Jost, K Hammond
Proceedings of International Conference on Software Engineering Theory and …, 2009
Improvements to a resource analysis for hume
HW Loidl, S Jost
International Workshop on Foundational and Practical Aspects of Resource …, 2009
A Proof-carrying-code Infrastructure for Resources
HW Loidl, K MacKenzie, S Jost, L Beringer
2009 Fourth Latin-American Symposium on Dependable Computing, 127-134, 2009
Decidable Inequalities over Infinite Trees.
S Bauer, S Jost, M Hofmann
LPAR, 111-130, 2018
Type-based amortised heap space analysis.(complete soundness proof)
M Hofmann, S Jost, D Rodriguez
Unpublished manuscript. Available from: http://www. tcs. ifi. lmu. de …, 0
From higher-order art to arthur
S Jost
A Talk at the Colloquium of” Graduiertenkolleg Logik in der Informatik” LMU …, 2004
Automatic amortised resource analysis for hume
K Hammond, S Jost, HW Loidl, P Vasconcelos
Scotland: School of Computing Science, University of St Andrews, 2009
Carbon Credits” for Resource-Bounded Computations
S Jost, K Hammond, HW Loidl, M Hofmann
Higher-order and Symbolic Computation, 2009
The system can't perform the operation now. Try again later.
Articles 1–20