NEWS

The Applied Formal Methods group and The Center for Parallel Computing at Utah are seeking APPLICATIONS for a prospective post-doctoral fellow

Professor Mary Hall is leading the Performance Portability team of the SciDAC SUPER Project

Ganesh Gopalakrishnan lectured at UPMARC (in Bosön, Sweden) Multicore Computing Summer School on Formal Verification for High Performance Computing and XUM: An Experimental Multicore Supporting MCAPI

Ganesh Gopalakrishnan, Robert M. Kirby, Stephen Siegel, Rajeev Thakur, William Gropp, Ewing Lusk, Bronis R. de Supinski, Martin Schulz, and Greg Bronevetsky had their article Formal Analysis of MPI-Based Parallel Programs: Present and Future accepted to CACM: Communications of the ACM, June 2011

Anh Vo Successfully defended his PhD thesis titled Scalable Formal Dynamic Verification of MPI Programs through Distributed Causality Tracking, March, 2011

Guodong Li Successfully defended his PhD thesis titled Formal Verification of Programs and Their Transformations, August, 2010

Stephen F. Siegel and Ganesh Gopalakrishnan, Formal Analysis of Message Passing, Invited Tutorial Paper, VMCAI 2011, Austin, Texas

Please visit our education page to read about Professor Gopalakrishnan's work on PPCP, or Practial Parallel and Concurrent Programming.

Guodong Li presented his paper 'Scalable SMT-Based Verification of GPU Kernel Functions' at FSE-18

The Gauss Group presented a tutorial at SC 10: GEM: Graphical Explorer of MPI Programs

Anh Vo presented his paper 'A Scalable and Distributed Dynamic formal Verifier for MPI Programs' at SC 10

Alan Humphrey claimed second place in the overall student competition at SC 10 for his poster 'An Integration of Dynamic MPI Formal Verification Within Eclipse PTP'

Congratulations to Manu Awasthi, David Nellans, Kshitij Sudan, Rajeev Balasubramonian and Al Davis for their best paper award at PACT-19 (Parallel Architectures and Compilation Techniques) with their paper 'Handling the Problems and Opportunties Posed by Multiple On-Chip Memory Controllers'

Professor Mary Hall awarded $1.25M DARPA Grant

University of Utah selected for annual HP Labs Innovation Research Program -- Recipient: Prof. Rajeev Balasubramonian

EVENTS

2011-2012

Manu Shantharam, PennState Center for Parallel computing at Utah Colloquium Series. Friday, May 11, 2012, 3:20 pm to 5:00 pm. 1230 WEB Application-aware strategies for managing performance and resilience tradeoffs

Norm Jouppi, HP Labs Colloquium. Wednesday, March 7, 2012. 1230 WEB. Future Computer Technologies and Their Architectural Implications

Torsten Hoefler, ETH Zurich Colloquium. Monday, January 23, 2012. 1230 WEB. Energy-aware Software Development for Massive-Scale Systems

Keshav Pingali, University of Texas at Austin Colloquium. Friday, October 21, 2011. 2230 WEB Towards a Science of Parallel Programming

2010-2011

Inanc Senocak, Boise State University Colloquium. Thursday, February 17, 2011, 3:20 pm to 5:00 pm 1250 WEB. title tba

Tom Ball, Microsoft Research CMSR/CPU Distinguished Lecture Series. Friday, November 12, 2010, 3:20 pm to 5:00 pm, 1250 WEB. Towards Scalable Modular Checking of Programs Against User-defined Properties

Tasneem Brutch, Samsung Research University of Utah, School of Computing Colloquium. Friday, November 5, 2010, 3:20 pm to 5:00 pm, 1250 WEB. Tool Interoperability Challenges and Approaches

Tim Mattson, Intel CMSR/CPU Distinguished Lecture Series. Friday, October 22, 2010, 3:20 pm to 5:00 pm, 1250 WEB. The future of many core processors: A Tale of Two Processors

Stephen Toub, Parallel Computing Platform team, Microsoft CMSR/CPU Distinguished Lecture Series. Friday, October 1, 2010, 3:20 pm to 5:00 pm, 1250 WEB. An Insider's View of Concurrency at Microsoft

Miriam Leeser, Northeastern University CMSR/CPU Distinguished Lecture Series. Wednesday, October 6, 2010, 3:20 pm to 5:00 pm, 103 WEB. GPU Programming and Correctness in Biomedical Applications

Shaz Qadeer, Microsoft Research CMSR/CPU Distinguished Lecture Series. Friday, September 24, 2010, 3:20 pm to 5:00 pm, 1250 WEB. QED: A Simplifier for Concurrent Programs

Ganesh Gopalakrishnan, University of Utah School of Computing Research Buffet. Wednesday, September 22, 2010, 3:50 pm to 5:00 pm; MEB 3167. Making Formal Methods Disappear

Madan Musuvathi, Microsoft Research CMSR/CPU Distinguished Lecture Series. Friday, September 17, 2010 3:20 pm to 5:00 pm 1250 WEB. Automatic Linearizability Checking for Concurrent Components

Sebastien Burkhardt, Microsoft Research CMSR/CPU Distinguished Lecture Series. Friday, September 10, 2010, 3:20 pm to 5:00 pm 1250 WEB. Concurrent Programming with Revisions


This is the home of the Center for Parallel computing at Utah (or 'CPU'). CPU will address several critical needs in the growth of our university, including:

  • channeling the vast array of talent that our university has in the area of parallel computing, and representing this collective strength to external organizations
  • helping advance our capabilities in parallel computing by obtaining external resources and enhancing the placement of our students
  • enriching the talent pool in parallel computing within the university and the Utah region, ultimately leading to the growth of local high-tech jobs
  • enhancing our outreach, including addressing the critical international dimension of the high technology enterprise