Date
|
Paper(s) |
Presenter
|
Feb. 14, 2002
|
Martin Rinard, "Analysis of Multithreaded Programs." SAS'01
|
Shai Rubin
|
Feb. 21, 2002
|
Victor Kuncak, Patrick Lam, and Martin Rinard, "Role Analysis." Role Analysis. POPL'02
|
Glenn Ammons
|
Feb. 28, 2002
|
Sorin
Lerner, David Grove, Craig Chambers, "Composing dataflow analyses and
transformations." Pages 270-282, POPL 2002.
|
Raghavan Komondoor
|
Mar. 7, 2002
|
Chandrasekar Boyapati and Martin C. Rinard, "A Parameterized Type System for Race-Free Java Programs." OOPSLA 2001.
|
Denis Gopan
|
Mar. 14, 2002
|
Yefim
Shuf, Manish Gupta, Rajesh Bordawekar, Jaswinder Pal Singh, "Exploiting prolific types for memory management and optimizations." POPL 2002
|
David Melski
|
Mar. 21, 2002
|
Darren C. Atkinson, Markus Mock, Craig Chambers, and
Susan J. Eggers, "Program Slicing with Dynamic Points-To Data."
Submitted for publication.
|
Suanhsi Yong
|
Mar. 28, 2002
|
Spring Break -- No meeting
|
Spring Break -- No meeting
|
April 5, 2002
|
Frank Tip, "A survey
of program slicing techniques." Journal of Programming Languages.
|
mulhern
|
April 11, 2002
|
TBA
|
TBA
|
April 18, 2002
|
D. Bacon,
R. Strom, and A. Tarafdar. Guava: A dialect of Java without data
races. In Proceedings of the 15th Annual Conference on Object-Oriented
Programming Systems, Languages and Applications (OOPSLA), Portland, OR,
Oct. 2000.
|
Shai Rubin
|
April 25, 2002
|
Manuvir Das,
Sorin Lerner, and Mark Seigle, "ESP: Path-Sensitive Program Verification in
Polynomial Time." To appear in PLDI '02: Proceedings of the ACM SIGPLAN 2002
Conference on Programming Language Design and Implementation, Berlin, Germany,
June 2002
|
Glenn Ammons
|
May 2, 2002
|
Tom
Ball and Sriram Rajamani, "Generating Abstract Explanations of Spurious
Counterexamples in C Programs." Microsoft tech report MSR-TR-2002-09.
|
Raghavan Komondoor
|
May 23, 2002
|
MSR-TR-2001-20: Estimating the Impact of Scalable Pointer Analysis on Optimization. Manuvir Das; Manuel Fahndrich; Ben Liblit; Jakob Rehof. January 2001, 19 p.
|
Shai Rubin
|