BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Jost:Steffen

Contributed to:

ESOP 20152015
ICFP 20122012
POPL 20102010
FM 20092009
ESOP 20062006
POPL 20032003

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.