We will cover research topics in object-oriented programming languages, including modern compilation technology, programming environments and tools (including debuggers) and related software engineering concepts (such as components). Emphasis will be placed on new conference papers (2001-2003) and outstanding journal articles.

Important areas of research (related to current PROLANGS projects are)

• analysis and transformations used in compilation of OOPLs
• use of combined static and dynamic analysis in software tools (especially for testing, change analysis and program understanding)
• uses of analysis to determine resource needs and/or robustness of web server applications

Attention attendees: The papers being considered for presentation this term can be found here. We may add some more papers to this list, but please look it over and pick some interesting titles as your choice(s) to present. Note: that these papers have been picked primarily by looking at titles, short abstracts and authors; there may be some that are not worthwhile for the group to study -- that is part of the work of picking a paper, namely to determine whether or not it contains interesting results.

The readings covered in last semester's PROLANGS reading group is given here. This term we will concentrate on examining new papers added to the OOPL literature since 2000. Conferences to be included are: PLDI, OOPSLA, ICSE, FSE, ISSTA, CC, Java Grande, etc.

Participants in this seminar are expected to present at least one research paper. We will meet once every week for approx. 90 minutes on Thursday afternoons, 3:00-4:30pm in CoRE B conference room. If you have any questions regarding this light seminar, please contact Prof. Ryder by email.

A tentative schedule of talks:

1. Sep. 18, 2003:
   CCured in the Real World,
   J. Condit, M. Harren, S. McPeak, G. C. Necula, W.Weimer (University of California at Berkeley), PLDI 2003
   presenter: Barbara Ryder
   Talk slides
   
   
2. Sep. 25, 2003:
   First Chapter of: Design Patterns -- Elements of Reusable Object-Oriented Software,
   E. Gamma, R. Helm, R. Johnson, J Vlissides. Addison Wesley
   presenter: Tom Marlowe (Seton Hall University)
   Talk slides
   
   
3. Oct. 2, 2003:
   Precise Dynamic Slicing Algorightms, ICSE03
   Xiangyu Zhang, Rajiv Gupta, Youtao Zhang
   presenter: Weilei Zhang
   Talk slides
   
   
4. Oct. 9, 2003:
   Reengineering Class Hierarchies Using Concept Analysis
   Gregor Snelting, Frank Tip
   Note: there are two versions of the paper, one is FSE 98 (short), the other is TOPLAS 00 (long)
   presenter: Xiaoxia Ren
   Talk slides
   
   
5. Oct. 16, 2003:
   Concrete Patterns
   presenter: James Benham (Montclair State University)
   
   
6. Oct. 23, 2003:
   Towards Automatic Construction of Staged Compilers, POPL02
   Matthai Philipose, Craig Chambers, Susan J. Eggers
   presenter: John McCabe
   
   
7. Oct. 30, 2003:
   NO meeting today!
   
   
8. Nov. 6, 2003:
   Using the Observer Design Pattern for Implementation of Data Flow Analyses, PASTE'02
   Gleb Naumovich
   presenter: Tom Marlowe (Seton Hall University)
   Talk slides
   
   
9. Nov. 13, 2003:
   Grid Services for Distributed System Integration, Computer, 35(6), 2002
   Ian Foster, Carl Kesselman, Jeffrey M. Nick, Steven Tuecke
   presenter: Kien-Trung Le
   
   
10. Nov. 20, 2003:
    The Vision of Autonomic Computing IEEE Computer, Jan. 2003
    Jeffrey O. Kephart, David M. Chess (IBM Watson Research Center)
    presenter: Chen Fu