ConMem

Abstract

Multicore technology is making concurrent programs increasingly pervasive. Unfortunately, it is difficult to deliver reliable concurrent programs, because of the huge and nondeterministic interleaving space. In reality, without the resources to thoroughly check the interleaving space, critical concurrency bugs can slip into production versions and cause failures in the field. Approaches to making the best use of the limited resources and exposing severe concurrency bugs before software release would be desirable.

Document Details

Document Type
Pub Defense Publication
Publication Date
Mar 01, 2013
Source ID
10.1145/2430545.2430546

Entities

People

  • Chong Sun
  • Junghee Lim
  • Shan Lu
  • Thomas Reps
  • Wei Zhang

Organizations

  • Air Force Research Laboratory
  • Division of Computing and Communication Foundations
  • Office of Naval Research
  • United States Army Research Laboratory
  • University of Wisconsin–Madison

Tags

Fields of Study

  • Computer science
  • Engineering

Readers

  • Educational Psychology
  • Parallel and Distributed Computing.

Technology Areas

  • Space