17-791 Software Research Seminar (SSSG)

Thursdays 2:00 -- 3:30
Wean 8220
3 units

First Meeting (Spring 2004 semester): Thursday, January 15 at 2pm. Wean 8220.

Introduction

The Software Research Seminar meets weekly to discuss research in progress and review recent literature in software engineering research. The purpose, beyond exposure to a broad range of technical ideas, is to develop a critical view of the scientific process and literature of software engineering research.

Each semester, the seminar group will identify a set of technical themes on which to focus in its review of outside literature.

Each participant in the SSSG will make at least three half-hour presentations in a year, one on research in progress, one a critical summary and review of one or more published papers, and one at the discretion of the student. (This requirement is reduced to two for students who present in other recognized forums -- ask the instructor.) Students will be evaluated on the basis of the technical quality, organization, and presentation of their material, including interaction with the seminar group.

The Seminar is offered for graduate credit, is repeatable, and indeed is intended to be an ongoing activity. PhD students in software engineering are required to register for this seminar on an ongoing basis, and all other graduate students are encouraged to attend. Students taking the SSSG for credit are expected to make three presentations each year.

The schedule is posted at the SSSG web page at http://www.cs.cmu.edu/~wls/sssg/. Please contact Cheryl Casciola (at cherylc@cs) to claim slots in the schedule or to update the web page.

The mailing list is maintained by Cheryl Casciola at cherylc@cs.


Schedule Spring 2004

SSSG Date Speaker 1 Topic 1 Speaker 2 Topic 2
1Jan 15 Uri Dekel Code Patterns Language Jonathan AldrichOpen Modules: Reconciling Aspects and Modularity
2Jan 22 David Garlan Roundtable Discussion of Summer Internships Kirk Reinholtz (NASA JPL) JPL SCS Collaboration
3Jan 29 Uri Dekel TBA Jung Soo KimDeadlock detection in Java
4Feb 5 Wei ZhangRADAR - Task Manager Practice
Report
Jim HerbslebAn Empirical Theory of Coordination in Software Engineering
5Feb 12 Mark Sherman (IBM) WebSphere tbd  
6Feb 19 Beth LatronicoAssumption reliability, and why it matters tbd
7Feb 26 Elissa Newman Code Querying: Past, Present, and Future tbd
8Mar 4 Tim Halloran Scoped Promises tbd TBA
9Mar 18 Owen Cheng System, Heal Thyself! HongYan Discover
Architectures from Running Systems
10Mar 25 Greg Hartman Usability and Software Architecture Annie Luo Power-aware HTTP Proxy
11Apr 1 Shawn Butler Architecture Simulator Vahe PoladianDynamic Configuration of Resource Aware Services
12Apr 8 Jung Soo Kim Formal Foundation of Dynamic Architectures Mike Merideth High-Availability Network Intrusion Detection Systems
13Apr 22 George Fairbanks Design Fragments Mary Shaw In Search of a Unified Theory for Design Evaluation
14Apr 29 Greg Hartman Using WHOIS to Detect Spam Annie Luo Impact of Human Interaction on Energy Consumption

Schedule Fall 2003

SSSG Date Speaker 1 Topic 1 Speaker 2 Topic 2
1Sep 11 Eric NybergJavelin architecture review Dean SutherlandSummer: Physical Unit Types and Dimensional Analysis for Java
2Sep 18 Mike MeridethSummer: Fault tolerant Web services Paul LiSummer: Predicting customer-visible software quality
3Sep 25 Uri Dekel Investigating Java Classes with Formal Concept Analysis Dehua Zhang SCRover Robot Architecture Checking in AcmeStudio
4Oct 2 David Garlan MSE Core Curriculum Tim Halloran Positive Assurance, Negative Experience
5Oct 9 Elizabeth Latronico Cover Your Assumptions Jonathan Aldrich ArchJava: Connecting Software Architecture to Implementation
6Oct 16 George Fairbanks What's Old in Aspect Oriented Software Development Paul Li What's new in CMMi
7Oct 23 Brad Malin Anonymity in Distributed Networks Orna Raz Updating predicates that describe user expectations
8Nov 6 Tim Halloran Chains of Evidence, Open Source Bug Study Owen Cheng Coordinating Multiple Self-Management Systems
9Nov 13 Annie Luo The GOMS Family of UI Modeling Techniques Greg Hartman RADAR Low-Level Experience Report
10Nov 20 Elissa Newman Ternary Representations through the Ages Jung Soo Kim Dynamic architecture specification using ALLOY
11Dec 4 Owen Cheng Case Study: Coordinating Rainbow and Libra George Fairbanks Using Frameworks Quickly and Accurately

Fall 2002:

2003-2004 Status (SE PhD Students)

Owen Cheng Nov 6 Dec 4 Mar 18  
Uri Dekel Sep 25 Jan 15 Jan 29
George Fairbanks Oct 16 Dec 4 Apr 22  
Tim Halloran Oct 2 Nov 6 Mar 4  
Greg Hartman Nov 13 Mar 25 Apr 29  
Jung Soo Kim Nov 20 Jan 29 Apr 8  
Paul Li Sep 18 Oct 16    
Annie Luo Nov 13 Mar 25 Apr 29  
Brad Malin Oct 23  
Mike Merideth Sep 18 Apr 8  
Elissa Newman Nov 20 Feb 26    
Orna Raz Oct 23    
Dean Sutherland Sep 11    

Abstracts


Note: For historical reasons, the acronym for the Software Research Seminar is SSSG.