Steffen Jost

ORCID

Publication Activity (10 Years)

Years Active: 2003-2022
Publications (10 Years): 4

Top Venues

Math. Struct. Comput. Sci.

ESOP

LPAR

J. Autom. Reason.

Ludwig Maximilians University Munich (PHD)

Education History

Ludwig Maximilians University Munich

PHD

Publications

Jan Hoffmann, Steffen Jost
Two decades of automatic amortized resource analysis. Math. Struct. Comput. Sci. 32 (6) (2022)
Sabine Bauer, Steffen Jost, Martin Hofmann
Decidable Inequalities over Infinite Trees. LPAR (2018)
Steffen Jost, Pedro B. Vasconcelos, Mário Florido, Kevin Hammond
Type-Based Cost Analysis for Lazy Functional Languages. J. Autom. Reason. 59 (1) (2017)
Pedro B. Vasconcelos, Steffen Jost, Mário Florido, Kevin Hammond
Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages. ESOP (2015)
Hugo R. Simões, Pedro B. Vasconcelos, Mário Florido, Steffen Jost, Kevin Hammond
Automatic amortised analysis of dynamic memory allocation for lazy functional programs. ICFP (2012)
Steffen Jost, Kevin Hammond, Hans-Wolfgang Loidl, Martin Hofmann
Static determination of quantitative resource usage for higher-order programs. POPL (2010)
Steffen Jost, Hans-Wolfgang Loidl, Kevin Hammond, Norman Scaife, Martin Hofmann
"Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis. FM (2009)
Hans-Wolfgang Loidl, Steffen Jost
Improvements to a Resource Analysis for Hume. FOPARA (2009)
Abdallah Al Zain, Valerie Gibson, Greg J. Michaelson, Kevin Hammond, Steffen Jost, Hans-Wolfgang Loidl
Towards Hume SIMD vectorisation. EUSIPCO (2009)
Hans-Wolfgang Loidl, Kenneth MacKenzie, Steffen Jost, Lennart Beringer
A Proof-Carrying-Code Infrastructure for Resources. LADC (2009)
Christoph A. Herrmann, Armelle Bonenfant, Kevin Hammond, Steffen Jost, Hans-Wolfgang Loidl, Robert F. Pointon
Automatic Amortised Worst-Case Execution Time Analysis. WCET (2007)
Kevin Hammond, Christian Ferdinand, Reinhold Heckmann, Roy Dyckhoff, Martin Hofmann, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert F. Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace
Towards Formally Verifiable WCET Analysis for a Functional Programming Language. WCET (2006)
Martin Hofmann, Steffen Jost
Type-Based Amortised Heap-Space Analysis. ESOP (2006)
Kevin Hammond, Roy Dyckhoff, Christian Ferdinand, Reinhold Heckmann, Martin Hofmann, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert F. Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace
The Embounded project (project start paper). Trends in Functional Programming (2005)
Martin Hofmann, Steffen Jost
Static prediction of heap space usage for first-order functional programs. POPL (2003)

Steffen Jost.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Steffen Jost