18 May - Wednesday
Session 4
4:00 PM

  Research Papers   Keynotes & Invited Talks
  Experience Reports   Panels
  Education & Training Reports   Research Demonstrations
  Awards & General Remarks   Meetings

Programming Languages
18 May @ 4:00 PM

St. Louis Ballroom D [Floor Plan]
Session Chair: Carlo Ghezzi

> An Adaptive Object Model with Dynamic Role Binding
Tetsuo Tamai, Naoyasu Ubayashi, and Ryoichi Ichiyama
> Data Structure Repair Using Goal-Directed Reasoning
Brian Demsky and Martin Rinard
> Verifying Safety Policies with Size Properties and Alias Controls
Wei-Ngan Chin, Siau-Cheng Khoo, Shengchao Qin, Corneliu Popeea, and Huu Hai Nguyen


Change Management
18 May @ 4:00 PM

St. Louis Ballroom E [Floor Plan]
Session Chair: Amy Murphy

> Verification and Change Impact Analysis of Access-Control Policies
Kathi Fisler, Shriram Krishnamurthi, Leo Meyerovich, and Michael Tschantz
> Explicit Assumptions enrich Architectural Models
Patricia Lago and Hans van Vliet
> An Infrastructure for Development of Object-Oriented, Multi-level Configuration Management Services
Tien Nguyen, Ethan Munson, John Boyland, and Cheng Thao


Software Architectures
18 May @ 4:00 PM

St. Louis Ballroom C [Floor Plan]
Session Chair: Mikio Aoyama

> Re-Engineering Software Architecture of Home Service Robots: A Case Study
Moonzoo Kim, Jaejoon Lee, Kyo Kang, Youngjin Hong, and Seokwon Bang
> Tool Support for Just-in-Time Architecture Reconstruction and Evaluation: An Experience Report
Ian Gorton and Liming Zhu


Research Demonstrations III
18 May @ 4:00 PM
St. Louis Ballroom F (Room Change) [Floor Plan]
Session Chair: Eric Wohlstadter

> Fluent-Based Web Animation: Exploring Goals for Requirements Validation
Robert Chatley, Sebastian Uchitel, Jeff Kramer, and Jeff Magee
Informal Demo: 20 May @ 12:30 PM (during lunch break)
> Modeling and Implementing Software Architecture with Acme and ArchJava
Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley Schmerl, Nagi Nahas, and Tony Tseng
Informal Demo: 20 May @ 3:30 PM (during coffee break)