17-791 Software Research Seminar (SSSG)Thursdays 2:00 -- 3:30Wean 8220 3 units First Meeting (Spring 2004 semester): Thursday, January 15 at 2pm. Wean 8220. |
![]() |
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.
| SSSG | Date | Speaker 1 | Topic 1 | Speaker 2 | Topic 2 |
| 1 | Jan 15 | Uri Dekel | Code Patterns Language | Jonathan Aldrich | Open Modules: Reconciling Aspects and Modularity |
| 2 | Jan 22 | David Garlan | Roundtable Discussion of Summer Internships | Kirk Reinholtz (NASA JPL) | JPL SCS Collaboration |
| 3 | Jan 29 | Uri Dekel | TBA | Jung Soo Kim | Deadlock detection in Java |
| 4 | Feb 5 | Wei Zhang | RADAR - Task Manager Practice Report |
Jim Herbsleb | An Empirical Theory of Coordination in Software Engineering |
| 5 | Feb 12 | Mark Sherman (IBM) | WebSphere | tbd | |
| 6 | Feb 19 | Beth Latronico | Assumption reliability, and why it matters | tbd | |
| 7 | Feb 26 | Elissa Newman | Code Querying: Past, Present, and Future | tbd | |
| 8 | Mar 4 | Tim Halloran | Scoped Promises | tbd | TBA |
| 9 | Mar 18 | Owen Cheng | System, Heal Thyself! | HongYan | Discover Architectures from Running Systems |
| 10 | Mar 25 | Greg Hartman | Usability and Software Architecture | Annie Luo | Power-aware HTTP Proxy |
| 11 | Apr 1 | Shawn Butler | Architecture Simulator | Vahe Poladian | Dynamic Configuration of Resource Aware Services |
| 12 | Apr 8 | Jung Soo Kim | Formal Foundation of Dynamic Architectures | Mike Merideth | High-Availability Network Intrusion Detection Systems |
| 13 | Apr 22 | George Fairbanks | Design Fragments | Mary Shaw | In Search of a Unified Theory for Design Evaluation |
| 14 | Apr 29 | Greg Hartman | Using WHOIS to Detect Spam | Annie Luo | Impact of Human Interaction on Energy Consumption |
| SSSG | Date | Speaker 1 | Topic 1 | Speaker 2 | Topic 2 |
| 1 | Sep 11 | Eric Nyberg | Javelin architecture review | Dean Sutherland | Summer: Physical Unit Types and Dimensional Analysis for Java |
| 2 | Sep 18 | Mike Merideth | Summer: Fault tolerant Web services | Paul Li | Summer: Predicting customer-visible software quality |
| 3 | Sep 25 | Uri Dekel | Investigating Java Classes with Formal Concept Analysis | Dehua Zhang | SCRover Robot Architecture Checking in AcmeStudio |
| 4 | Oct 2 | David Garlan | MSE Core Curriculum | Tim Halloran | Positive Assurance, Negative Experience |
| 5 | Oct 9 | Elizabeth Latronico | Cover Your Assumptions | Jonathan Aldrich | ArchJava: Connecting Software Architecture to Implementation |
| 6 | Oct 16 | George Fairbanks | What's Old in Aspect Oriented Software Development | Paul Li | What's new in CMMi |
| 7 | Oct 23 | Brad Malin | Anonymity in Distributed Networks | Orna Raz | Updating predicates that describe user expectations |
| 8 | Nov 6 | Tim Halloran | Chains of Evidence, Open Source Bug Study | Owen Cheng | Coordinating Multiple Self-Management Systems |
| 9 | Nov 13 | Annie Luo | The GOMS Family of UI Modeling Techniques | Greg Hartman | RADAR Low-Level Experience Report |
| 10 | Nov 20 | Elissa Newman | Ternary Representations through the Ages | Jung Soo Kim | Dynamic architecture specification using ALLOY |
| 11 | Dec 4 | Owen Cheng | Case Study: Coordinating Rainbow and Libra | George Fairbanks | Using Frameworks Quickly and Accurately |
| 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 |