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 in particular interested in fault tolerance, fault resilience, debugging, software correctness and general software reliability. I develop practical tools that allow scientific programmers improve the reliability 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. I’m an IEEE Senior Member.

Education

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

Honors & Awards

  • 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