Page 54

Professional Participation • • • • • • • • •

Editorial Board (Executive Committee) MEDICAL IMAGE ANALYSIS Journal, published by Elsevier B.V., 2000 – today Co-editor of MedIA Elsevier special issue on MICCAI’09 conference, published Sept. 2010 Board Member Medical Image Computing and Computer Assisted Intervention MICCAI (2006- Jan 2010) Board Member SPIE Conference IMAGING (2008-today) Program Committee 2010: ISBI, CVR Reviewer for journals: IEEE TMI, MedIA, NeuroImage, IEEE PAMI, Academic Radiology, JMIV Program Committee MICCAI 2009 (area chair, paper selection comm., paper award coordination) Program Committee IPMI 2009 (paper selection) Program Committee 2009: SPIE, CVPR, ISBI, ICCV

Honors & Awards Fellow of the American Institute for Medical and Biological Engineering (AIMBE) 2010

Ganesh Gopalakrishnan Professor

Ganesh L. Gopalakrishnan earned his PhD in Computer Science from Stony Brook University in 1986, joining Utah the same year. He spent a year each at the University of Calgary (1988), visiting Stanford University (1995), and at Intel, Santa Clara (2002). During his 2009 sabbatical, he helped establish the Center for Parallel Computing at Utah and serves as its Director. He facilitated a pilot offering of Microsoft’s Practical Parallel and Concurrent Programming course at Utah during Fall 2010. His currently active projects are in scalable dynamic verification methods for message passing interface (MPI) programs, symbolic verification methods for GPU kernels, building verification tool integration frameworks, and prototyping formal analysis methods for multicore communication APIs, and also building FPGA based multicore systems including these APIs. He advises many PhD, MS, BS/MS, and BS students on a variety of topics - all described at http:// He will serve as PC co-chair for CAV 2011 at Snowbird, UT. He has authored a textbook “Computation Engineering: Applied Automata Theory and Logic,” and about 130 research papers. His research is supported by NSF, Microsoft, and SRC.

Publications Refereed Journals I. Melatti, R. Palmer, G. Sawaya, Y. Yang, R. M. Kirby, and G. Gopalakrishnan, “Parallel and distributed model checking in Eddy,’’ STTT 11(1): pp. 13-25 (2009). S. Pervez, G. Gopalakrishnan, R. M. Kirby, R. Thakur, and W. Gropp, “Formal methods applied to high performance computing software design: a case study of MPI one-sided communication based locking,” Software: Practice and Experience, Published online December 2009, Hardcopy issue is 2010: Vol 40, (1), pp. 23-43. Y. Yang, X. Chen, G. Gopalakrishnan and R. M. Kirby, “Distributed dynamic partial order reduction,’’ Journal on Software Tools for Technology Transfer, Vol. 12, Issue 2 (2010), pp. 113-122. X. Chen, Y. Yang, G. Gopalakrishnan, and C-T. Chou, “Efficient Methods for Formally Verifying Safety Properties of Hierarchical Cache Coherence Protocols,’’ Formal Methods in System Design}, Vol. 36,(1), February, 2010, pp. 37-64. Refereed Conference and Workshops S. Aananthakrishnan, M. Delisi, S. S. Vakkalanka, A. Vo, G. Gopalakrishnan, R. M. Kirby, R. Thakur, “How Formal Dynamic Verication Tools Facilitate Novel Concurrency Visualizations,” PVM/MPI 2009. pp. 261-270 Students present projects during Computer Engineering Demo Day

52 >> 2009 & 2010 REPORT

S. S. Vakkalanka, G. Szubzda, A. Vo, G. Gopalakrishnan, R. M. Kirby, R. Thakur, “Static-Analysis Assisted Dynamic Verication of MPI Waitany Programs (Poster Abstract),” PVM/MPI 2009. pp. 329-330

School of Computing 2009 & 2010 Report  

SoC 09 & 10 report

School of Computing 2009 & 2010 Report  

SoC 09 & 10 report