| Date |
Paper | Presenter |
|---|---|---|
| Sep. 9, 2002 |
Ran Shaham,
Elliot K. Kolodner, and Mooly
Sagiv, On the Effectiveness
of GC in Java. The 2000 International Symposium on Memory
Management (ISMM '00) Minneapolis, Minnesota, USA, October 2000.
|
Mulhern |
| Sep. 16, 2002 |
Region-based memory management in cyclone Dan Grossman, Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, James Cheney, Pages: 282 - 293, PLDI 2002. |
Suan Yong |
| Sep. 23, 2002 |
Optimizing Java Programs in the Presence of
Exceptions Manish Gupta, Jong-Deok Choi, and Michael Hind Pages: 422 - 446, ECOOP 2000. |
Raghavan Komondoor |
| Sep. 30, 2002 |
Soft Typing Robert Cartwright and Mike Fagan, Pages: 278-292, PLDI '91. |
Kent Hunter |
| Oct. 7, 2002 |
Intrusion detection via static analysis D. Wagner and D. Dean IEEE Symposium on Security and Privacy, 2001, Pages: 156-168. |
Shai Rubin |
| Oct. 14, 2002 |
Dynamic typing as staged type inference M. Shields and T. Sheard and S. P. Jones, POPL 1998, pages: 289-302. |
Glenn Ammons |
| Oct. 28, 2002 |
Analyzing security protocols with secrecy types and logic programs M. Abadi and B. Blanchet, POPL 2002, pages: 33-44. |
Denis Gopan |
| Nov. 4, 2002 |
From Symptom to Cause: Localizing Errors in Counterexample
Traces T. Ball, M. Naik and S. K. Rajamani, POPL 2003. |
Alexey Loginov |
| Nov. 11, 2002 |
Fast Copy Coalescing and Live-Range
Identification Z. Budimlic, K. Cooper, T. Harvey, K. Kennedy, T. Oberg, and S. Reeves, PLDI 2002. |
Suan Yong |
| Nov. 25, 2002 |
Systematic design of program transformation
frameworks by abstract interpretation P. Cousot and R. Cousot, POPL 2002. |
Raghavan Komondoor |
| Dec. 9, 2002 |
Profile-Directed Optimization of Event-based
Programs M. Rajagopolan, S. K. Debray, M. A. Hiltunen, and R. D. Schlichting, PLDI 2002. |
Glenn Ammons |
| Dec. 16, 2002 |
MOPS: An Infrastructure for Examining Security Properties of Software H. Chen and D. Wagner, CCS 2002. |
Shai Rubin |