590N autumn quarter schedule
October 11th
Applying Classification Techniques to Remotely-Collected Program Execution Data (pdf)
Murali Haran, Alan Karr, Alessandro Orso, Adam Porter, Ashish Sanil
Leader: Will
October 18th
Automatic Generation of Suggestions for Program Investigation (pdf)
Martin P. Robillard
Leader: Miryung
October 25th
Permissive Interfaces (pdf)
Thomas Henzinger, Ranjit Jhala, Rupak Majumdar
Leader: Marius
November 1st
Context- and Path-sensitive Memory Leak Detection (pdf)
Yichen Xie, Alex Aiken
Leader: Vlad
November 8th
Detecting Higher-level Similarity Patterns in Programs (pdf)
Hamid Abdul Basit, Stan Jarzabek
Leader: Seth
November 15th
Information Hiding Interfaces for Aspect-Oriented Design (pdf)
Kevin Sullivan, William Griswold, Yuanyuan Song, Yuanfang Cai, Macneil
Shonle, Nishit Tewari, Hridesh Rajan
Leader: Charlie
November 22nd
SOBER: Statistical Model-based Bug Localization (pdf)
Chao Liu, Xifeng Yan, Long Fei, Jiawei Han, Samuel Midkiff
Leader: Andrew (Petersen)
November 29th
TBD: Parallel Programming Language, Concurrency, etc.
Leader: Andrew (
December 6th
Using Dependency Models to Manage Complex Software Architecture, OOPSLA 2005
Leader: Vibha
The assigned leader should send his or her review to everyone a day before the seminar. The suggested review format is the following:
(1) addressed problem (one sentence)
(2) summary (one paragraph)
(3) contributions (2-3 points)
(4) weaknesses (2-3 points)
(5) questions and comments (2-3 points)
In the beginning of the meeting, the assigned leader presents some background information in the related area, summarizes the paper, and discusses key contributions and weaknesses.