Ganesh Gopalakrishnan
Location: (Salt Lake City, UT)
Personal Research Web Page: http://www.cs.utah.edu/fv
Keywords: Dynamic Verification, Static Analysis, and Symbolic Analysis for Bug Hunting and Test Generation of Parallel and Concurrent Programs (e.g., MPI, CUDA, OpenCL)
Posted on: Monday, May 9th, 2011
Broad Research Area: Numerical/Scientific Computing / HPC / Data-Intensive Scalable Computing, Programming Languages / Compilers, Software Engineering
Research Interests:
Formal Methods / High Performance Computing / Software Engineering / Concurrency
Our main interests are to develop scalable formal analysis methods for high-performance computing systems.
Of particular interest are formal dynamic analysis methods for MPI, shared memory threads, and CUDA/OpenCL, as well as hybrid codes using more than one API. Efficient test generation in these domains as well as coverage enhancing analysis methods are of interest. The Center for Parallel Computing at Utah (http://www.parallel.utah.edu) provides ample opportunities for collaboration including new faculty hire in formal analysis of concurrency.
Contact Information:
Email.
