Travelled to:1 × Austria
1 × Denmark
1 × Spain
1 × The Netherlands
1 × USA
1 × United Kingdom
Collaborated with:M.Hofmann K.Hammond P.B.Vasconcelos M.Florido H.Loidl H.R.Simões N.Scaife
Talks about:analysi (4) function (3) program (3) amortis (3) resourc (2) static (2) space (2) order (2) alloc (2) usag (2)
Person: Steffen Jost
DBLP: Jost:Steffen
Contributed to:
2015
2012
2010
200920062003Wrote 6 papers:
- ESOP-2015-VasconcelosJFH #analysis #functional #lazy evaluation #recursion #type system
- Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages (PBV, SJ, MF, KH), pp. 787–811.
- ICFP-2012-SimoesVFJH #analysis #automation #functional #lazy evaluation #memory management #source code
- Automatic amortised analysis of dynamic memory allocation for lazy functional programs (HRS, PBV, MF, SJ, KH), pp. 165–176.
- POPL-2010-JostHLH #higher-order #resource management #source code
- Static determination of quantitative resource usage for higher-order programs (SJ, KH, HWL, MH), pp. 223–236.
- FM-2009-JostLHSH #analysis #bound #using
- “Carbon Credits” for Resource-Bounded Computations Using Amortised Analysis (SJ, HWL, KH, NS, MH), pp. 354–369.
- ESOP-2006-HofmannJ #analysis #type system
- Type-Based Amortised Heap-Space Analysis (MH, SJ), pp. 22–37.
- POPL-2003-HofmannJ #first-order #functional #predict #source code
- Static prediction of heap space usage for first-order functional programs (MH, SJ), pp. 185–197.