|
The curriculum consists of a 9-day course organized around the following topics:
- Introduction and Foundational Theory
This portion of the school will
introduce students to the basic principles of concurrent and
distributed software design and language support. To place the
technical lectures in a broader context and give some practical
perspective, students will also hear lectures on the hardware
designs that underlie the software systems and how concurrent
systems are deployed.
- Advanced Techniques for Concurrency
This portion of the
school will delve into recent research in the area of language-based
approaches to concurrent and distributed software.
The lectures
will include language design and implementation issues and software
tools for analyzing concurrent programs. The intent is to give
students sufficient depth in this area to allow them to build on
these results in their own future research.
- Theory, in Practice
This portion of the school will
expose students to applications of the theoretical tools discussed
above to real-world systems. For example, students will look at
practical approaches to building concurrent software, including the
design of new languages as well as lightweight language-based
techniques for making it easier to build concurrent software.
- Panel
In addition to the lectures, the summer school will include a
panel session to provoke interactive discussions on hot topics
in language-based approaches to concurrent and distributed systems.
|
|