Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Microsoft Research Lab Open House

Programming Language Design and Implementation 2012
June 11–16, 2012 | Beijing, China

Microsoft Research Asia Open HouseHave you ever wondered what goes on inside the labs of Microsoft Research? To celebrate the first time the conferences PLDI (Programming Languages Design and Implementation) and ECOOP (European Conference on Object-Oriented Programming) have been held in Asia, Microsoft researchers from around the world will demonstrate their latest innovative projects in the beautiful Microsoft Research Asia building for the Microsoft Research Open House on Monday, June 11, 2012, from 6:00 to 9:00 P.M.

We invite all participants from PLDI, ECOOP, and associated workshops, tutorials, and conferences to join us for this free event. Transportation from the PLDI/ECOOP conference venue will be provided.

Date:

Monday, June 11, 2012
Time: 6:00 to 9:00 P.M.
Location:   Microsoft Asia Laboratory, Building 2, No. 5 Dan Ling Street, Haidian District, Beijing, P.R. China, 100080

Demos

The following projects will be demoed during the open house.

Presenter

Demo

Sebastian Burckhardt

Multicore Acceleration of Priority-Based Schedulers for Concurrency Bug Detection

Rahul Kumar

Poirot: Symbolic Testing of Concurrent Programs

Aditya Nori

Programming the Cloud with Cscale

Manuel Fahndrich

Composable Data Types for Eventual Consistency

Hucheng Zhou

PASS – Program Analysis for Scope Scripts

Sean McDirmid

Bricolage – Creative Programming on Tablets/Slates

Shi Han

StackMine – Performance Debugging in the Large via Mining Millions of Stack Traces

Yingnong Dang

Code Clone Analysis – Duplicate Identification in Visual Studio

Frank Seide

ClippyScript – A Domain-Specific Language for Expressing Dialogue Systems

Gavin Bierman

BMA: A Visual Tool for Modeling and Analyzing Biological Networks

Claudio Russo

Functional Modeling Language for Bayesian Learning

Judith Bishop

TouchDevelop – Write Programs on your Phone

Ben Zorn

Recent Progress on End-User Program Synthesis

Hongyu Zhang   ReLink: Recovering Links between Bugs and Changes (Tsinghua University)