The light seminar will cover research topics in compilers and programming languages, emphasizing techniques appropriate for OOPLs such as Java. We will read current research papers from recent (2000-2002) conferences and journals.

Our emphasis will be on

• analyses and transformations used in compilation of OOPLs
• use of profiling in compilation and software tools; combined dynamic and static analyses
• use of static and dynamic analysis to determine resource needs of programs running on web servers
• tools for program understanding, debugging, and testing tasks (i.e., frameworks, individual prototype tools).

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 to be presented.

The reading list for 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 Friday, January 25th at 2:00pm, since Prof. Ryder will be out of town until then. A tentative beginning schedule of talks will be developed at that meeting.

1. January 31, 2002: "Single Region vs. Multiple Regions: A Comparison of Different Compiler-Directed Dynamic Voltage Scheduling Approaches", Chung-Hsing Hsu and Ulrich Kremer, Workshop on Power-Aware Computing Systems (PACS'02), Boston, Feb. 2002.
   presenter: Chung-Hsing Hsu
   
   
2. February 7, 2002: "Points-to and Side-effect Analyses for Programs Built with Precompiled Libraries",
   Atanas Rountev and Barbara G. Ryder, Proceedings of the International Conference on Compiler Construction (CC 2001), April, 2001.
   presenter: Nasko Rountev
   
   
3. February 14, 2002: "Extended Static Checking for Java", Cormac Flannagan et al., to appear at PLDI'02;
   previous related articles, "Extended Static Checking", David Detlefs et al.
   ESC/Java Users Manual
   presenter: Barbara G. Ryder
   
   
4. February 21, 2002: "Ultra-Fast Aliasing Analysis Using CLA: A Million Lines of C Code in a Second",
   N. Heintze, O. Tardieu, PLDI 2001.
   presenter: Jerry Hom
   
   
5. February 28, 2002: "Feedback Directed Compilation in the Jikes RVM"
   Background on feedback directed compilation can be found in this OOPSLA'00 paper;
   specific work on the sampling instrumentation framework to be presented
   can be found in our PLDI'01 paper and experiments in a paper to appear in ECOOP'02.
   If you only have time to read one paper, then read the PLDI'01 paper.
   presenter: Matt Arnold
   
   
6. March 7, 2002: "Bandera : Extracting Finite-state Models from Java Source Code"
   J. Corbett et al., ICSE 2000.
   presenter: Fancong Zeng
   
   
7. March 14, 2002: Cancelled.
   
   
8. March 21, 2002: Spring break
   
   
9. March 28, 2002: "Jiazzi" New-age Components for Old-fashioned Java",
   S. McDirmid, M. Flattk, W. Hsieh, OOPSLA 2001
   presenter: Fu Chen
   
   
10. April 4, 2002: "Encapsulating objects with confined types", C. Grothoff, J. Palsbeg, J. Vitek, OOPSLA 2002
    presenter: Thomas J. Marlowe
    
    
11. April 11, 2002: "Effective Null Pointer Check Elimination Utilizing Hardware Traps",
    N. Kawahito, H. Komatsu, T. Nakatan, ASPLOS 2000.
    presenter: Charvi Patel
    
    
12. April 18, 2002: "Software Profiling for Hot Path Prediction: Less is More",
    E. Duesterwald, V. Bala, ASPLOS 2000
    presenter: Xiaoxia Ren
    
    
13. April 25, 2002: "Mapping UML Desgins into Java"
    W. Harrison, C. Barton, M. Raghavachan, OOPSLA'00
    presented: Jim Benham
    
    
14. May 2, 2002: "Automated Testing of Classes"
    Ugo Buy, Alessandro Orso, Mauro Pezze, ISSTA 2000.
    presenter: Barbara Ryder
    
    

Last updated by Barbara Ryder on April 29, 2002.