Steffen Jost

17 papers A* 2A 3B 2Journal 2Unranked 6
YearRankTypeTitle / Venue / Authors
2022 J jnl
Two decades of automatic amortized resource analysis.
Math. Struct. Comput. Sci.
Jan Hoffmann, Steffen Jost
2019 — ed.
Proceedings Third Joint Workshop on Developments in Implicit Computational complExity and Foundational & Practical Aspects of Resource Analysis, DICE-FOPARA@ETAPS 2019, Prague, Czech Republic, April 6-7, 2019.
DICE-FOPARA@ETAPS
Thomas Seiller, Steffen Jost
2018 B conf
Decidable Inequalities over Infinite Trees.
LPAR
Sabine Bauer, Steffen Jost, Martin Hofmann
2017 J jnl
Type-Based Cost Analysis for Lazy Functional Languages.
J. Autom. Reason.
Steffen Jost, Pedro B. Vasconcelos, Mário Florido, Kevin Hammond
2015 A conf
Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages.
ESOP
Pedro B. Vasconcelos, Steffen Jost, Mário Florido, Kevin Hammond
2012 A conf
Automatic amortised analysis of dynamic memory allocation for lazy functional programs.
ICFP
Hugo R. Simões, Pedro B. Vasconcelos, Mário Florido, Steffen Jost, Kevin Hammond
2010 — —
Automated amortised analysis.
Steffen Jost
2010 A* conf
Static determination of quantitative resource usage for higher-order programs.
POPL
Steffen Jost, Kevin Hammond, Hans-Wolfgang Loidl, Martin Hofmann
2009 B conf
"Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis.
FM
Steffen Jost, Hans-Wolfgang Loidl, Kevin Hammond, Norman Scaife, Martin Hofmann
2009 — conf
A Proof-Carrying-Code Infrastructure for Resources.
LADC
Hans-Wolfgang Loidl, Kenneth MacKenzie, Steffen Jost, Lennart Beringer
2009 — conf
Improvements to a Resource Analysis for Hume.
FOPARA
Hans-Wolfgang Loidl, Steffen Jost
2009 — conf
Towards Hume SIMD vectorisation.
EUSIPCO
Abdallah Al Zain, Valerie Gibson, Greg J. Michaelson, Kevin Hammond, Steffen Jost, Hans-Wolfgang Loidl
2007 — conf
Automatic Amortised Worst-Case Execution Time Analysis.
WCET
Christoph A. Herrmann, Armelle Bonenfant, Kevin Hammond, Steffen Jost, Hans-Wolfgang Loidl, Robert F. Pointon
2006 — conf
Towards Formally Verifiable WCET Analysis for a Functional Programming Language.
WCET
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
2006 A conf
Type-Based Amortised Heap-Space Analysis.
ESOP
Martin Hofmann, Steffen Jost
2005 — conf
The Embounded project (project start paper).
Trends in Functional Programming
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
2003 A* conf
Static prediction of heap space usage for first-order functional programs.
POPL
Martin Hofmann, Steffen Jost