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
Type-based amortised heap-space analysis
M Hofmann, S Jost
European Symposium on Programming, 22-37, 2006
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
“Carbon Credits” for Resource-Bounded Computations using Amortised Analysis
S Jost, HW Loidl, K Hammond, N Scaife, M Hofmann
International Symposium on Formal Methods, 354-369, 2009
Automatic amortised analysis of dynamic memory allocation for lazy functional programs
H Simões, P Vasconcelos, M Florido, S Jost, K Hammond
Proceedings of the 17th ACM SIGPLAN international conference on Functional …, 2012
Type-based allocation analysis for co-recursion in lazy functional languages
P Vasconcelos, S Jost, M Florido, K Hammond
European Symposium on Programming Languages and Systems, 787-811, 2015
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
Type-based cost analysis for lazy functional languages
S Jost, P Vasconcelos, M Florido, K Hammond
Journal of Automated Reasoning 59 (1), 87-120, 2017
Automated amortised analysis
S Jost
lmu, 2010
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
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
Improvements to a resource analysis for hume
HW Loidl, S Jost
International Workshop on Foundational and Practical Aspects of Resource …, 2009
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
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
Type-based amortised heap space analysis.(complete soundness proof
M Hofmann, S Jost, D Rodriguez
In http://raja. tcs. ifi. lmu. de/download/files/rajaSoundProof. pdf, 0
From higher-order art to arthur
S Jost
A Talk at the Colloquium of” Graduiertenkolleg Logik in der Informatik” LMU …, 2004
Decidable Inequalities over Infinite Trees.
S Bauer, S Jost, M Hofmann
LPAR, 111-130, 2018
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
Costing by construction: Compositional design and verification of embedded applications using the hume software development methodology
N Scaife, K Hammond, S Jost, HW Loidl, G Michaelson, J Sérot
14th IEEE Real-Time and Embedded Technology and Applications Symposium, St …, 2008
The system can't perform the operation now. Try again later.
Articles 1–20