Microsoft Research SSCLI RFP II Capstone Workshop 2005

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.

Download SSCLI from the Microsoft Web site.

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.

Participation

Participation was limited to SSCLI RFP II award recipients. Most presentations were video recorded. These recordings will be made available online at a future date.