Wednesday is reserved for tutorials. The following tutorials are currently planned, more information will be provided as it is available.
Deductive Synthesis of Numerical
Simulation Programs from Networks of Algebraic and Ordinary
Differential Equations
Thomas Ellman and Takahiro Murata
(longest title award winner)
Synthesis of Schedulers for Planned
Shutdowns of Power Plants
Carla P. Gomes, Douglas R. Smith and Stephen J. Westfold
Synthesis of Local Search Algorithms
by Algebraic Means
Robert P. Graham, Jr., and Paul D. Bailor
Panelists: Lewis Johnson, Chris Welty, Alex Quilici, Frank Shipman
Constructing Transition Models of AI Planner Behavior
Adele E. Howe and Larry D. Pyeatt
Trusting Your Assistant
Robert J. Hall
Complementing semi-formal specifications with Z
Yves Ledru
Extending Design Environments to
Software Architecture Design
Jason E. Robbins, David M. Hilbert, and David F. Redmiles
(best paper award winner)
Addressing Complexity, Coordination,
and Automation in Software Development with the KBSA/ADM
Kevin Benner
Integrating Software Process Models
and Design Rationales
Barbara Dellen, Kirstin Kohler, and Frank Maurer
Panelists: Scott Henninger, Bala Ramesh, Peter Selfridge, Lewis Johnson
Applying Plan Recognition Algorithms
to Program Understanding
Alex Quilici, Qiang Yang, and Steve Woods
Knowledge-Based Re-engineering of
Legacy Programs for Robustness in Automated Design
J. Keane and T. Ellman
Using Knowledge-Based Transformations
to Reverse-Engineer COBOL Programs
Terence J. Harmer, Patrick J. McParland and James M. Boyle.
A Knowledge-Based Toolkit For Software Visualisation
Diana Sidarkeviciute, Enn Tyugu, and Ago Kuusik
Set Differentiation: A Method for the
Automatic Generation of Filtering Algorithms
Fawzia Derrough Darche
Software Synthesis for Trade-off Design
Akiyoshi Sato, Masato Miki, Toru Yamanouchi, and Masanobu Watanabe
Panelists: Ted Biggerstaff, Doug Smith, Tom Weigert, Ira Baxter