Abstract
This work is currently in progress. I talk about how a compiler can be modified to interact with a user. Features of the interactive compilation system include viewing the low-level representation of a function, interactively specifying the order of code-improving transformations, allowing previously specified transformations to be undone, providing the ability to specify code-improving transformations by hand, and validating code-improving transformations.

Abstract
We study a methodology for constructing scheduled systems by successive restriction of the behavior of the processes to be scheduled. Restriction is used to guarantee satisfaction of two kinds of constraints: schedulability constraints characterizing timing properties of the processes, and constraints characterizing particular scheduling policies including process priorities, non idling and preemption.

The methodology is based on the controller synthesis paradigm. The main results deal with the specification of scheduling policies as safety constraints and the simplification of the synthesis process by application of a composability principle.

ASTEC seminar
September 26, 2000

Place: Information technology, Uppsala University
Room: 1510 Please, note room change!
Time: 14.00 - 16

Help on how get here and MIC campus drawing.

There will be an extended period for discussions after the seminar.

Speakers are encouraged to give an short (5 min) introduction to the subject at the begining of the talk.
Listeners are excused if they have to leave after 1 hour.