Web Home

Fosa

Master Course Seminar Feedback Oriented Static Analysis

Sep 15, 2006

In week 38 we will jointly read Peyton-Jones' arbitrary-rank paper (final version, 2006). You will be provided with a copy.

Aug 7, 2006

Provisional course schedule and a list of presentation papers are now available.

Jun 13, 2006

Set up of Fosa web

The Seminar Feedback-Oriented Static Analysis deals with the front end of compilers, more specifically how to generate as much as possible of an implementation using a language for describing front-ends, while maintaining a level of usability through the control of feedback from the various front end phases.