Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Mark
Last name:	Seigle
DBLP:	04/3351
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 2 of 2  

Select a publication
Show	Title	Venue	Rating	Date
	Manuvir Das, Sorin Lerner, Mark Seigle. ESP: Path-Sensitive Program Verification in Polynomial Time.	PLDI 2002	(0)	2002
	Stephen Adams, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram K. Rajamani, Mark Seigle, Westley Weimer. Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis.	Static Analysis, 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002, Proceedings 2002	(0)	2002

Your query returned 2 matches in the database.