Mark Seigle

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

Last update Sun Feb 12 22:50:56 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page