BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Cyprus
1 × Japan
2 × United Kingdom
5 × USA
Collaborated with:
Z.Shao M.Hofmann K.Aehlig Q.Carbonneaux M.Marmar N.R.Krishnaswami N.Benton T.Ramananandro
Talks about:
resourc (5) analysi (4) program (3) bound (3) amort (3) space (2) end (2) multivari (1) polynomi (1) parallel (1)

Person: Jan Hoffmann

DBLP DBLP: Hoffmann:Jan

Contributed to:

ESOP 20152015
PLDI 20152015
FLOPS 20142014
PLDI 20142014
LICS 20132013
CAV 20122012
POPL 20122012
POPL 20112011
ESOP 20102010

Wrote 9 papers:

ESOP-2015-0002S #automation #cost analysis #parallel #source code
Automatic Static Cost Analysis for Parallel Programs (JH, ZS), pp. 132–157.
PLDI-2015-Carbonneaux0S #bound #composition
Compositional certified resource bounds (QC, JH, ZS), pp. 467–478.
FLOPS-2014-HoffmannS #analysis #array #integer #type system
Type-Based Amortized Resource Analysis with Integers and Arrays (JH, ZS), pp. 152–168.
PLDI-2014-Carbonneaux0RS #bound #c #source code #verification
End-to-end verification of stack-space bounds for C programs (QC, JH, TR, ZS), p. 30.
LICS-2013-HoffmannMS #proving #reasoning
Quantitative Reasoning for Proving Lock-Freedom (JH, MM, ZS), pp. 124–133.
CAV-2012-0002AH #ml
Resource Aware ML (JH, KA, MH), pp. 781–786.
POPL-2012-KrishnaswamiBH #bound #functional #higher-order #programming
Higher-order functional reactive programming in bounded space (NRK, NB, JH), pp. 45–58.
POPL-2011-HoffmannAH #analysis #multi
Multivariate amortized resource analysis (JH, KA, MH), pp. 357–370.
ESOP-2010-HoffmannH #analysis #polynomial
Amortized Resource Analysis with Polynomial Potential (JH, MH), pp. 287–306.
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.