Travelled to:1 × Germany
3 × USA
Collaborated with:J.W.Davidson W.Zhao D.B.Whalley K.Gallivan P.A.Kulkarni H.Moon K.Cho Y.Paek B.Cai R.v.Engelen X.Yuan J.Hiser D.L.Jones
Talks about:procedur (2) sequenc (2) call (2) construct (1) interact (1) diagnost (1) program (1) generat (1) convent (1) target (1)
Person: Mark W. Bailey
DBLP: Bailey:Mark_W=
Contributed to:
20032002
1996
1995Wrote 4 papers:
- LCTES-2003-KulkarniZMCWDBPG #effectiveness #optimisation #sequence
- Finding effective optimization phase sequences (PAK, WZ, HM, KC, DBW, JWD, MWB, YP, KG), pp. 12–23.
- LCTES-SCOPES-2002-ZhaoCWBEYHDGJ #interactive #named
- VISTA: a system for interactive code improvement (WZ, BC, DBW, MWB, RvE, XY, JH, JWD, KG, DLJ), pp. 155–164.
- PLDI-1996-BaileyD #generative #sequence #source code
- Target-Sensitive Construction of Diagnostic Programs for Procedure Calling Sequence Generators (MWB, JWD), pp. 249–257.
- POPL-1995-BaileyD #formal method
- A Formal Model of Procedure Calling Conventions (MWB, JWD), pp. 298–310.