Searching for authors named "Mark Seigle" – sorted by Relevance.
-
Path-Sensitive Program Verification in Polynomial Time
- 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
- 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
- Ball 1 , Manuvir Das 1 , Sorin Lerner 2 , Sriram K. Rajamani 1 , Mark Seigle 2 , and Westley Weimer 3 1
- Add To MetaCart

