Mark Seigle

2002
2	EE	Manuvir Das, Sorin Lerner, Mark Seigle: ESP: Path-Sensitive Program Verification in Polynomial Time. PLDI 2002: 57-68
1	EE	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: 230-246

Coauthor Index

1	Stephen Adams	[1]
2	Thomas Ball	[1]
3	Manuvir Das	[1] [2]
4	Sorin Lerner	[1] [2]
5	Sriram K. Rajamani	[1]
6	Westley Weimer	[1]