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 × Estonia
1 × Finland
1 × The Netherlands
3 × USA
Collaborated with:
N.Glew T.A.Anderson H.Liu D.A.Orchard K.B.Bruce A.Fiech R.Harper K.Crary F.Pfenning V.Menon B.R.Murphy A.McCreight T.Shpeisman A.Adl-Tabatabai
Talks about:
haskel (3) compil (2) interprocedur (1) represent (1) research (1) program (1) languag (1) automat (1) aggress (1) verifi (1)

Person: Leaf Petersen

DBLP DBLP: Petersen:Leaf

Contributed to:

ICFP 20132013
IFL 20132013
CC 20122012
POPL 20062006
POPL 20032003
ECOOP 19971997
Haskell 20132013

Wrote 7 papers:

ICFP-2013-PetersenOG #automation #haskell
Automatic SIMD vectorization for Haskell (LP, DAO, NG), pp. 25–36.
IFL-2013-PetersenALG #haskell
Measuring the Haskell Gap (LP, TAA, HL, NG), p. 61.
CC-2012-PetersenG #garbage collection #interprocedural
GC-Safe Interprocedural Unboxing (LP, NG), pp. 165–184.
POPL-2006-MenonGMMSAP #compilation #optimisation #representation
A verifiable SSA program representation for aggressive compiler optimization (VM, NG, BRM, AM, TS, ARAT, LP), pp. 397–408.
POPL-2003-PetersenHCP #layout #memory management #type system
A type theory for memory allocation and data layout (LP, RH, KC, FP), pp. 172–184.
ECOOP-1997-BrucePF #object-oriented #type system
Subtyping Is Not a Good “Match” for Object-Oriented Languages (KBB, LP, AF), pp. 104–127.
Haskell-2013-LiuGPA #compilation #haskell #research
The Intel labs Haskell research compiler (HL, NG, LP, TAA), pp. 105–116.
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.