Travelled to:
1 × Canada
3 × USA
Collaborated with:
J.Choi R.Cytron V.Sarkar G.A.Fisher V.C.Sreedhar P.R.Carini J.Zhao J.Ferrante W.C.Hsieh D.Shields
Talks about:
interprocedur (3) parallel (3) analysi (2) sensit (2) flow (2) retrospect (1) framework (1) discoveri (1) recoveri (1) diagnosi (1)
Person: Michael G. Burke
DBLP: Burke:Michael_G=
Contributed to:
Wrote 6 papers:
- PLDI-2000-SreedharBC #framework #interprocedural #optimisation
- A framework for interprocedural optimization in the presence of dynamic class loading (VCS, MGB, JDC), pp. 196–207.
- POPL-1993-ChoiBC #alias #interprocedural #performance #pointer
- Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects (JDC, MGB, PRC), pp. 232–245.
- PPEALS-1988-BurkeCFHSS #automation #empirical #parallel
- Automatic Discovery of Parallelism: A Tool and an Experiment (MGB, RC, JF, WCH, VS, DS), pp. 77–84.
- Best-of-PLDI-1986-BurkeC #analysis #dependence #interprocedural #parallel
- Interprocedural dependence analysis and parallelization (with retrospective) (MGB, RC), pp. 139–154.
- SCC-1982-BurkeF #fault
- A Practical Method for Syntactic Error Diagnosis and Recovery (MGB, GAF), pp. 67–78.
- CC-2018-ZhaoBS #analysis #parallel #points-to
- Parallel sparse flow-sensitive points-to analysis (JZ, MGB, VS), pp. 59–70.