![Veritas logo on a green background](/sites/default/files/styles/front_page_card/public/veritas-llnl-project-card.png?itok=gpkIttAf)
Veritas
Veritas provides a method for validating proxy applications to ensure that they capture the intended characteristics of their parents.
![stylized photo of computer racks](/sites/default/files/styles/front_page_card/public/app-resilience-llnl-project-card.png?itok=1QHOQu6v)
Application-Level Resilience
Application-level resilience is emerging as an alternative to traditional fault tolerance approaches because it provides fault tolerance at a lower cost than traditional approaches.
![automaded logo on green background](/sites/default/files/styles/front_page_card/public/automaded-llnl-project-card-image.png?itok=a8DYNk0A)
AutomaDeD
This tool that automatically diagnoses performance and correctness faults in MPI applications. It identifies abnormal MPI tasks and code regions and finds the least-progressed task.
Video: Future exascale architectures (IPAM at UCLA)
UCLA's Institute for Pure & Applied Mathematics hosted LLNL's Erik Draeger for a talk about the challenges and possibilities of exascale computing.
![Terri's portrait next to People To Watch graphic](/sites/default/files/styles/front_page_card/public/2023-03/quinn-comp-news.png?itok=ugrlH8Jy)
HPCwire names LLNL’s Terri Quinn among 2023 'People to Watch'
“I am delighted to be recognized by HPCwire,” Quinn said. “I feel the recognition has as much to do with the stature of Livermore Computing as the opportunity I’ve had to contribute. "
![black-and-white photo of Robert Hughes at his desk in the 1970s](/sites/default/files/styles/front_page_card/public/2023-03/comp-robert-hughes-leaderboard.png?itok=ZQxW9uqQ)
A look back: Robert Hughes and the development of FORTRAN
LLNL’s archives provide a glimpse into the career and contributions of a computing pioneer.