![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.
![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.
![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.
![Unidentified employee (Ruth Kilby, possible) with IBM 704, November 1957](/sites/default/files/styles/front_page_card/public/2023-03/women-in-computing-archives-comp1.png?itok=hKSG76M_)
A look back: Women in early computing at LLNL
LLNL’s archives recount the contributions of women who developed code during the Lab's early decades.
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. "