Mark Seigle

According to our database, Mark Seigle authored at least 2 papers in 2002.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2002

Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis.

Stephen Adams, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram K. Rajamani, Mark Seigle, Westley Weimer

Proceedings of the Static Analysis, 9th International Symposium, 2002

ESP: Path-Sensitive Program Verification in Polynomial Time.

Manuvir Das, Sorin Lerner, Mark Seigle

Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2002