Newport Beach ACM SIGSOFT 2004/FSE-12
Welcome Final Program Call for Participation







Related Events

Get Involved


Final Program

(Final Program can also be downloadedPDF)

Please note that a view of the conference at a glance is also available.

Sunday, October 31 - Monday, November 1

8:30 - 5:30 WOSS (Workshop on Self-Managed Systems '04)
Workshop program will be available on the workshop web site.
8:30 - 5:30 SAVCBS (Specification and Verification of Component-Based Systems '04)
Workshop program will be available on the workshop web site.

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

8:30 - 5:30 QUTE-SWAP (QUantitative TEchniques for SoftWare Agile Processes)
Workshop program will be available on the workshop web site.
8:30 - 5:30 WISER (Workshop on Interdisicplinary Software Engineering Research)
Workshop program will be available on the workshop web site.

Co-located Events

Wednesday, November 3

4:30 - 7:30 ICSE 2006 Organizers Meeting

Thursday, November 4

Friday, November 5 - Saturday, November 6

Valid HTML 4.01! Valid CSS!