IDEALS Home University of Illinois at Urbana-Champaign logo The Alma Mater The Main Quad

Keshmesh: A Tool for Detecting and Fixing Java Concurrency Bug Patterns

Show full item record

Bookmark or cite this item:

Files in this item

File Description Format
PDF 2011-splash-keshmesh-demo.pdf (69KB) (no description provided) PDF
Title: Keshmesh: A Tool for Detecting and Fixing Java Concurrency Bug Patterns
Author(s): Vakilian, Mohsen; Negara, Stas; Tasharofi, Samira; Johnson, Ralph E.
Subject(s): bug pattern detector fixer concurrency parallelism static analysis program analysis
Abstract: Developing concurrent software is error prone. Others have cataloged common bug patterns in concurrent Java programs. But, there are no tools for detecting complex concurrency bug patterns accurately, and concurrent programs are full of similar bugs. We have been developing a tool called Keshmesh for detecting complex concurrency bug patterns in Java programs statically. Keshmesh is the first tool that accurately detects a few of the top concurrency bug patterns of the SEI CERT catalog and suggests automated fixers for some of them. Keshmesh is fast enough to be used interactively, produces few false alarms and helps Java programmers to quickly find and fix common concurrency bug patterns in their programs.
Issue Date: 2011-08
Citation Info: SPLASH’11 Companion, 2011, Portland, Oregon, USA.
Type: Text
Language: English
Publication Status: published or submitted for publication
Peer Reviewed: is peer reviewed
Rights Information: Copyright is held by the author/owner(s).
Date Available in IDEALS: 2011-08-19

This item appears in the following Collection(s)

Show full item record

Item Statistics

  • Total Downloads: 474
  • Downloads this Month: 10
  • Downloads Today: 0


My Account


Access Key