PROLANGS: A Light Seminar on
on Object-oriented Programming Languages
Implementation and Tools

Light Seminar on Apr. 10th is cancelled due to Jim's broken car

Spring 2003
198:500 section 02 index number 52310
Thursdays, 3:00pm-4:30pm, CoRE B

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)

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:00-4:30pm in CoRE B conference room. If you have any questions regarding this light seminar, please contact Prof. Ryder by email; our organizational meeting will be on Thursday, January 23, 2003. A tentative beginning schedule of talks will be developed at that meeting.

A tentative schedule of talks:

  1. January 30, 2003:
    Pratice for job interview
    presenter: Ana Milanova

  2. Feb 6, 2003:
    "A Dynamic Optimization Framework for a Java Jit Compiler"
    Toshio Suganuma et al, OOPSLA 2001
    presenter: Chen Fu

  3. Feb 13, 2003:
    Practice for Job Interview
    presenter: Chung-Hsing Hsu

  4. Feb 20, 2003:
    "OMEN: A Strategy for Testing Object-Oriented Software"
    Amie L. Souter, Lori . Pollock. ISSTA 2000
    presenter: Stas

  5. Feb 27, 2003:

    "Using Paths to Measure, Explain, and Enhance Program Analysis"

    Thomas Ball, James Larus. IEEE Computer 33, 2000
    presenter: Thomas Marlowe

  6. Mar 6, 2003:
    "Dynamic Sofware Updating
    Michael Hicks, et al. PLDI 2001
    presenter: Yufei Pan

  7. Mar 13, 2003:
    Separating Features in Source Code: An Exploratory Study
    Gail Murphy, et al. ICSE 2001
    presenter: Xiaoxia Ren

  8. Mar 20, 2003: Spring Break

  9. Mar 27, 2003:
    Pointer and Escape Analysis for Multithreaded Programs
    Alexandru Salcianu, Martin Rinard PPoPP 2001
    presenter: Weilei Zhang

  10. Apr 3, 2003:
    Encoding Program Executions
    Steven P. Reiss, Manos Renieris ICSE01
    presenter: Nishkam Ravi

  11. Apr 10, 2003: NO Meeting Today !

  12. Apr 17, 2003:
    Related Field Analysis
    Aneesh Aggarwal, Keith H. Randall PLDI 01
    Presenter: Peng Zhou

  13. Apr 24, 2003:
    Software Model Checking in Practice: An Industrial Case Study
    Satish Chandra, et al. ICSE 02
    Presenter: Tuan Phan

  14. May 1, 2003:
    1. Extracting Library-Based Object-Oriented Applications
    Peter F.Sweeney, Frank Tip SIGSOFT 00
    Presenter: Kien T. Le

    2. Aspect-Oriented Programming
    Gregor Kiczales, et al. ECOOP 97
    Presenter: Sherry X. Liu