Universal Parallel Computing Research Center Workshop

Wednesday, July 18, 2012 | Redmond, Washington, United States

This one-day workshop explored more deeply the topics that were covered during the Universal Parallel Computing Research Center (UPCRC) sessions at the Microsoft Research Faculty Summit on July 17 (“The Changing Landscapes of Parallel Computing,” sessions I and II). The workshop talks focused on specific parallel programing and included UPCRC-related presentations from representatives of the University of Illinois at Urbana-Champaign; University of California, Berkeley; Intel; and Microsoft.

Agenda

Wednesday, July 18, 2012

Time 

Event/Topic 
08:30–09:00 Breakfast (Building 99 Atrium)
09:00–10:30 

Programming Systems

 
  • Abstractions for Parallel Programming—David Padua, University of Illinois at Urbana-Champaign (UIUC)
  • SEJITS—Armando Fox, Shoaib Kamil, University of California, Berkeley (UC Berkeley)
  • C++ AMP—David Callahan, Microsoft 
10:30–11:00 Break
11:00–12:00 Tools for Parallel Testing and Debugging
 
  • UIUC Testing Tools—Darko Marinov, UIUC
  • Refactoring—Dany Dig, UIUC
  • Active Testing and Concurrit—Koushik Sen, UC Berkeley
  • Fighting Concurrency Bugs with Advanced Static Analysis Technology—Sunny Chatterjee, Microsoft. Abstract: The battle against concurrency bugs poses serious challenges. Due to their non-deterministic nature, concurrency bugs are notoriously hard to reproduce, diagnose, and debug. We have developed a concurrency toolset based on advanced static analysis technologies, comprising (1) a source annotation language concurrency SAL, and (2) a local concurrency checker EspC, which employs single-function analysis. By deploying our technologies across a big codebase, we are helping find and fix hundreds of concurrency bugs. We anticipate that the impact of program analysis will continue to grow. This talk provides technical insights into our analysis technologies.
12:00–01:00  Lunch
01:00–03:00 Applications
 
  • Avascholar—John Hart, UIUC
  • 3-D Reconstruction—Minh Do, UIUC
  • PyCASP: Scalable Multimedia Content Analysis on Parallel Platforms Using Python—Gerald Friedman, UC Berkeley
  • Parallel Components for an Energy-Efficient Web Browser—Leo Meyerovich, UC Berkeley
  • Program Synthesis for Systems Biology—Ras Bodik, UC Berkeley 
03:00–03:30 Break
03:30–04:30 Architecture
 
  • The Bulk Architecture—Joseph Torrellas, UIUC
  • 21st Century Computer Architecture Research—Krste Asanovic, UC Berkeley; Tim Mattson, Intel  
04:30–05:30 Panel: UPCRC: Can Industry and Academia Collaborations be Effective?
Dave Patterson, UC Berkeley; Burton Smith and Jim Larus, Microsoft; Tim Mattson, Intel; Josep Torrellas, UIUC