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 × Estonia
1 × Spain
1 × The Netherlands
1 × United Kingdom
2 × France
6 × USA
Collaborated with:
L.Petersen J.Palsberg J.G.Morrisett T.A.Anderson H.Liu D.Walker D.A.Orchard C.Grothoff L.Jia F.Spalding K.Crary V.Menon B.R.Murphy A.McCreight T.Shpeisman A.Adl-Tabatabai
Talks about:
type (6) safe (4) languag (3) haskel (3) compil (3) assembl (2) interprocedur (1) architectur (1) represent (1) research (1)

Person: Neal Glew

DBLP DBLP: Glew:Neal

Contributed to:

ICFP 20132013
IFL 20132013
CC 20122012
POPL 20062006
LICS 20052005
SAS 20052005
ECOOP 20022002
ESOP 20022002
OOPSLA 20002000
ICFP 19991999
POPL 19991999
POPL 19981998
Haskell 20132013

Wrote 13 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.
LICS-2005-JiaSWG #compilation #stack
Certifying Compilation for a Language with Stack Allocation (LJ, FS, DW, NG), pp. 407–416.
SAS-2005-GlewPG #architecture #optimisation #plugin #type safety
Type-Safe Optimisation of Plugin Architectures (NG, JP, CG), pp. 135–154.
ECOOP-2002-GlewP #type safety
Type-Safe Method Inlining (NG, JP), pp. 525–544.
ESOP-2002-Glew #formal method #higher-order
A Theory of Second-Order Trees (NG), pp. 147–161.
OOPSLA-2000-Glew #encoding #performance
An efficient class and object encoding (NG), pp. 311–324.
Type Dispatch for Named Hierarchical Types (NG), pp. 172–182.
POPL-1999-GlewM #assembly #composition #type safety
Type-Safe Linking and Modular Assembly Language (NG, JGM), pp. 250–261.
POPL-1998-MorrisettWCG #assembly #system f
From System F to Typed Assembly Language (JGM, DW, KC, NG), pp. 85–97.
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.