BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
3 × USA
Collaborated with:
T.Chevalier A.P.Tolmach Z.Shao C.Lin L.Li V.Menon N.Glew B.R.Murphy T.Shpeisman A.Adl-Tabatabai L.Petersen
Talks about:
framework (2) certifi (2) garbag (2) compil (2) represent (1) collector (1) program (1) languag (1) general (1) collect (1)

Person: Andrew McCreight

DBLP DBLP: McCreight:Andrew

Contributed to:

ICFP 20102010
PLDI 20072007
POPL 20062006

Wrote 3 papers:

ICFP-2010-McCreightCT #compilation #framework #garbage collection
A certified framework for compiling and executing garbage-collected languages (AM, TC, APT), pp. 273–284.
PLDI-2007-McCreightSLL #framework #garbage collection
A general framework for certifying garbage collectors and their mutators (AM, ZS, CL, LL), pp. 468–479.
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.

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.