17-791 Software Research Seminar (SSSG)
Spring 08 : Mondays 3:30 PM -- 5:00 PMWean Hall 5324
3 units
First Meeting (Spring semester): January 14th,
17-791 Software Research Seminar (SSSG)Spring 08 : Mondays 3:30 PM -- 5:00 PMWean Hall 5324 3 units First Meeting (Spring semester): January 14th, |
|
Videos from the SSSG talks are available for viewing within CMU. They are available at this link -- you will be asked to authenticate via
WebISO: http://coursecast.cs.cmu.edu/CourseCast/courseHome.pl?webid=758972416
Videos are best viewed using IE on Windows or Mac. (Improved FireFox support is forthcoming.)
If you want to change the access policy for a video from the CMU-only default, this is easily accomplished. Examples of changes: (1) Public distribution, (2) Restricted to particular individuals (e.g., to self and advisors only), (3) Password access (for example, if you want to share a talk with selected outside people). Please send requests to Connie.
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 are 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 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 Connie Herold (at cherold@cs or x8-4545) to claim slots in the schedule or to update the web page.
Mondays, 3:30 PM - 5:00 PM , Wean Hall 5324
| SSSG | Date | Speaker 1 | Topic 1 | Speaker 2 | Topic 2 |
| 1 | Jan 14th | ||||
| 2 | Jan 28th | Andrew Ko | Asking and Answering Questions about the causes of Software Behavior | ||
| 3 | Feb 4th |
Jeff Barnes | Perspectives on SOA as an Architectural Style" | ||
| 4 | Feb 11th | Ciera Christoher | Refactoring Crystal | Vahe Poladian | Algorithms for adaptive resource management in a pervasive computing system |
| 5 | Feb 18th | Nels Beckman | Verifying Typestate in Concurrent Settings Using Atomic Blocks | Marwan Abi-Antoun | Checking and Measuring Architectural Structural Conformance |
| 6 | Feb 25th | Jung Soo Kim | Architectural Style Analysis in Practice | ||
| 7 | Mar 3rd | Uri Dekel | eMoose Project |
||
| 8 | Mar 17th | Josh Sunshine | XML Type Systems: A Literature Review | ||
| 9 | Mar 24th | Nels Beckman | Types and Transactions | Jung Soo Kim | TBD |
| 10 | Mar 31st | Greg Hartman | Attentive Software: Research Update | Chris Scaffidi | Literature Review |
| 11 | Apr 7th | Josh Sunshine | A Standards Compliant Distributed Programming Language | Kevin Bierhoff | Towards checking object-oriented programs for protocol compliance |
| 12 | Apr 14th | Thomas LaToza | TBD | Jeff Barnes | SOA Technology Demo |
| 13 | Apr 21st | Mike Merideth | Write Markers for Probabilistic Quorum Systems | Dalila Tamzalit, University of Nantes (France) | Software architectures specification and design: |
| 14 | Apr 28th | Thomas LaToza | TBD |
Schedule Fall 2007
Mondays, 3:30 PM - 5:00 PM , Wean Hall 5324
| SSSG | Date | Speaker 1 | Topic 1 | Speaker 2 | Topic 2 |
| 1 | Sept. 10 | Tudor Dumitras | "Dependency-Agnostic Upgrades in Distributed Systems" | ||
| 2 | Sept. 17 | Matthew Bass | "Coordination View of The Architecture - a research plan" |
Mario Zenha Rela | "Failure Boundedness in Discrete Applications" |
| 3 | Sept. 24 | Michael Shamos | "Newly Proposed 2007 Software Standards for voting Systems" | Michael Shamos | "Newly Proposed 2007 Software Standards for voting Systems" |
| 4 | Oct. 1 | Greg Hartman | "Consistency techniques and their implications for time: a survey" | Jonathan Aldrich | "Assuring Object-Oriented Architecture" |
| 5 | Oct. 8 | Uri Dekel | "OOPSLA and Wikisym practice talk" | Kevin Bierhoff | "Modular Typestate Checking of Aliased Objects (OOPSLA practice talk) " |
| 6 | Oct. 15 | Ciera Christoher | "Checking Semantic Usage of Frameworks" | Marwan Abi-Antoun | "Marking Frameworks Work" |
| 7 | Oct. 22 | Dean Sutherland | "TBD" | David Garlan | "Research" |
| 8 | Oct. 29 | Owen Cheng | "Control Systems" | Nels Beckman | "The Yogi Project" |
| 9 | Nov. 5 | Jeffrey Barnes | "Languages for Business Process Modeling." |
Greg Hartman | A tangled web: Multi-threading doesn't ensure responsiveness |
| 10 | Nov. 12 | Larry Maccherone | “Experimental design to confirm the value of Automated Unit Testing and Automated Code Analysis” | Professor Peter Welsh | "A Process-Oriented Architecture for Complex System Modelling" |
| 11 | Nov 19 | Chris Scaffidi | "My Redneck Brother's Tire Size, and Other Unrelated Topes" | Josh Sunshine | "Trust Me, We Can't Trust Computers with Billions of Dollars" |
| 12 | Nov. 26 | Jung Soo Kim | Dealing with under-specification and over-specification in architectural styles | Uri Dekel | "eMoose project" |
| 13 | Dec 3 | Mary Shaw | "Research" | Shawn Hedrick | "Practicum Talk" |
Mondays, 3:30 PM - 5:00 PM , NSH 3002 (Please note change of classroom for Spring Semester)
| SSSG | Date | Speaker 1 | Topic 1 | Speaker 2 | Topic 2 |
| 1 | Jan 22 | Grace Lewis "SEI" | Service Oriented Architectures | Gabe Moreno "SEI" | Creating Custom Containers with Generative Techniques |
| 2 | Jan 29 | Thomas Latoza | Research talk | Kevin Bierhoff | Typestate Protocols for Realistic Object-Oriented Software |
| 3 | Feb 5 | Uri Dekel | Augmenting task contexts with external references (Research talk) | Nels Beckman | A Software Model for Programming Failure-Prone Robots |
| 4 | Feb 12 | Jung Soo Kim | Dealing with under-specified styles | ||
| 5 | Feb 19 | Larry Maccherone | "Software Assurance-Process-State of the Art" | Dionisio de Niz and Jorgen Hansson |
AADL |
| 6 | Feb 26 | Marwan Abi-Antoun | The Ownership Object Graph (OOG) | Jonathan Aldrich | A Tool for Teaching Proofs |
| 7 | Mar 5 | Donna Malayeri | tbd | Dean Sutherland | Thread Coloring From Scratch |
| 8 | Mar 19 | Annie Luo | User Interaction Based Energy Prediction I | Greg Hartman | Toward Timely Cancel: "Analysis of Thread Actions" |
| 9 | Mar 26 | Canceled | Canceled | ||
| 10 | Apr 2 | Mike Merideth | Properties of Probabilistic Quorums | Jung Soo Kim "Cancelled" | Analyzing dynamic systems with DAPL "Cancelled" |
| 11 | Apr 9 | Matt Bass | The Impact of Architecture on Coordination: "An Empirical Studey" | Jonathan Aldrich | Proposed Software Engineering Minor |
| 12 | Apr 16 | Owen Cheng | Research Update | Chris Scaffidi | Research related to reusability in end user programming |
| 13 | Apr 23 | Jung Soo Kim | Analyzing dynamic systems with DAPL | Thomas Latoza | Breakdowns and Challenges Answering Questions about Code |
| 14 | Apr 30 | Ciera Christopher | Tracking Object Relationships |
Greg Hartman | "B" In my bonnet |
Mondays, 3:30 PM - 5:00 PM , Wean Hall 5324
| SSSG | Date | Speaker 1 | Topic 1 | Speaker 2 | Topic 2 |
| 1 | Sept. 11 | Marwan Abi-Antoun | Synchronizing Architecture Views | Thomas Latoza | Using Architecture to Change Code |
| 2 | Sept. 18 | Paul Li | Practicum talk: "An Experience Report on Initiating Limited Process Improvement" | Ciera Christopher | "Whitebox QA in a Blackbox World" |
| 3 | Sept 25 | Nels Beckman | "On Meta-Modeling: A Practicum Talk" | Gabe Johnson | "Selection of disjoint regions in pen-only user interfaces" |
| 4 | Oct 2 | Chris Scaffidi | "A Data Model to Help End User Programmers Manipulate and Validate Data" | Dean Sutherland | Progress Report on JSR275 Physical Units for Java |
| 5 | Oct 9 | George Fairbanks | Software Architecture in a Large Financial Firm | Larry Maccherone | "Evaluating Static Analysis Tools as a Means of Achieving Software Assurance" |
| 6 | Oct 16 | George Fairbanks | Design Fragments Make Frameworks Easier | Marwan Abi-Antoun | OOPSLA Tool Demo Dry-Run |
| 7 | Oct 23 | Mark Sherman | "An Overview of IBM Software Strategy" | Gabe Johnson | "Software engineering challenges in sketch recognition applications" |
| 8 | Oct 30 | Kevin Bierhoff | "Iterators and other Escaping Characters" | Nels Beckman | "Research Update Talk" |
| 9 | Nov 6 | Owen Cheng | "A stroll on Rainbow Lane" | Matthew Bass | "Architecture Misalignment: An Experience Report" |
| 10 | Nov 13 | Jung Soo Kim | "Analyzing dynamic architectural styles using Spin" | George Fairbanks | "A presentation on presentations" |
| 11 | Nov 20 | Annie Luo | "A Computer System for Accessing Ambient Display and Computing Resurces in Wearable Environments" | Ciera Christopher | "Motivating Scoped Methods: Finding and Organizing Examples" |
| 12 | Nov 27 | Uri Dekel | "Studying artifact access during development (tentative)" | Dean Sutherland | TBD |
| 13 | Dec 4 | Greg Hartman | "Validating Brownfield Architectural Interventions" | Paul Li | TBD |
Mondays, 3:30 PM - 5:00 PM , Wean Hall 5324
| SSSG | Date | Speaker 1 | Topic 1 | Speaker 2 | Topic 2 | ||
| 1 | Jan 23 | SE faculty | SE PhD town hall | ||||
| 2 | Jan 30 | Joao Sousa | Research overview | open | |||
| 3 | Feb 6 | Nels Beckman | DSLs and Claytronics | Thomas LaToza | Summer internships | ||
| 4 | Feb 13 | tbd | open | Annie Luo | Research talk tbd | ||
| 5 | Feb 20 | Mike Merideth | tbd | Orieta Celiku | Verifying cost-based properties of probabilistic programs | ||
| 6 | Feb 27 | Marwan Abi-Antoun | Lightweight architectural annotations | Kevin Bierhoff | Enforcing Architectural Protocols in ArchJava | ||
| 7 | Mar 6 | Dean Sutherland | tbd | George Fairbanks | Living with code and loving it | ||
| 8 | Mar 20 | Dean Sutherland | Thread coloring overview | Thomas LaToza | Modeling software design | ||
| 9 | Mar 27 | Ciera Christopher | A framework usage specification language | Uri Dekel | A study of software design meetings | ||
| 10 | Apr 3 | Owen Cheng | Language for Autonomic Adaptation | Uri Dekel | A study of software design meetings - part 2 | ||
| 11 | Apr 10 | Chritopher Scaffidi | End user programming | Larry Maccherone | tbd | ||
| 12 | Apr 17 | Paul Li | tbd | Greg Hartman | Research talk tbd | ||
| 13 | Apr 24 | Greg Hartman | Practicum talk tbd | Larry Maccherone | tbd | ||
| 14 | May 1 | Thomas LaToza | Mental models and developer work habits (ICSE practice) | Paul Li | Experience modeling field defects at Avaya and ABB | ||
Mondays, 3:30 PM - 5:00 PM , Wean Hall 5324
| SSSG | Date | Speaker 1 | Topic 1 | Speaker 2 | Topic 2 |
| 1 | Sep 12 | George Fairbanks | Software Architecture for Financial Applications - Part 1 | Kevin Bierhoff | Software Architecture for Financial Applications - Part 2 |
| 2 | Sep 19 | Thomas LaToza | How Microsoft Developers Communicate about Code | Marwan Abi-Antoun | A Case Study in Re-engineering (WICSA practice talk) |
| 3 | Sep 26 | Owen Cheng | Self-Healing LiteraTour | Jung Soo Kim | Analysis of Architectural Styles Using Alloy |
| 4 | Oct 3 |
Marcelo Cataldo | An Empirical Study of Product Structure and Project Coordination | ||
| 5 | Oct 10 | J. German Rivera | Measuring Code Aging in Long-lived Software Systems | Andreas Schuster | FreeSoDA: A Tool to Support Distributed Research Communities |
| 6 | Oct 17 | Mike Merideth | Thema: Byzantine-Fault-Tolerant Web-Service Middleware | Vahe Poladian | Tailoring Configuration to User's Tasks under Uncertainty |
| 7 | Oct 24 | Marwan Abi-Antoun | Making Frameworks Work (Practicum Talk) | ||
| 8 | Oct 31 | Ciera Christopher | Gathering Requirements in the Presence of Port-mentality" (Practicum Talk) | Matthew Bass | Understanding Organizational Risk in Architecture Design |
| 9 | Nov 7 | Nels Beckman | A Little Bit of Real-Time Java |
Larry Maccherone | Conflict Identification - A Measure of Maturity (Practicum Talk) |
| 10 | Nov 14 | Uri Dekel | Practicum Talk on Distributed Development |
Christopher Scaffidi | When Learning an API Becomes NP Complete (Practicum Talk) |
| 11 | Nov 21 | Christopher Scaffidi | War Stories: Tales from the Trenches of Software Usage | Greg Hartman | Indolent programmers or competing forces? Considering usability during architectural design |
| 12 | Nov 28 | Jung Soo Kim | TBA | Vamshi Ambati | TBA |
| 13 | Dec 5 | Robert Kraut and Jim Herbsleb | IRB and Human Subjects Research (Discussion) |
| SSSG | Date | Speaker 1 | Topic 1 | Speaker 2 | Topic 2 |
| 1 | Jan 12 Wean 4623 |
Thomas LaToza | Two tales of architectural evolution from Microsoft |
Marwan Abi-Antoun | Why Microsoft should use ArchJava |
| 2 | Jan 19 Wean 4623 |
Christopher Scaffidi | What '55 Million End-User Programmers'? | ||
| 3 | Jan 26 | Kevin Bierhoff | Typed States for Objects: Discussion of Software Engineering Implications | Dean Sutherland | Thread Coloring |
| 4 | Feb 2 | Uri Dekel | Towards videoconferenced design meetings | ||
| 5 | Feb 9 | Greg Hartman | MERBoard Logging Techniques | ||
| 6 | Feb 16 | George Fairbanks | Plugging into a Framework | ||
| 7 | Feb 23 | Jung Soo Kim | Architecture Programming Language | ||
| 8 | Mar 2 | Owen Cheng | Self-Adaptation for Security | Mike Merideth | Toward Multi-Tiered Byzantine Fault Tolerance |
| 9 | Mar 16 | Marwan Abi-Antoun | It's the Architecture that Bites You (Practicum Talk) | Donna Malayeri | Improving exception specifications and usage in Java |
| 10 | Mar 23 | Paul Li | Drivers for customer perceived satisfaction (ICSE practice talk) |
Joao Sousa | Scaling Task Management in Space and Time |
| 11 | Mar 30 | Mike Merideth | Unraveling Practical Byzantine Fault Tolerance | Elissa Newman | Query-based Modeling |
| 12 | Apr 6 | Uri Dekel | Practicum Talk: Intel | Christopher Scaffidi | Exploratory Survey on Software Usage by End Users |
| 13 | Apr 13 | Kevin Bierhoff | Lightweight Object Specification with Typestates | ||
| 14 | Apr 20 | Greg Hartman | Infinicon Practicum Talk | Paul Li | Predicting field defects for open source software systems : A case study of OpenBSD |
| 15 | Apr 27 | Annie Luo | Speech Graffiti - Exploring Universal Speech Interface | Mary Shaw | Predicting Value from Design |
Last year's schedule is available here.
| Marwan Abi-Antoun | Sep 19 | Oct 24 | ||
| Nels Beckman | Nov 7 | Feb 6 | ||
| Kevin Bierhoff | Sep 12 | Feb 27 | ||
| Owen Cheng | Sep 26 | Apr 3 | ||
| Ciera Christopher | Oct 31 | Feb 27 | Mar 27 | |
| Uri Dekel | Nov 14 | Mar 27 | Apr 3 | |
| George Fairbanks | Sep 12 | Mar 6 | ||
| Greg Hartman | Nov 21 | Apr 17 | Apr 24 | |
| Jung Soo Kim | Sep 26 | Nov 28 | ||
| Thomas LaToza | Sep 19 | May 1 | ||
| Paul Li | Apr 17 | May 1 | ||
| Annie Luo | Feb 13 | Mar 20 | ||
| Larry Maccherone | Nov 7 | Apr 10 | ||
| Mike Merideth | Oct 17 | Feb 20 | ||
| Elissa Newman | LOA | |||
| Jose German Rivera | Oct 10 | LOA | ||
| Christopher Scaffidi | Nov 14 | Nov 21 | ||
| Dean Sutherland | Mar 6 | Mar 20 |
Note: For historical reasons, the acronym for the Software
Research Seminar is SSSG.
This page was last modified on January 17, 2006.