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
| Breakfast (Building 99 Atrium) |
|
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
|
| Break |
| 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.
|
| Lunch |
| 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
|
| Break |
| Architecture |
- The Bulk Architecture—Joseph Torrellas, UIUC
- 21st Century Computer Architecture Research—Krste Asanovic, UC Berkeley; Tim Mattson, Intel
|
| 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 |
Location
Microsoft Research
Redmond Campus, Building 99
