I am a Computer Scientist and the Group Leader of the Parallel Systems Group (PSG) at the Center for Applied Scientific Computing (CASC) at the Lawrence Livermore National Laboratory (LLNL), California. My main area of research is high-performance computing (HPC); my main sub-area of research in HPC is programing models and systems.

I'm in particular interested in software correctness, program analysis, debugging, compilers, testing, and fault tolerance. I develop practical tools that allow scientific computing programmers improve the reliability, reproducibility, and accuracy of their codes. To develop these tools, I usually rely on compiler instrumentation (with LLVM), low-level binary instrumentation, static analysis, dynamic analysis, and machine learning.

Personal Web Site

http://lagunaresearch.org/

This personal Web site is not sanctioned or supported by DOE, UC, LLNL, or any other organization.