MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Mark Seigle" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Path-Sensitive Program Verification in Polynomial Time
by Manuvir Das, Sorin Lerner, Mark Seigle — 2002
…Path-Sensitive Program Verification in Polynomial Time Manuvir Das Sorin Lerner Mark Seigle…
Cited by 39 (0 self) – Add To MetaCart

Speeding up dataflow analysis using flow-insensitive pointer analysis
by Stephen Adams, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram K. Rajamani, Mark Seigle, Westley Weimer — 2002 — SAS (2002), LNCS 2477
… Ball 1 , Manuvir Das 1 , Sorin Lerner 2 , Sriram K. Rajamani 1 , Mark Seigle 2 , and Westley Weimer 3 1…
Cited by 4 (2 self) – Add To MetaCart

Speeding UpDa263 wAna13E Using Flow-Insensitive PointerAna361 StephenAdam
by Thomc Ball Manuvir, Stephen Adams, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram K. Rajamani, Mark Seigle, Westley Weimer — 2002 — SAS (2002), LNCS 2477
… Ball 1 , Manuvir Das 1 , Sorin Lerner 2 , Sriram K. Rajamani 1 , Mark Seigle 2 , and Westley Weimer 3 1…
Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB