Topic: Debugging and Correctness

Highlights include perspectives on machine learning and artificial intelligence in science, data driven models, autonomous vehicle operations, and the OpenMP standard 5.0.

News Item

Highlights include CASC director Jeff Hittinger's vision for the center as well as recent work with PruneJuice DataRaceBench, Caliper, and SUNDIALS.

News Item

The PRUNERS Toolset offers four novel debugging and testing tools to assist programmers with detecting, remediating, and preventing errors in a coordinated manner.

Project

LLNL’s Stack Trace Analysis Tool helps users quickly identify errors in code running on today’s largest machines.

Project

A comprehensive understanding of the performance behavior of large-scale simulations requires the ability to compile, analyze, and compare measurements and contexts from many independent sources. Caliper, a general-purpose application introspection system, makes that task easier by connecting various independent context annotations, measurement services, and data processing services.

Project

AutomaDeD is a tool that automatically diagnoses performance and correctness faults in MPI applications. It has two major functionalities: identifying abnormal MPI tasks and code regions and finding the least-progressed task. The tool produces a ranking of MPI processes by their abnormality degree and specifies the regions of code where faults are first manifested.

Project

Greg Lee helps develop tools designed to boost performance and productivity of Livermore scientists.

People Highlight