Microsoft Research’s External Research and Programs group hosted a three-day workshop September 19–21, 2005 in Redmond, Washington. This workshop was a follow-on to the successful SSCLI RFP I Capstone Workshop held in 2003.

The workshop provided an opportunity for SSCLI RFP II award recipients to present their work in applying SSCLI, the Shared Source Common Language Infrastructure, to a wide range of research and teaching challenges.

SSCLI, previously known as “Rotor,” provides a free, shared-source implementation of Microsoft’s Common Language Runtime platform, including source code for C# and JScript compilers, as well as for the Common Language Infrastructure (CLI) platform itself. It also contains source code for a variety of useful developer tools, including a Common Intermediate Language (CIL) assembler, a disassembler, a debugger, a profiler, and an assembly linker. The SSCLI code can be used, modified, and redistributed, for non-commercial experimentation; used as a basis for research, courseware, or lab projects; or used as a guide for those developing their own commercial ECMA implementations.

To download SSCLI, go to the SSCLI main page.

Workshop Agenda

Monday, September 19, 2005

• 8:45–9:00 Welcome Mark Lewin, Microsoft Research, USA
• 9:00–9:30 On the cost of securing applications: Performance and feasibility of capability-based security in the Rotor platform Dario Alvarez-Gutierrez, University of Oviedo, Spain
• 9:30–10:00 Embedded formal verification assistants in the .NET framework Ondrej Rysavy, Brno Technical University, Czech Republic
• 10:00–10:30 Break
• 10:30–11:00 Implementation of a non-strict functional language on Rotor Nigel Perry, University of Canterbury, New Zealand
• 11:00–11:30 Gardens Point Generics (GPG) John Gough (for Paul Roe), Queensland University of Technology, Australia
• 11:30–12:00 Extending Rotor with Structural Reflection to Support Reflective Languages Francisco Ortin, University of Oviedo, Spain
• 12:00–13:00 Lunch
• 13:00–13:30 Computer Aided Instruction in Graduate Compiler Design Based on the C# Compiler Source Code and a hide and show approach Elizabeth White, George Mason University, USA
• 13:30–14:00 FreeSoDA Frank Padberg, University of Karlsruhe, Germany
• 14:00–14:30 RoSCtor: Software Construction within Rotor Kathrin Berg and Judith Bishop, University of Pretoria, South Africa
• 14:30–15:00 Break
• 15:00–15:30 Flexible Dynamic Linking for .NET Alex Buckley and Susan Eisenbach, Imperial College London, UK
• 15:30–16:00 RAIL2 – Runtime Assembly Instrumentation Library 2 Paulo Marques, Universidade de Coimbra, Portugal
• 16:00–16:30 Framework for domain-specific optimization at run-time Paul Kelly, Imperial College London, UK
• 17:00–19:00 Dinner

Tuesday, September 20, 2005

• 8:55–9:00 Welcome Mark Lewin, Microsoft Research, USA
• 9:00–9:30 Typed Compilation of .NET Common Intermediate Language Andrew McCreight and Zhong Shao, Yale University, USA
• 9:30–10:00 Aspect.NET Valdimir Safonov, St. Petersburg State University, Russian Federation
• 10:00–10:30 Break
• 10:30–11:15 Phoenix and the Phoenix Academic Program Jim Hogg, Microsoft
• 11:15–11:45 SSCLI Futures Joel Pobar, Microsoft
• 11:45–12:00 The Next Microsoft Research RFP Mark Lewin, Microsoft Research
• 12:00–13:00 Lunch
• 13:00–13:30 Improving Rotor for Dynamically Typed Languages Fabio Mascarenhas and Roberto Ierusilimschy, PUC-Rio, Brazil
• 13:30–14:00 Dynamic Languages for .NET John Gough, Queensland University of Technology, Australia
• 14:00–14:30 Break
• 14:30–15:00 BETA.NET Peter Anderson, University of Aarhus, Denmark
• 15:00–15:30 SCOOP: Concurrent object-oriented programming for Rotor Bertrand Meyer, ETH Zurich, Switzerland
• 15:30–16:00 The Nemerle Project Michal Moskal and Leszek Pacholski, University of Wroclaw, Poland
• 16:00–16:30 Integrating Haskell with .NET using Rotor Andre Santos, Center of Informatics/Universidade Federal de Pernambuco, Brazil
• 17:00–19:00 Visit to Company Store, Dinner at Company Museum

Wednesday, September 21, 2005

• 8:55–9:00 Welcome Mark Lewin, Microsoft Research, USA
• 9:00–9:30 Traits in C# Stephan Reichhart and Stephane Ducasse, Universitat Bern, Switzerland
• 9:30–10:00 Transactional, Persistent, Managed Runtime Environments Antony Hosking, Purdue University, USA
• 10:00–10:30 Break
• 10:30–11:00 Memory System Behaviour of .NET Applications and a Profile-Guided Garbage Collector YN Srikant, Indian Institute of Science Bangalore, India
• 11:00–11:30 Parallel, Real-Time Garbage Collection in Rotor Daniel Spoonhower and Robert Harper, Carnegie Mellon University, USA
• 11:30–12:00 GCspy for Rotor Richard Jones, University of Kent, UK
• 12:00–13:00 Lunch
• 13:00–13:30 The Grid-Occam Project Bernhard Rabe and Andres Polze, University of Potsdam, Germany
• 13:30–14:00 Xtatic: Native XML Processing for C# Michael Levin and Benjamin Pierce, University of Pennsylvania, USA & Microsoft, USA
• 14:00–14:30 A Hardware-Based CIL-Machine Maxim Shuralev, Niznhiy Norogorod State University, Russian Federation
• 14:30–15:00 Rotor-Based Course Development Govindarajulu Regeti, International Institute of Information Technology, India
• 15:00 Closing Comments Mark Lewin, Microsoft Research

Workshop Location

The Microsoft Research SSCLI RFP II Capstone Workshop was held at Microsoft Research in Redmond, Washington.