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 (Schwerin)

 

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.