skip to main content
OSTI.GOV title logo U.S. Department of Energy
Office of Scientific and Technical Information

Title: Program Correctness, Verification and Testing for Exascale (Corvette)

Abstract

The goal of this project is to provide tools to assess the correctness of parallel programs written using hybrid parallelism. There is a dire lack of both theoretical and engineering know-how in the area of finding bugs in hybrid or large scale parallel programs, which our research aims to change. In the project we have demonstrated novel approaches in several areas: 1. Low overhead automated and precise detection of concurrency bugs at scale. 2. Using low overhead bug detection tools to guide speculative program transformations for performance. 3. Techniques to reduce the concurrency required to reproduce a bug using partial program restart/replay. 4. Techniques to provide reproducible execution of floating point programs. 5. Techniques for tuning the floating point precision used in codes.

Authors:
 [1];  [2];  [3]
  1. Univ. of California, Berkeley, CA (United States)
  2. Lawrence Berkeley National Lab. (LBNL), Berkeley, CA (United States)
  3. UC Berkeley
Publication Date:
Research Org.:
Univ. of California, Berkeley, CA (United States); Lawrence Berkeley National Lab. (LBNL), Berkeley, CA (United States)
Sponsoring Org.:
USDOE
OSTI Identifier:
1418165
Report Number(s):
DOE-UCB-SC0008699
DOE Contract Number:  
SC0008699
Resource Type:
Technical Report
Country of Publication:
United States
Language:
English
Subject:
97 MATHEMATICS AND COMPUTING

Citation Formats

Sen, Koushik, Iancu, Costin, and Demmel, James W. Program Correctness, Verification and Testing for Exascale (Corvette). United States: N. p., 2018. Web. doi:10.2172/1418165.
Sen, Koushik, Iancu, Costin, & Demmel, James W. Program Correctness, Verification and Testing for Exascale (Corvette). United States. doi:10.2172/1418165.
Sen, Koushik, Iancu, Costin, and Demmel, James W. Fri . "Program Correctness, Verification and Testing for Exascale (Corvette)". United States. doi:10.2172/1418165. https://www.osti.gov/servlets/purl/1418165.
@article{osti_1418165,
title = {Program Correctness, Verification and Testing for Exascale (Corvette)},
author = {Sen, Koushik and Iancu, Costin and Demmel, James W},
abstractNote = {The goal of this project is to provide tools to assess the correctness of parallel programs written using hybrid parallelism. There is a dire lack of both theoretical and engineering know-how in the area of finding bugs in hybrid or large scale parallel programs, which our research aims to change. In the project we have demonstrated novel approaches in several areas: 1. Low overhead automated and precise detection of concurrency bugs at scale. 2. Using low overhead bug detection tools to guide speculative program transformations for performance. 3. Techniques to reduce the concurrency required to reproduce a bug using partial program restart/replay. 4. Techniques to provide reproducible execution of floating point programs. 5. Techniques for tuning the floating point precision used in codes.},
doi = {10.2172/1418165},
journal = {},
number = ,
volume = ,
place = {United States},
year = {Fri Jan 26 00:00:00 EST 2018},
month = {Fri Jan 26 00:00:00 EST 2018}
}

Technical Report:

Save / Share: