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

FSE-8 Final Program


Home

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

 

Wednesday, November 8, 2000
Session 1: Welcome and Keynote Presentation (Welcome slides - PPT)
Chair: John C. Knight (University of Virginia)
8:45-10:30 a.m. Conference Welcome
John Knight (University of Virginia) and David S. Rosenblum (University of California, Irvine)

KEYNOTE:
"Software Development for Next Generation Communication Networks" (abstract - html)
Richard A. DeMillo (Hewlett Packard)

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

Session 2: Design
Chair: Nenad Medvidovic (University of Southern California)
11:00 a.m.-12:30 p.m.

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

"Experience Report: Using RESOLVE/C++ for Commercial Software" (slides - PPT)
Joesph E. Hollingsworth, (Holly Software, Inc.), Lori Blankenship (Holly Software, Inc.), and Bruce W. Weide (The Ohio State University)

"The Universe Model: An Approach for Improving the Modularity and Reliability of Concurrent Programs" (slides - PPT)
Reimer Behrends and R.E. Kurt Stirewalt (Michigan State University)

12:30-2:00 p.m. LUNCH (provided)
Session 3: Testing and Debugging
Chair: Laura K. Dillon (Michigan State University)
2:00-3:30 p.m.

"Automated Test Oracles for GUIs" (slides - PPT)
Atif M. Memon, Martha E. Pollack and Mary Lou Soffa (University of Pittsburgh)

"Automated Systematic Testing for Constraint-Based Interactive Services" (slides - PPT)
Patrice Godefroid (Bell Laboratories, Lucent Technologies), Lalita Jagadeesan (Bell Laboratories, Lucent Technologies), Radha Jagadeesan (Loyola University Chicago) and Konstantin Läufer (Loyola University Chicago)

"Compiler and Tool Support for Debugging Object Protocols" (slides - PDF)
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: Reuse
Chair: Premkumar T. Devanbu (University of California, Davis)
4:00-5:00 p.m.

"Integrating Active Information Delivery and Reuse Repository Systems" (slides - PPT)
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" (slides - PPT)
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
Chair: David Notkin (University of Washington)

Thursday, November 9, 2000
Session 5: Keynote Presentation
Chair: David S. Rosenblum (University of California, Irvine)
9:00-10:30 a.m. KEYNOTE:
"Bugs in the Programs" (abstract - html, slides - PPT)
Richard D. Pethia (CERT Coordination Center, SEI/CMU)

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

Session 6: Configuration Management and Deployment
Chair: Alexander L. Wolf (University of Colorado at Boulder)
11:00 a.m.-12:30 p.m.

"Accumulative Versioning File System Moraine and Its Application to Metrics Environment MAME" (slides - PPT)
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" (slides - PDF)
Peter F. Sweeney and Frank Tip (IBM T.J. Watson Research Center)

12:30-2:00 p.m. LUNCH (provided)
Session 7: Panel Session on The Impact Project
Chair: Leon J. Osterweil (University of Massachusetts, Amherst)
2:00-3:30 p.m. PANEL SESSION

"The Impact Project: Determining the Impact of Software Engineering Research upon Practice"
Panelists:
Lori A. Clarke (University of Massachusetts, Amherst), Michael Evangelist (National Science Foundation), Jeffrey Kramer (Imperial College), Dewayne Perry (University of Texas at Austin), and Alexander L. Wolf (University of Colorado at Boulder)

3:30-4:00 p.m. BREAK
Session 8: Formal Methods
Chair: Axel van Lamsweerde (Université Catholic de Louvain)
4:00-5:30 p.m.

"Composing Features and Resolving Interactions" (slides - PPT)
Jonathan Hay and Joanne Atlee (University of Waterloo)

"A Compositional Approach to Statecharts Semantics"
Gerald Lüttgen (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" (slides - PDF)
Daniel Jackson (Massachusetts Institute of Technology)

6:00-9:00 p.m.

CONFERENCE BANQUET

Buses leave hotel and return from the San Diego Zoo

Friday, November 10, 2000
Session 9: Analysis
Chair: Jeffrey N. Magee (Imperial College)
9:00-10:30 a.m.

"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" (slides - PPT)
Daniel Jackson (Massachusetts Institute of Technology) and Kevin Sullivan (University of Virginia)

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

10:30-11:00 a.m. BREAK
Session 10: Keynote Presentations and Farewells
Chair: John C. Knight (University of Virginia)
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