[TYPES] Reminder: PAT2005 Summer School

Jesper Andersen jespera at diku.dk
Sat Apr 30 13:58:17 EDT 2005


======== REMINDER of PAT2005 ========

Dates have changed:
	REGISTRATION is OPEN NOW
	Fee Waiver applications: 8. May
	Registration closes 20. May

Summer School: Program analysis and transformation

     
     Organized by:
     Computer Science Department (DIKU),
     University of Copenhagen,
     Denmark

     Monday-Friday 6-10 June, 2005

     Summer School homepage:
     http://www.diku.dk/PAT2005/

This summer school on  Program analysis and transformation
will span theory and practice in the field. The overall
theme is semantics-based program manipulation, in which
practically-motivated operations on programs are solidly
based in the semantics of the underlying programming
languages.


Research profile of the Summer School's topics:

This research field began with classical compiler
optimisations. These were pragmatically successful and
well-automated, but lacking in semantic foundations.

This led to the long-pursued goal of truly semantics-based
generation of compilers and of abstract machines to
implement programming languages. Parallel academic
developments included more powerful and interesting program
transformations that were developed by hand, one at a time.

Major progress has been made in all three areas:
semantically well-founded compiler optimisations have been
devised and well-automated; compilers and abstract machines
can now be generated by semantics-based methods including
partial evaluation; and there now exist more powerful,
general and well-founded program transformations.

The speakers at this Summer School represent the state of
the art in this research field.


Confirmed speakers and their topics are:


Mooly Sagiv (Israel: Tel Aviv)
Program analysis using Three-Valued Logic

Olivier Danvy (Denmark: Aarhus)
On one-step reduction, evaluation, and abstract
machines

Oege De Moor (UK: Oxford)
Incremental execution of transformation specifications

Nick Benton, Microsoft Research Cambridge
Semantics of static analyses and program
transformations

Neil Jones (Denmark: DIKU, Copenhagen)
Size-change termination analysis of first and
higher-order programs

Torben Mogensen (Denmark: DIKU, Copenhagen)
Introduction to partial evaluation;  Program
semi-inversion

Arne Glenstrup (Denmark: ITU, Copenhagen)
Tool tutorial for the Scheme  partial evaluators PGG
and Similix

John Gallagher (Denmark: Roskilde)
Program analysis and specialisation using tree
automata

Robert Glueck (Denmark: DIKU, Copenhagen)
Program inversion

Kazuhiko Kakehi (Japan: MIST, Tokyo Uniiversity)
Attribute grammars and program transformations


Prerequisites:

Students should have some familiarity with classical
compiler optimisations.

A basic knowledge of operational semantics of programming
languages (eg Structural operational semantics, Natural
semantics or Action semantics) would be helpful.


Sponsors:

The PAT Summer School is partly supported by

FIRST Graduate School:
http://first.dk/

APPSEM-II:
http://www.tcs.informatik.uni-muenchen.de/~mhofmann/appsem2/

Microsoft Research:
http://research.microsoft.com/aboutmsr/labs/

Danish Natural Science Research Agency:
http://www.forsk.dk


Web pages:

PAT home page:
http://www.diku.dk/PAT2005/

(with details on lecture topics, speaker profiles,
timetable, etc.)

DIKU guest page:
http://www.diku.dk/diku/gaester/index.html

(with details on local transport, maps, hotels, etc.)


Registration:

The registration fee is DKK 1100 = EURO 150.

This includes lecture materials, lunches and coffees, and a
Summer School dinner. A block of rooms will be reserved at a
hotel in central Copenhagen -- specifically, the new Cab Inn.

Attendees are expected to arrange and pay for their own 
travel and lodging.


Registration will
Open:  5. April, 2005
Close: 20. May, 2005.


Fee waivers:

There will be a limited number of grants covering part
or all of the registration fee. Application materials are 
available at the course's web page at the beginning of
the registration period.


Local Organisation Committee:

Neil Jones
neil(a)diku.dk

Andrzej Filinski
andrzej(a)diku.dk

Torben Mogensen
torbenm(a)diku.dk

Jesper Andersen
jespera(a)diku.dk

Karin Outzen
karino(a)diku.dk


More information about the Types-list mailing list