Performance, architecture, execution, bugs, and programs: these words are heard time and again in the context of a major computer science conference. So it was in Beijing this month at PLDI 2012, the conference on Programming Language Design and Implementation. Terminology and accompanying innovative ideas flew fast and furious as 600 academics, researchers from industry, and students gathered to discuss the latest advances in this fundamental field. PLDI is organized by ACM SIGPLAN (the Association of Computing Machinery’s Special Interest Group on Programming Languages).
Pictured from left to right: Lolan Song, Feng Zhao, Jan Vitek, Haibo Lin, and Judith Bishop
Although this was the thirty-third PLDI conference, it was the first to be held in Asia. Microsoft Research was proud to be the Gold Sponsor of the conference, and to celebrate the occasion, we organized a special open house to introduce participants to the work that goes on in our labs. Dr. Feng Zhao welcomed visitors to the beautiful Microsoft Research Asia lab with an overview of the work of the Beijing-based facility. The participants were then invited to a “DemoFest,” where 14 projects were on display: 13 from Microsoft Research labs around the world, and one from Tsinghua University. Many of these demos showcased the latest ideas about concurrency and the cloud, as well as the benefits of program analysis. There were also several projects illustrating end-user programming, such as TouchDevelop from Redmond and ClippyScript from Asia. See the full list of demos.
With hundreds of computer science academics and students gathered together, PLDI presented a great opportunity to engage in discussion of the hands-on work of writing the compilers and creating the tools that make today’s glitzy devices and snazzy apps possible. Modern platforms and applications demand highly sophisticated optimizing compilers and analysis tools, and the advent of new processor technologies, such as multiple cores, GPUs, and mobile platforms, along with the increasing sophistication of development tools, all require mastery of cutting-edge compiler and code generation technologies. PLDI was the ideal place to connect with students who are drawn to such computer science specialties as hardware specific optimizations, whole program analysis, profile framework and profile driven optimization, working set optimization, static alias analysis, optimized code debugging, incremental re-compilation, register allocation, code security, or SIMD and GPU code generation, vectorization, and parallelization.
Sriram Rajamani explains his poster.
Aside from presenting demos and connecting with friends old and new, Microsoft Research personnel also presented six papers and a tutorial that exemplify the high quality of our research. In addition, Microsoft researcher Rustan Leino and his colleagues were honored for having presented the most influential paper 10 years ago at PLDI 2002. That paper marked a turning point in the field of static checking, describing pragmatic design decisions that promote practicality over completeness. The techniques are now also widely used in various forms in Microsoft’s development tools—notably as part of Code Contracts, which ships with Microsoft Visual Studio.
I greatly appreciated the assistance of our colleagues at Microsoft Research Asia in handling all of the local logistics, especially Lolan Song’s team, as well as Stewart Tansley from my team.
With so much science in my head, a quiet walk out to the Beijing’s Olympic Park was a great way to unwind. Beijing and PLDI certainly have a lot to offer!
—Judith Bishop, Director of Computer Science, Microsoft Research Connections