| Static prediction of heap space usage for first-order functional programs M Hofmann, S Jost ACM SIGPLAN Notices 38 (1), 185-197, 2003 | 476 | 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 | 190 | 2010 |
| Type-based amortised heap-space analysis M Hofmann, S Jost Programming Languages and Systems: 15th European Symposium on Programming …, 2006 | 175 | 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 | 66 | 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 | 49 | 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 | 30 | 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 | 25 | 2015 |
| Automated amortised analysis S Jost lmu, 2010 | 22 | 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 | 19 | 2007 |
| Two decades of automatic amortized resource analysis J Hoffmann, S Jost Mathematical Structures in Computer Science 32 (6), 729-759, 2022 | 14 | 2022 |
| 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 | 11 | 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 | 10 | 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 | 8 | 2009 |
| Improvements to a resource analysis for Hume HW Loidl, S Jost International Workshop on Foundational and Practical Aspects of Resource …, 2009 | 6 | 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 | 6 | 2009 |
| Decidable Inequalities over Infinite Trees. S Bauer, S Jost, M Hofmann LPAR, 111-130, 2018 | 4 | 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 | 3 | |
| From higher-order art to arthur S Jost A Talk at the Colloquium of” Graduiertenkolleg Logik in der Informatik” LMU …, 2004 | 2 | 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 | 1 | 2009 |
| Carbon Credits” for Resource-Bounded Computations S Jost, K Hammond, HW Loidl, M Hofmann Higher-order and Symbolic Computation, 2009 | 1 | 2009 |
Roy DyckhoffHon. Senior Lecturer, St Andrews UniversityVerified email at st-andrews.ac.uk
