Travelled to:
1 × Canada
Collaborated with:
M.D.Linderman D.L.Dill T.H.Y.Meng G.P.Nolan
Talks about:
program (1) analysi (1) toward (1) precis (1) optim (1) numer (1) autom (1)
Person: Matthew Ho
DBLP: Ho:Matthew
Contributed to:
Wrote 1 papers:
- CGO-2010-LindermanHDMN #analysis #automation #optimisation #precise #towards
- Towards program optimization through automated analysis of numerical precision (MDL, MH, DLD, THYM, GPN), pp. 230–237.