3 × USA
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
framework (2) certifi (2) garbag (2) compil (2) represent (1) collector (1) program (1) languag (1) general (1) collect (1)
Person: Andrew McCreight
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.