| Static prediction of heap space usage for first-order functional programs M Hofmann, S Jost ACM SIGPLAN Notices 38 (1), 185-197, 2003 | 412 | 2003 |
| Type-based amortised heap-space analysis M Hofmann, S Jost European Symposium on Programming, 22-37, 2006 | 154 | 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 | 148 | 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 | 57 | 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 | 32 | 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 | 21 | 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 | 19 | 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 | 16 | 2017 |
| Automated amortised analysis S Jost lmu, 2010 | 15 | 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 | 10 | 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 | 9 | 2009 |
| Improvements to a resource analysis for hume HW Loidl, S Jost International Workshop on Foundational and Practical Aspects of Resource …, 2009 | 6 | 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 | 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 | 5 | 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 | 3 | |
| From higher-order art to arthur S Jost A Talk at the Colloquium of” Graduiertenkolleg Logik in der Informatik” LMU …, 2004 | 2 | 2004 |
| Decidable Inequalities over Infinite Trees. S Bauer, S Jost, M Hofmann LPAR, 111-130, 2018 | 1 | 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 | 1 | 2009 |
| Carbon Credits” for Resource-Bounded Computations S Jost, K Hammond, HW Loidl, M Hofmann Higher-order and Symbolic Computation, 2009 | 1 | 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 | 1 | 2008 |
Kevin HammondTechnology Manager, IOHKVerified email at iohk.io
