|
|
Sunday, October 31 - Monday, November 1
Monday, November 1
| 8:30 - 12:00 |
Tutorial 1
Software Engineering Education: Teaching Software Engineering |
| 1:00 - 5:00 |
Tutorial 2
Software Engineering Education: New Concepts in Software Engineering Education |
|
Please note that the times given are approximate. Please see the Final Program for exact times. |
Tuesday, November 2
| 8:45 - 9:00 |
Welcome
Richard N. Taylor, General Chair, University of California, Irvine
Matthew Dwyer, Program Chair, University of Nebraska-Lincoln |
| 9:00 - 10:30 |
Keynote: Is Security Engineering Really Just Good Software Engineering?
Alexander L. Wolf, University of Lugano, Switzerland and University of Colorado at Boulder, USA |
| 11:00 - 12:30 |
Session 1: Program Analysis |
|
Resolving Uncertainties During Trace Analysis
Alexander Egyed, Teknowledge Corporation |
|
Automating Comprehensive Safety Analysis of Concurrent Programs Using VeriSoft and TXL
Juergen Dingel and Hingzhi Liang, Queen’s University |
|
Efficient Incremental Algorithms for Dynamic Detection of Likely Invariants
Jeff Perkins and Michael Ernst, Massachusetts Institute of Technology |
| 2:00 - 3:30 |
Session 2: Modeling and Requirements |
|
System Architecture: the Context for Scenario-based Model Synthesis
Sebastian Uchitel, Robert Chatley, Jeff Kramer and Jeff Magee, Imperial College London |
|
Merging Partial Behavioural Models
Sebastian Uchitel, Imperial College London and Marsha Chechik, University of Toronto |
|
Reasoning about Partial Goal Satisfaction for Requirements and Design Engineering
Emmanuel Letier and Axel van Lamsweerde, Université Catholique de Louvain |
| 4:00 - 5:30 |
Session 3: Error Explanation |
|
PSE: Explaining Program Failures via Postmortem Static Analysis
Roman Manevich, Tel Aviv University; Manu Sridharan, University of California, Berkeley; Stephen Adams, Manuvir Das and Zhe Yang, Center for Software Excellence, Microsoft Corporation |
|
Explaining Abstract Counterexamples
Sagar Chaki, Alex Groce, Carnegie Mellon University; and Ofer Strichman, Technion, Haifa |
|
Correlation Exploitation in Error Ranking
Ted Kremenek, Ken Ashcraft, Junfeng Yang and Dawson Engler, Stanford University |
| 5:30 - 6:30 |
SIGSOFT General Meeting |
| 6:30 - 8:30 |
Student Research Forum with Posters and Reception |
Wednesday, November 3
| 9:00 - 10:30 |
Keynote: The Usability Problem for Home Appliances: Engineers Caused It, Engineers Can Fix It!
Joe Marks, Director, Mitsubishi Electric Research Laboratories, Cambridge |
| 11:00 - 12:30 |
Session 4 : Safety and Security |
|
Testing Static Analysis Tools Using Exploitable Buffer Overflows From Open Source Code
Misha Zitser, D. E. Shaw Group; Tim Leek and Richard Lippman, MIT Lincoln Laboratory |
|
Engineering Human Trust in Mobile System Collaborations
Licia Capra, University College London |
|
An Efficient and Backwards-Compatible Transformation Technique to Ensure Memory Safety of C Programs
Wei Xu, Daniel DuVarney and R. Sekar, Stony Brook University |
| 2:00 - 4:00 |
Session 5: Aspects |
|
Variability Management with Feature Oriented Programming and Aspects
Mira Mezini and Klaus Ostermann, Darmstadt University of Technology |
|
Verifying Aspect Advice Modularly
Shriram Krisnamurthi, Brown University; Kathi Fisler, WPI; and Michael Greenberg, Brown University |
|
A Classification System and Analysis for Aspect-Oriented Programs
Martin Rinard, Alexandru Salcianu and Suhabe Bugrara, Massachusetts Institute of Technology |
|
Implementing Protocols via Declarative Event Patterns
Robert Walker and Kevin Viggers, University of Calgary |
|
Adjourn for the day. Enjoy the beach! |
| 4:30 - 6:00 |
Student Mixer |
Thursday, November 4
| 9:00 - 10:30 |
Keynote: A New Approach to Software Safety using Systems Theory
Nancy Leveson, Massachusetts Institute of Technology, SIGSOFT Outstanding Research Award winner |
| 11:00 - 12:30 |
Session 6: Verification |
|
Modular Design and Verification of Component-Based Mechatronic Systems with Online-Reconfiguration
Holger Giese, Sven Burmester, Wilhelm Shafer and Oliver Oberschelp, University of Paderborn |
|
A Type System for Object Models
Jonathan Edwards, Daniel Jackson and Emina Torlak, Massachusetts Institute of Technology |
|
Heuristic-Guided Counterexample Search in FLAVERS
Jianbin Tan, George Avrunin, Lori Clarke, Shlomo Zilberstein, University of Massachusetts; and Stefan Leue, University of Konstanz |
| 2:00 - 3:30 |
Session 7: Development Support |
|
Relevancy Based Semantic Interoperation of Reuse Repositories
Ying Pan, Peking University; Lei Wang, Tsinghua University; Lu Zhang, Bing Xie and Fuqing Yang, Peking University |
|
How a Good Software Practice Thwarts Collaboration -- The Multiple Roles of APIs in Software Development
Cleidson de Souza, Universidade Federal do Pará and University of California, Irvine; David Redmiles, University of California, Irvine; Li-Te Cheng, David Millen and John Patterson, IBM T. J. Watson Research Center |
|
Refining Code-Design Mapping with Flow Analysis
Xiaofang Zhang, Michal Young and John Lasseter, University of Oregon |
| 4:00 - 5:30 |
Session 8: Testing and Reliability |
|
Scaling Regression Testing to Large Software Systems
Alessandro Orso, Nanjuan Shi and Mary Jean Harrold, Georgia Institute of Technology |
|
Using a SQL Coverage Measurement for Testing Database Applications
Maria Jose Suarez-Cabal and Javier Tuya, Universidad de Oviedo |
|
Empirical Evaluation of Defect Projection Models for Widely-deployed Production Software Systems
Paul Li, Mary Shaw, Jim Herbsleb, Carnegie Mellon University; Bonnie Ray and P. Santhanam, IBM T.J. Watson Research Center |
| 5:30 |
Conference Close and ESEC/FSE 2005 Preview. |
Friday, November 5
Co-located Events
Wednesday, November 3
| 4:30 - 7:30 |
ICSE 2006 Organizers Meeting |
Thursday, November 4
Friday, November 5 - Saturday, November 6
|
)