Module Systems I

To be presented by Prashant Lamba

Lujo Bauer, Andrew W. Appel, and Edward W. Felten. Mechanisms for secure modular programming in java. 2003. To appear.
[ .pdf ]
Kathleen Fisher and John Reppy. The design of a class mechanism for MOBY. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 37-49, May 1999.
[ .ps ]

Module Systems II

Matthias Zenger. Type-safe prototype-based component evolution. In Proceedings of the European Conference on Object-Oriented Programming, Malaga, Spain, June 2002.
[ .html ]
Riccardo Pucella. Towards a formalization for COM part I: the primitive calculus. In Proceedings of the 17th ACM conference on Object-oriented programming, systems, languages, and applications, pages 331-342. ACM Press, 2002.
[ .pdf ]

Aspect-Oriented Programming

To be presented by Jeff Odom

Gregor Kiczales, Erik Hilsdale, Jim Hugunin, Mik Kersten, Jeffrey Palm, and William G. Griswold. An overview of AspectJ. Lecture Notes in Computer Science, 2072:327-355, 2001.
[ .html ]
Mira Mezini and Klaus Ostermann. Integrating independent components with on-demand remodularization. In Proceedings of OOPSLA '02, 2002.
[ .html ]

Extensible Networking Systems

To be presented by Brian Payne

Robert Morris, Eddie Kohler, John Jannotti, and M. Frans Kaashoek. The Click modular router. In Symposium on Operating Systems Principles, pages 217-231, 1999.
[ .html ]
Yechim Yemini and Sushil da Silva. Towards programmable networks. In Proceedings of the IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, September 1996.
[ .html ]

Java Operating Systems

To be presented by James Rose

Krzysztof Palacz, Jan Vitek, Grzegorz Czajkowski, and Laurent Daynas. Incommunicado: efficient communication for isolates. In Proceedings of the 17th ACM conference on Object-oriented programming, systems, languages, and applications, pages 262-274. ACM Press, 2002.
[ http ]
Godmar Back, Wilson C. Hsieh, and Jay Lepreau. Processes in KaffeOS: Isolation, resource management, and sharing in Java. In Proceedings of the 4th Symposium on Operating Systems Design and Implementation, San Diego, CA, October 2000. USENIX.
[ .html ]

Intensional Type Analysis

To be presented by Nate Waisbrot

Karl Crary, Stephanie Weirich, and Greg Morrisett. Intensional polymorphism in type erasure semantics. In Proceedings of the Third ACM SIGPLAN International Conference on Functional Programming, volume 34 of ACM SIGPLAN Notices, pages 301-313, Baltimore, MD, September 1998. An extended and revised version of this paper is [?].
[ .dvi | .ps ]

Extension and Reflection

To be presented by Brian Krznarich

Herbert Bos and Bart Samwel. Safe kernel programming in the OKE. In Proceedings of the IEEE Conference on Open Architectures (OPENARCH), 2002.
[ .html ]
Ralph Keller and Urs Hölzle. Binary component adaptation. Lecture Notes in Computer Science, 1445:307-324, 1998.
[ .html ]

Reflection and Dynamic Compilation

To be presented by Piyush Kumar Bhagat

Shigeru Chiba. Load-time structural reflection in Java. Lecture Notes in Computer Science, 1850:313-336, 2000.
[ .html ]
Michael G. Burke, Jong-Deok Choi, Stephen Fink, David Grove, Michael Hind, Vivek Sarkar, Mauricio J. Serrano, V. C. Sreedhar, Harini Srinivasan, and John Whaley. The jalapeño dynamic optimizing compiler for java. In Proceedings of the ACM 1999 conference on Java Grande, pages 129-141. ACM Press, 1999.
[ http ]

Optimizing Dynamic Compilation

Matthew Arnold, Stephen J. Fink, David Grove, Michael Hind, and Peter F. Sweeney. Adaptive optimization in the jalapeno JVM. In Conference on Object-Oriented Programming Languages and Systems (OOPSLA), pages 47-65, 2000.
[ .html ]
Matthew Arnold, Michael Hind, and Barbara G. Ryder. Online feedback-directed optimization of java. In Proceedings of the 17th ACM conference on Object-oriented programming, systems, languages, and applications, pages 111-129. ACM Press, 2002.
[ http ]

Run-time Code Generation (Specialization)

To be presented by Mujtaba Ali.

Matthai Philipose, Craig Chambers, and Susan J. Eggers. Towards automatic construction of staged compilers. In Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 113-125. ACM Press, 2002.
[ http ]
Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel, and Gilles Muller. Towards automatic specialization of Java programs. Lecture Notes in Computer Science, 1628:367-??, 1999.
[ .html ]

On-line Reconfiguration I

To be presented by Yuan Yuan.

Craig A. N. Soules, Jonathan Appavoo, Kevin Hui, Robert W. Wisniewski, Dilma Da Silva, Gregory R. Ganger, Orran Krieger, Michael Stumm, Marc Auslander, Michal Ostrowski, Bryan Rosenburg, and Jimi Xenidis. System support for online reconfiguration. In Proceedings of the USENIX Annual Technical Conference, 2003.
[ .pdf ]
Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira, Chuang-Hue Moh, and Steven Richman. Lazy modular upgrades in persistent object stores. Submitted for publication.
[ .pdf ]

Program Adaptation

To be presented by Polyvios Pratikakis

Albert Serra, Nacho Navarro, and Toni Cortes. DITools: Application-level support for dynamic extension and flexible composition. In Proceedings of the USENIX Annual Technical Conference, March 2000.
[ .ps ]
Günther Kniesel. Type-safe delegation for run-time component adaptation. Lecture Notes in Computer Science, 1628:351-??, 1999.
[ .html ]

On-line Reconfiguration II

Gísli Hjálmtysson and Robert Gray. Dynamic C++ classes, a lightweight mechanism to update code in a running program. In Proceedings of the USENIX Annual Technical Conference, June 1998.
[ .html ]
Barry Redmond and Vinny Cahill. Supporting unanticipated dynamic adaptation of application behaviour. In Proceedings of the European Conference on Object-Oriented Programming, pages 205-230, 2002.
[ .pdf ]