NEWS
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
|
