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-funded and 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 have received several best paper awards. I have received the Hans Meuer Award for Best Paper at the ISC conference twice, in 2019 and 2023. I’m an IEEE Senior Member.

For Students

If you are a graduate student and would like to do an internship at LLNL in the intersection of scientific computing, programming, and correctness, send me an email with your CV and the idea that you would like to explore.

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

  • Nominated for Best Paper Award at Cluster’24
  • Best Paper Award (Hans Meuer Award) at ISC’23
  • Nominated for Best Paper Award at SC’23
  • Best Reproducibility Paper Award at SC’21
  • Best Paper Award at IWOMP’20
  • Best Paper Award (Hans Meuer Award) 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