| Date |
Paper | Presenter |
|---|---|---|
| Sep. 22, 2003 |
Dinakar Dhurjati, Sumant Kowshik, Vikram Adve, Chris Lattner.
Memory safety without runtime checks or garbage collection. LCTES'03. [ ACM ] | Suan |
| Sep. 29, 2003 |
Gilad Bracha, Martin Odersky, David Stoutamire
Making the future safe for the past: Adding Genericity to the Java Programming Language OOPSLA 1998 [ Citeseer ] | Mulhern |
| Oct. 6, 2003 |
Robert Cartwright, Guy L. Steele Jr.
Compatible Genericity with Run-time Types for the Java Programming Language OOPSLA '98 [ Citeseer ] | Mulhern |
| Oct. 13, 2003 |
Peter Canning, William Cook, Walter Hill, Walter Olthoff, John C. Mitchell.
F-Bounded Polymorphism for Object-Oriented Programming 4th international conference on Functional Programming Languages and Computer Architecture, 1990. [ ACM ] | Mulhern |
| Oct. 20, 2003 |
M.Odersky, P.Wadler.
Pizza into Java: Translating theory into practice. POPL '97. [ Odersky ] | Kent |
| Oct. 27, 2003 |
Eric Allen, Robert Cartwright .
The case for run-time types in generic Java. Principles and Practice of programming / Intermediate representation engineering for virtual machines, 2002 [ ACM ] | Louis |
| Nov. 3, 2003 |
Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano.
Iterative-free Program Analysis. ICFP'03. [ ACM ] | Suan |
| Nov. 10, 2003 |
Manuel Fahndrich, Robert DeLine.
Adoption and Focus: Practical Linear Types for Imperative Programming PLDI '02 [ Citeseer ] | Will |
| Nov. 17, 2003 |
Philip Wadler.
A taste of linear logic. Invited talk, Mathematical Foundations of Computing Science, Springer Verlag LNCS 711, Gdansk, August 1993 optionally: Philip Wadler. Linear types can change the world! In M. Broy and C. Jones, editors, Programming Concepts and Methods, Sea of Galilee, Israel, April 1990. North Holland, Amsterdam, 1990. [ Both Available Here ] | Suan |
| Nov. 24, 2003 |
David Walker, Steve Zdancewic, and Jay Ligatti
A Theory of Aspects ICFP 2003 [ Zdancewic ] | Kent |
| Dec. 1, 2003 |
Hidehiko Masuhara, Gregor Kiczales and Chris Dutchyn
Compilation Semantics of Aspect-Oriented Programs. Foundations of Aspect-Oriented Languages (FOAL), Workshop at AOSD 2002 [ PDF ] | Mulhern |
| Dec. 8, 2003 |
Gregor Kiczales, John Lamping, Anurag Mendhekar, Chris Maeda,
Cristina Videira Lopes, Jean-Marc Loingtier, John Irwin.
Aspect-Oriented Programming. ECOOP'97 [ Citeseer ] | Mulhern |
|
Yvonne Coady and Gregor Kiczales.
Back to the Future: A Retroactive Study of Aspect Evolution in Operating System Code. AOSD 2003. [ Kiczales ] | Suan | |
| Dec. 15, 2003 |
William Harrison and Harold Ossher.
Subject-Oriented Programming (A Critique of Pure Objects) OOPSLA'93. [ ACM ] | Suan |
| Dec. 22, 2003 | Winter Break | |
| Dec. 29, 2003 |