Alan Humphrey - Software Developer

MEB 4104
phone (801) 916-2752
fax (801) 585-6513
This e-mail address is being protected from spambots. You need JavaScript enabled to view it
advisor Dr. Martin Berzins

My Publications

My Homepage

Background

Most of my past research has been focused on formal verification of concurrent systems, specifically the Message Passing Interface (MPI) and verification tools like In-situ Partial Order - ISP and its integration within the Eclipse Parallel Tools Platform (PTP), to which I am a committer. I have also studied the application of SMT solvers to symbolic verification tools for CUDA C kernels. Most of this research was done under the advisement of Dr. Ganesh Gopalakrishnan while completing a Bachelor of Science in Computer Science from the University of Utah.

Current Responsibilities

I am working with Dr. Martin Berzins and the C-SAFE group to improve the performance and scalability of the Uintah Computational Framework. Specifically, I am working to analyze and demonstrate the performance of Uintah on mixed CPU/GPU architectures. This work is in preparation for running Uintah on hybrid architectures such as the proposed DOE Titan system.

Research Interests

• Formal Verification of Concurrent Systems
• Parallel Programming
• High Performance Computing
• GPU Programming
• Eclipse Parallel Tools Platform