Programming Language Design and Implementation 2012
June 11–16, 2012 | Beijing, China
- Home
- Papers & Tutorials
- Academic Programs
- Open House
Have 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) |
