I am a Computer Scientist 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 particularly interested in program analysis, software correctness, testing, debugging, emerging programming models, and fault tolerance. I develop practical tools that allow scientific programmers improve the reliability, correctness, and accuracy of their codes. To develop these tools, I usually rely on compiler instrumentation, low-level binary instrumentation, static analysis, dynamic analysis, and machine learning. I co-organize the International Workshop on Software Correctness for HPC Applications (Correctness), which has been held at SC for several years. I’m the recipient of the ACM/IEEE-CS George Michael Fellowship in 2014, the Better Scientific Software (BSSw) Fellowship in 2019, and the Hans Meuer Award for best research paper at ISC’19. I’m an IEEE Senior Member.

Education

Ph.D. Computer Engineering, Purdue University, West Lafayette, IN, USA, 2012
M.Sc. Computer Engineering, Purdue University, West Lafayette, IN, USA, 2008
B.Sc. Electronics & Comm. Engineering, Universidad de Panama, Panama, Panama, 2002

Honors & Awards

Best Reproducibility Advancement Award at SC21
Best Paper Award at IWOMP’20
Hans Meuer Award for Best Paper at ISC’19
Better Scientific Software (BSSw) Fellow
IEEE Senior Member
R&D 100 Award Finalist (PRUNERS toolset)
LLNL Spot Award (for building effective software bug isolation tools)
LLNL Outstanding Mentor Award
ACM & IEEE George Michael Memorial HPC Fellow