Home

Organizing Committee

Program Committee

Program

Educator's Grant Program

FSE-10 Student Research Forum

Tutorials

Workshop on Program Analysis for Software Tools and Engineering (PASTE '02)

Workshop on Self-Healing Systems (WOSS '02)

Important Dates

Sponsors

Charleston Information

For More Information

Previous SIGSOFT/FSEs

Next: ESEC/FSE'03



 

 

Advance Program

SIGSOFT 2002 Workshops, November 18-19
  Workshop on Self-Healing Systems (WOSS ’02)
  Workshop on Program Analysis for Software Tools and Engineering (PASTE ’02)
   
SIGSOFT 2002 Tutorials, November 19 (half day each)
8:30 - 12:00 Viewpoint Analysis and Requirements Engineering
Bashar Nuseibeh, The Open University, UK and Steve Easterbrook, University of Toronto
8:30 - 12:00 Micromodels of Software: Modelling and Analysis with Alloy
Daniel Jackson, MIT
8:30 - 12:00 Software Engineering Education:
Integrating Software Engineering into the Undergraduate Curriculum
Thomas Horton, University of Virginia and W. Michael McCracken, Georgia Institute of Technology
1:30 - 5:00 Software Model Checking
Matthew Dwyer, Kansas State University
1:30 - 5:00 Software Engineering Education:
New Concepts in Software Engineering Education
Thomas Horton, University of Virginia; Michael Lutz, Rochester Institute of Technology; W. Michael McCracken, Georgia Institute of Technology; Ann Sobel,
Miami University, Oxford Ohio; Laurie Williams, North Carolina State University
   
FSE-10, Wednesday, November 20
8:00 - 9:00 Registration and Refreshments
9:00 - 10:30 Session 1: Conference Welcome and Keynote Presentation
Chair: William G. Griswold, University of California, San Diego
 

Conference Welcome
Mary Lou Soffa, Conference General Chair (University of Pittsburgh)
William Griswold, Program Chair (University of California, San Diego)

Keynote
Programming Environments...literally
Ubicomp's Grand Challenge for Software Engineering
Gregory D. Abowd (Georgia Tech)

10:30 - 11:00 Break
11:00 - 12:00

Session 2: Dynamic Program Analysis
Chair: Atif Memon, University of Maryland

Isolating Cause-Effect Chains from Computer Programs
Andreas Zeller (Universität des Saarlandes)

Invariant Inference for Static Checking: An Empirical Evaluation
Jeremy W. Nimmer, Michael D. Ernst (MIT Lab for Computer Science)

12:00 - 1:30 Lunch
1:30 - 3:00

Session 3: Mobility
Chair: André van der Hoek, University of California, Irvine

Egocentric Context-Aware Programming in Ad Hoc Mobile Environments
Christine Julien, Gruia-Catalin Roman (Washington University)

A Micro-Economic Approach to Conflict Resolution in Mobile Computing
Licia Capra, Wolfgang Emmerich, Cecilia Mascolo (University College London)

Architectural Primitives for Distribution and Mobility
Antónia Lopes (Campo Grande), José Luiz Fiadeiro (Campo Grande, ATX Software SA), Michel Wermelinger (ATX Software SA, Universidade Nova de Lisboa)

3:00 - 3:30 Break
3:30 - 5:00

Session 4: Static Program Analysis
Chair: John Field, IBM T.J. Watson Research Center

Using Redundancies to Find Errors
Yichen Xie, Dawson Engler (Stanford University)

Searching for Points-To Analysis
Glenn Bruns, Satish Chandra (Bell Laboratories, Lucent Technologies)

Improving Program Slicing with Dynamic Points-To Data
Markus Mock (University of Washington), Darren C. Atkinson (Santa Clara University), Craig Chambers (University of Washington), Susan J. Eggers (University of Washington)
5:00 - 6:00 SIGSOFT General Meeting
6:00 - 8:00 Student Research Forum, including posters and refreshments
7:00 ICSE Steering Committee meeting
   
FSE-10, Thursday, November 21
8:00 - 9:00 Registration and Refreshments
9:00 - 10:30

Session 5: Award Ceremony and Keynote
Chair: Alexander L. Wolf, University of Colorado, Boulder

 

ACM SIGSOFT Outstanding Research Award and
SIGSOFT Distinguished Paper Award

Keynote
The Logic of Bugs
Gerard J. Holzmann, Bell Laboratories, 2002 ACM SIGSOFT Outstanding Research Award Winner
10:30 - 11:00 Break
 

Session 6: Aspect-Oriented Programming
Chair: Barbara G. Ryder, Rutgers University

Verifying Cross-Cutting Features as Open Systems
Harry Li (Brown University, The University of Texas at Austin), Shriram Krishnamurthi (Brown University), Kathi Fisler (Worcester Polytechnic Institute)

Supporting Aggregation in Fine Grained Software Configuration Management
Mark C. Chu-Carroll, James Wright, David Shields (IBM T. J. Watson Research Center)

12:00 - 1:30 Lunch
1:30 - 3:00

Session 7: Requirements Analysis
Chair: Martin Glinz, University of Zurich

Negative Scenarios for Implied Scenario Elicitation
Sebastian Uchitel, Jeff Kramer, Jeff Magee (Imperial College)

Deriving Operational Software Specifications from System Goals
Emmanuel Letier, Axel van Lamsweerde (Université Catholique de Louvain)

Secure Systems Development Based on the Common Criteria - the PalME Project
Monika Vetterling (akm software Beratug, Entwicklung GmbH), Guido Wimmel (Technische Universität München), Alexander Wisspeintner (Technische Universität München)

3:00 - 3:30 Break
3:30 - 4:30

Session 8a: Modelling
Chair: Joanne M. Atlee, University of Waterloo

Model Exploration with Temporal Logic Query Checking
Arie Gurfinkel, Benet Devereux, Marsha Chechik (University of Toronto)

Composable Semantics for Model-Based Notations
Jianwei Niu, Joanne M. Atlee, Nancy A. Day (University of Waterloo)
4:30 - 5:15 Session 8b: CCSE Curriculum Project Status Report and Q&A
Richard LeBlanc (Georgia Institute of Technology) and Ann Sobel (Miami University, Oxford, Ohio)
5:30 Busses depart for reception and dinner at the Citadel McCormick Beach House, located oceanfront on the Isle of Palms
   
FSE-10, Friday, November 22
8:00 - 9:00 Refreshments
9:00 - 10:15

Session 9: Keynote
Chair: Mary Lou Soffa, University of Pittsburgh

Keynote
Building Secure Software
Why the standard approach to security doesn't work, and what Software Engineering can do about it
Gary McGraw (Cigital)

10:15 - 10:45 Break
10:45 - 11:45

Session 10: Dynamic Response Systems
Chair: David Garlan, Carnegie Mellon University

Containment Units: A Hierarchically Composable Architecture for Adaptive Systems
Jamieson M. Cobleigh (University of Massachusetts), Leon J. Osterweil (University of Massachusetts), Alexander Wise (University of Massachusetts), Barbara Staudt Lerner (Williams College)

Triggered Message Sequence Charts
Bikram Sengupta, Rance Cleaveland (SUNY at Stony Brook)
11:45 - 12:00 ESEC/FSE 2003 and SIGSOFT 2004, Conference Close
End of SIGSOFT 2002/FSE-10


Web site maintained by:

Debra A. Brodbeck, Institute for Software Research, University of California, Irvine, brodbeck@uci.edu