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