`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:

### Wrote 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.