Steffen Jost
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2003–2018
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | LPAR | Decidable Inequalities over Infinite Trees. | Sabine Bauer, Steffen Jost, Martin Hofmann |
| 2015 | ESOP | Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages. | Pedro B. Vasconcelos, Steffen Jost, Mrio Florido, Kevin Hammond |
| 2012 | ICFP | Automatic amortised analysis of dynamic memory allocation for lazy functional programs. | Hugo R. Simes, Pedro B. Vasconcelos, Mrio Florido, Steffen Jost, Kevin Hammond |
| 2010 | POPL | Static determination of quantitative resource usage for higher-order programs. | Steffen Jost, Kevin Hammond, Hans-Wolfgang Loidl, Martin Hofmann |
| 2009 | FM | "Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis. | Steffen Jost, Hans-Wolfgang Loidl, Kevin Hammond, Norman Scaife, Martin Hofmann |
| 2006 | ESOP | Type-Based Amortised Heap-Space Analysis. | Martin Hofmann, Steffen Jost |
| 2003 | POPL | Static prediction of heap space usage for first-order functional programs. | Martin Hofmann, Steffen Jost |