Full Day Tutorial,

Matthias S. Mülle, David Lecomber, Tobias Hilbrich, Mark O’Connor, Bronis R. de Supinski, and Ganesh Gopalakrishnan, Efficient Parallel Debugging for MPI, Threads, and Beyond, Full Day Tutorial, Supercomputing 2014

Publication, Peng Li, Guodong Li and Ganesh Gopalakrishnan, Parametric Flows: Automated Behavior Equivalencing for Symbolic Analysis of Races in CUDA Programs. Supercomputing 2012, Salt Lake City, November 2012

Award, Professor Zvonimir Rakamarić received the Software Engineering Innovation Foundation (SEIF) award for his project: Analysis of Heterogeneous Concurrent Programs

Publication, A. Humphrey, Q. Meng, M. Berzins and T. Harman. Radiation Modeling Using the Uintah Heterogeneous CPU/GPU Runtime System. In Proceedings, XSEDE 2012

Publication, Guodong Li and Professor Ganesh Gopalakrishnan, Parameterized Verification of GPU Kernels, PLC Workshop 2012 (an IPDPS 2012 workshop)

Ganesh Gopalakrishnan, Formal Methods for Surviving the Jungle of Heterogeneous Parallelism, EduPar Poster (an IPDPS 2012 workshop)

Ganesh Gopalakrishnan and Tyler Sorensen, Integrating Formal Methods for Parallelism and Concurrency into Existing CS Curricula, EduPar Poster (an IPDPS 2012 workshop)

Invited Tutorial, Ganesh Gopalakrishnan, Safe March to Extreme-Scale Computing aided by Formal Methods, SJTU HPC Center, Shanghai Jiaotong University, May 2012

Conference paper, Peng Li, Guodong Li, and Ganesh Gopalakrishnan, Parametric Flows: Automated Behavior Equivalencing for Symbolic Analysis of Races in CUDA Programs, Supercomputing 2012, Salt Lake City, November 2012

Conference paper, Subodh Sharma, Ganesh Gopalakrishnan and Greg Bronevetsky, A Sound Reduction of Persistent-sets for Deadlock Detection in MPI Applications, SBMF 2012, Brazilian Symposium on Formal Methods, Natal, September 2012

Full Day Tutorial, Tobias Hilbrich, Ganesh Gopalakrishnan, Mathias S. Müller, Bronis R. de Supinski and David LeComber, Debugging MPI and CUDA at Scale, Supercomputing 2012, Salt Lake City, November 2012

Half Day Tutorial, Ganesh Gopalakrishnan, Symbolic Analysis of GPU Programs for Correctness and Performance, Formal Methods 2012, Paris, August 2012

Ganesh Gopalakrishnan delivered an invited talk, Formal Correctness Methods at the Million CPU Scale at INFINITY 2012 (FM 2012 Conference Workshop), Paris, August 2012

Publication, Guodong Li, Peng Li, Geof Sawaya, Indradeep Ghosh and Sreeranga P. Rajan, GKLEE: Concolic Verification and Test Genedration for GPUs, PPoPP, February, 2012. Paper PDF, Website for downloading full sources or a CDE package, and a Remote Execution Portal

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

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

Publication, Caitlin Sadowski, Thomas Ball, Judith Bishop, Sebastien Burckhardt, Ganesh Gopalakrishnan, Joseph Mayo, Madanlal Musuvathi, Shaz Qadeer and Stephe Toub, Practical parallel and concurrent programming. SIGSCE 2011: 189-194

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

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

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



Peter Neumann, SRI International Elliott Organick Memorial Lecture Series, March 26, 27, 2013. A Personal History of Layered Trustworthiness AND Clean-Slate Formally Motivated Hardware and Software for Highly Trustworthy Systems.

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


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

CPU's academic mission will include a strong emphasis on developing and disseminating new curricular material. There is an acute shortage of information on parallel programming techniques, verification techniques, and performance evaluation/tuning techniques. CPU will maintain a prominent web presence where educational resources in these areas will be maintained. It will invite EAB members to visit our campus and offer lectures on advanced topics which will tie into classes on parallelism taught by CPU members and others.

The Director of CPU, Ganesh Gopalakrishnan, in joint work with Microsoft Research, developed a computer science curriculum in high level development of concurrent and parallel programs, known as PPCP, or Practical Parallel and Concurrent Programming. Please visit this link for the class webpage of the University of Utah's offering of PPCP for Fall 2010.

Please visit here for examples of work in Concurrency Education.