The light seminar 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 (2000-2002) and outstanding journal articles.

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

• analyses and transformations used in compilation of OOPLs
• use of combined static and dynamic analyses in software tools (especially for testing, change analysis and program understanding)
• uses of analyses 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 light seminar 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:30-5:00pm in CoRE B conference room. If you have any questions regarding this light seminar, please contact Prof. Ryder (ryder@cs) by email; our organizational meeting will be on Thursday, September 12, 2002. A tentative beginning schedule of talks will be developed at that meeting.

A tentative schedule of talks:

1. September 19, 2002: "Regression Test Selection for Java Software",
   Mary Jean Harrold et. al., OOPSLA 2001, October 2001.
   presenter: Barbara Ryder
   Click here for slides.
   
   
2. September 26, 2002: "Precise Call Graph Construction in the Presence of Function Pointers",
   Ana Milanova, Atanas Rountev, Barbara G. Ryder,
   Workshop on Source Code Analysis and Manipulation(SCAM 2002),October 2002.
   "Constructing Precise Object Relation Diagrams",
   Ana Milanova, Atanas Rountev, Barbara G. Ryder,
   International Conference on Software Maintenance(ICSM 2002),October 2002.
   presenter: Ana Milanova
   
   
3. October 3, 2002: "Composing Dataflow Analyses and Transformations",
   S. Lerner, D. Grove, C. Chambers, POPL 2002,
   presenter: Tom Marlowe
   
   
4. October 10, 2002: "Resource Usage Analysis",
   A. Igarashi, N. Kobayashi, POPL 2002,
   presenter: Chen Fu and Tom
   
   
5. October 17, 2002: "Access Rights Analysis for Java",
   L. Koved, M. Pistoia, and A. Kershenbaum, OOPSLA 2002,
   presenter: Jim Benham
   
   
6. October 24, 2002: "Safely Creating Subclasses Without Seeing",
   C. Ruby, G. Leavens, OOPSLA 2000,
   presenter: Stas
   
   
7. October 31, 2002: "Role Analysis",
   V. Kuncak, P. Lam, M. Rinard, POPL 2002,
   presenter: Weilei
   
   
8. November 7, 2002: "Semantics Based Composition of Class Hierarchies",
   G. Snelting, F. Tip, ECOOP 2002,
   presenter: Xiaoxia Ren
   
   
9. November 14, 2002: "Tracking Down Software Bugs Using Anomaly Detection",
   S. Hangal, M. Lam, ICSE 2002,
   presenter: Jerry Hom
   
   
10. November 28, 2002: THANKSGIVING
    
    
11. December 5, 2002: "Automatic Extraction of Object-Oriented Component Interfaces",
    J. Whaley, M. Lam, ISSTA 2002,
    presenter: Peng
    
    
12. December 12, 2002: "Characterizing the Memory Behavior of Java Workloads: A Structured View and Opportunities for Optimizations",
    Y. Shuf et al., SIGMETRICS 2001,
    presenter: Chung-Hsing Hsu
    
    

Last updated by Barbara Ryder on August 8, 2002.