Shelter Island, San Diego, California, USA
Shelter Pointe Hotel and Marina
November 6-10, 2000
Advance Program

Home

Final Program

Advance Program

Important Dates

Call for Papers

Organizing Committee

Program Committee

Sponsorships

Student Support

Registration

Tutorials

Collocated Workshops

Contact

Hotel Information

San Diego
     Area Map
     Area Weather
  SIGSOFT 2000 Advance Program
Monday, November 6, 2000

SIGSOFT 2000 Tutorials:
8:30 a.m.-5:30 p.m. FULL-DAY TUTORIAL [1]

"Methods and Tools for Round-Trip Engineering with UML, Design Patterns, Java and C++", Wilhelm Schaefer and Albert Zuendorf (Universitaet Paderborn)

FULL-DAY TUTORIAL [2]
"Principles and Practice of Modern Information Security", Jeremy Impson, Nader Mehravari and Scott Rush Lockheed Martin Federal Systems



Tuesday, November 7, 2000

SIGSOFT 2000 Tutorials:
8:30 a.m.-5:30 p.m. FULL-DAY TUTORIAL [3]

"Improving Design and Source Code Modularity Using AspectJ(tm)", Gregor Kiczales (University of British Columbia)

8:30 a.m.-12:30 p.m. HALF-DAY TUTORIAL [4a]

"Model Checking Foundations", Alan Emerson (University of Texas at Austin)

1:30 -5:30 p.m. HALF-DAY TUTORIAL [4b]

"Software Model Checking with Spin", Gerard J. Holzmann (Bell Labs)

7:00 -9:00 p.m. WELCOME RECEPTION



Wednesday, November 8, 2000

Session 1: Welcome and Keynote Presentation
8:45-10:30 a.m. CONFERENCE WELCOME

John Knight (University of Virginia) and David Rosenblum (University of California, Irvine),

KEYNOTE PRESENTATION
"Software Development for Next Generation Communication Networks", Richard A. DelMillo (Telcordia Technologies)

10:30-11:00 a.m. BREAK

Session 2:
11:00 a.m.-12:30 p.m. DESIGN

"Designing Robust Java Programs with Exceptions", Martin P. Robillard and Gail C. Murphy (University of British Columbia)

"Experience Report: Using RESOLVE/C++ for Commercial Software", Joesph Hollingsworth and Lori Blankenship (Holly Software, Inc.)

"The Universe Model: An Approach for Improving the Modularity and Reliability of Concurrent Programs", Reimer Behrends and Kurt Stirewalt (Michigan State University)

12:30-2:00 p.m. LUNCH (provided)

Session 3:
2:00-3:30 p.m. TESTING AND DEBUGGING

"Automated Test Oracles for GUIs", Atif Memon, Martha Pollack and Mary Lou Soffa (University of Pittsburgh)

"Automated Systematic Testing for Constraint-Based Interactive Services", Patrice Godefroid (Lucent Technologies/Bell Laboratories), Lalita Jagadeesan (Lucent Technologies/Bell Laboratories), Radha Jagadeesan (Loyola University Chicago) and Konstantin Laufer (Loyola University Chicago)

"Compiler and Tool Support for Debugging Object Protocols", Sergey Butkevich (The Ohio State University), Marco Renedo (The Ohio State University), Gerald Baumgartner (The Ohio State University) and Michal Young (University of Oregon)

3:30-4:00 p.m. BREAK

Session 4:
4:00-5:00 p.m. REUSE

"Integrating Active Information Delivery and Reuse Repository Systems", Yunwen Ye, (Software Research Associates, Inc.), Gerhard Fischer (University of Colorado at Boulder) and Brent Reeves (TwinBear Research)

"Implicit Context: Easing Software Evolution and Reuse", Robert Walker and Gail Murphy (University of British Columbia)

Evening Sessions:
5:00-6:00 p.m. SIGSOFT General Meeting
5:00-7:00 p.m. Reception for Students
8:30-10:30 p.m. Novel Notions, Wild Ideas and Fun Flames
Chaired by David Notkin (University of Washington)



Thursday, November 9, 2000

Session 5:
9:00-10:30 a.m. KEYNOTE PRESENTATION
"Bugs in the Programs", Richard D. Pethia (CERT Coordination Center, SEI/CMU)
10:30-11:00 a.m. BREAK

Session 6:
11:00 a.m.-12:30 p.m. CONFIGURATION MANAGEMENT AND DEPLOYMENT

"Accumulative Versioning File System Moraine and Its Application to Metrics Environment MAME", Tetsuo Yamamoto, Makoto Matsushita and Katsuro Inoue (Osaka University)

"Coven: Brewing Better Collaboration through Software Configuration Management", Mark Chu-Carroll (IBM T.J. Watson Research Center) and Sara Sprenkle (Duke University)

"Extracting Library-Based Object-Oriented Applications", Peter F. Sweeney and Frank Tip (IBM T.J. Watson Research Center)
12:30-2:00 p.m. LUNCH (provided)

Session 7:
2:00-3:30 p.m. PANEL SESSION

"The Impact Project: Determining the Impact of Software Engineering Research upon Practice",
Panelists-
Leon J. Osterweil (Chair), University of Massachusetts, Amherst; Lori A. Clarke, University of Massachusetts, Amherst; Michael Evangelist, National Science Foundation; Jeffrey Kramer, Imperial College; Dieter Rombach, Universitdt Kaiserslautern; and Alexander L. Wolf, University of Colorado at Boulder.

3:30-4:00 p.m. BREAK

Session 8:
4:00-5:30 p.m. FORMAL METHODS

"Composing Features and Resolving Interactions", Jonathan Hay and Joanne Atlee (University of Waterloo)

"A Compositional Approach to Statecharts Semantics", Gerald Luettgen (Institute for Computer Applications in Science and Engineering), Michael von der Beeck (Munich University of Technology) and Rance Cleaveland (State University of New York at Stony Brook)

"Automating First-Order Relational Logic", Daniel Jackson (Massachusetts Institute of Technology)

TBD CONFERENCE BANQUET

Buses leave hotel and return from the San Diego Zoo



Friday, November 10, 2000

Session 9:
9:00-10:30 a.m. ANALYSIS

"On the Formalization of Architectural Types with Process Algebras", Marco Bernardo (Universita` di Torino), Paolo Ciancarini (Universita` di Bologna) and Lorenzo Donatiello (Universita` di Bologna)

"COM Revisited: Tool-Assisted Modelling and Analysis of Software Structures", Daniel Jackson (Massachusetts Institute of Technology) and Kevin Sullivan (University of Virginia)

"Classifying Properties: An Alternative to the Safety-Liveness Classification", Gleb Naumovich (Polytechnic University, New York) and Lori Clarke (University of Massachusetts, Amherst)

10:30-11:00 a.m. BREAK

Session 10:
11:00 a.m.-12:30 p.m. KEYNOTE PRESENTATION AND FAREWELLS

"The Shape of Things to Come?", Richard F. Rashid (Microsoft Research)

Conference Farewell and Future FSEs, John Knight (University of Virginia)


END OF SIGSOFT 2000

Eighth International Symposium on the Foundations of Software Engineering
Email comments to webman@cs.virginia.edu
Maintained by the Computer Science Web Team