| 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 |
|
|
| 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 |