Reading Group Spring 2006
From PROLANGS Wiki
Prolangs: A Light Seminar on
Current Research in Modern Object-oriented Software Systems
Spring 2006
198:500 index 68998
Thursdays, 1:30pm-3:30pm, CoRE B
Information
The light seminar will cover research topics concerning all aspects of the implementation and understanding of object-oriented software systems, especially those built in Java or C++ on frameworks. testing task. Our focus will be on recent research papers but we also will cover journal articles of interest.
The reading list for past fall's PROLANGS reading group shows the kinds of articles we read. We especially examine papers from relevant conferences: PLDI, OOPSLA, ICSE, FSE, ISSTA, CC, Java Grande, ICSM, etc. and journals: SPE, TOSEM, TOPLAS, IEEE-TSE.
Participants in this seminar are expected to present at least one research paper during the term. We will meet once every week for approximately 90 minutes on Thursday afternoons, 1:30-3:30pm in the CoRE B conference room.
The revised list of papers from which we will select those to be covered in the lite seminar are available now. Please use the digital libraries (ACM, IEEE Computer Society) to look at them and choose one you are willing to present.
If you have any questions regarding this light seminar, please contact Prof. Ryder (ryder@cs) by email; our organizational meeting will be on Thursday, January 19, 2006 at 1:30pm.
Papers
Schedule
- Jan 19
- Introduction
- Jan 26
- Presenter: Barbara Ryder
- Paper: Ondřej Lhoták and Laurie Hendren, "Context-sensitive points-to analysis: is it worth it?", To appear in CC'06.
- Slides: pdf
- Feb 2
- Presenter: Chen Fu
- Papers:
- A. Birka and M. D. Ernst, "A practical type system and language for reference immutability", OOPSLA'04
- M. S. Tschantz and M. D. Ernst, "Javari: adding reference immutability to Java", OOPSLA'05
- Slides: pdf
- Feb 9
- Presenter: Xiaoxia Ren
- Paper: J. Yang, D. Evans, D. Bhardwaj, T. Bhat and M. Das, "Terracotta: Mining Temporal API Rules from Imperfect Traces", To appear in ICSE'06.
- Slides: pdf
- Feb 16
- Presenter: Desiree Ottoni
- Paper: P. Godefroid, N. Klarlund and K. Sen, "DART: directed automated random testing", PLDI'05
- Slides: pdf
- Additional precisions from P. Godefroid: pdf
- Feb 23
- Presenter: Kelly Winters
- Paper: J. A. Jones and M. J. Harrold, "Empirical evaluation of the tarantula automatic fault-localization technique", ASE'05.
- Slides: pdf
- Mar 2
- Presenter: Bruno Dufour
- Paper: E. Metz, R. Lencevicius, and T. F. Gonzalez, "Performance data collection using a hybrid approach", FSE'05
- Slides: pdf
- Mar 9:
- Presenter: Chris Lauderdale
- Paper: Y. Xie, A. Aiken, "Context- and path-sensitive memory leak detection", FSE'05.
- Slides: pdf
- Mar 16
- Spring Break
- Mar 23
- Presenter: Pavel Kuksa
- Paper: J. Cavazos, J. E. B. Moss, "Inducing heuristics to decide whether to schedule", PLDI'04.
- Slides: pdf
- Mar 30:
- Presenter: Xiang Wang
- Paper: M. Sridharan, D. Gopan, L. Shan, R. Bodik, "Demand-driven points-to analysis for Java", OOPSLA'05.
- Slides: pdf
- Apr 6
- Presenter: Ophelia Chesley
- Paper: N. Gupta, H. He, X. Zhang, R. Gupta, "Locating faulty code using failure-inducing chops", ASE'05.
- Slides: pdf
- Apr 13:
- Presenter: Robert Moore
- Paper: D. Avots, M. Dalton, V. B. Livshits, M.Lam, "Improving software security with a C pointer analysis", ICSE'05.
- Slides: pdf
- Apr 20:
- Presenter: Toufiq Parag
- Paper: C. Liu, X. Yan, L. Fei, J. Han, S. P. Midkiff, "SOBER: statistical model-based bug localization", FSE'05.
- Slides: pdf
- Apr 27: Pizza
- Time: 12:30pm
- Meeting location: CoRE 3rd floor (in front of the evelators)
- Update: Based on the low number of emails I received, it is unlikely that we will go off-campus for lunch. We will meet at 12:30pm and decide what to do based on how many people are coming to lunch. The most likely option currently is going to the campus center.
