Travelled to:
1 × Germany
1 × Spain
Collaborated with:
M.Das S.Lerner S.Adams T.Ball S.K.Rajamani W.Weimer
Talks about:
analysi (2) polynomi (1) insensit (1) dataflow (1) program (1) pointer (1) sensit (1) verif (1) speed (1) time (1)
Person: Mark Seigle
DBLP: Seigle:Mark
Contributed to:
Wrote 2 papers:
- PLDI-2002-DasLS #named #polynomial #verification
- ESP: Path-Sensitive Program Verification in Polynomial Time (MD, SL, MS), pp. 57–68.
- SAS-2002-AdamsBDLRSW #analysis #data flow #pointer #using
- Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis (SA, TB, MD, SL, SKR, MS, WW), pp. 230–246.