Mark Seigle

Publication Activity (10 Years)

Years Active: 2002-2002
Publications (10 Years): 0

Publications

Stephen Adams, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram K. Rajamani, Mark Seigle, Westley Weimer
Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis. SAS (2002)
Manuvir Das, Sorin Lerner, Mark Seigle
ESP: Path-Sensitive Program Verification in Polynomial Time. PLDI (2002)