![]() |
Mark Lewin Senior Research Program Manager, UPCRC & Multicore Computing Microsoft Research |
|
Microsoft Research
|
I'm excited to work with the Microsoft Research Singularity team. Singularity is a multi-disciplinary project focusing on the construction of reliable systems through innovation in systems, languages, and tools. (See this Technical Report for an overview.) The team is creating a research operating system prototype, extending programming languages, and developing new techniques and tools for specifying and verifying program behavior, with the aim of producing a more robust and dependable software platform. The Singularity Research Development Kit includes source code for the Singularity OS and is available for download here.
Past programs include enabling external research and curriculum projects based on SSCLI, the Shared Source Common Language Infrastructure; Phoenix, an extensible framework for code generation and program analysis; and the Window Research Kernel, a shared-source edition of the NT kernel -- the foundation of the Windows operating system.
From 2002 to 2007 I directed Microsoft Research's partnership with ACM in support of the ACM Student Research Competition. The SRC program provides an opportunity for undergraduates and early graduate students to gain experience in preparing and presenting research in a research conference setting. SRC events are held in conjunction with SIGGRAPH, MobiCom, Grace Hopper Celebration, OOPSLA, ASSETS, Supercomputing, SIGCSE, CHI, FCRC, and more, and involve hundreds of students each year.
Other interests include travel, photography, music, baseball, politics, and comic books. I'm an executive producer of the documentary Wild Combination: A Portrait of Arthur Russell which debuted at the Berlin International Film Festival in early 2008 and is currently screening at film festivals around the world.