These are the old pages from the weblog as they were published at Cornell. Visit for up-to-date entries.

April 23, 2003

Blogging from the Rotor Workshop

I just arrived in Pisa after some travel delays. Unfortunately this meant that I missed Peter Drayton's opening keynote and most of Luca Cardelli's talk. The location is wonderful and it promises to be a very interesting workshop.

The part of Luca's talk that I managed to catch focused on the tension between type system and schema based data structures, and on better support for concurrency in languages. The latter was particular interesting as he described extensions to C# (Polyphonic C#)  based on a join calculus that allow you to indicate that some methods of an object are a-synchronous. It also allows you to put sets of methods invocations into a chord which has code associated with it that execute once the set of invocations has taken place. This allows you to declare simple state machines. Luca also stated that the local as well as remote concurrent execution can be expressed this way, of course this transparency makes me nervous, but as long as it is for the sake of research...

For this afternoon a session on compilation techniques is on the agenda. John Cough as well as Antonio Cisternino (presenting in the picture) will talk about dynamic code generation. Albrecht Woess will talk about compiler tools and Y. Srikant will talk about optimizing the JIT.

Posted by Werner Vogels at April 23, 2003 12:03 PM


Any indication by Luca as to if/when a polyphonic C# compiler might be available? There's been some teasing on the MSR site for quite a while now that indicates a public compiler might be coming, but nothing for us mere mortals to eat...

Posted by: Mickey Williams on April 23, 2003 11:41 PM