Back to Results
First PageMeta Content
Computer programming / Lock / Monitor / Thread / Software bug / Non-blocking algorithm / Mutual exclusion / Deadlock / Linearizability / Concurrency control / Computing / Concurrent computing


Automated Concurrency-Bug Fixing Guoliang Jin Abstract Wei Zhang
Add to Reading List

Document Date: 2012-09-10 16:24:23

Open Document

File Size: 622,04 KB

Share Result on Facebook

Company

Red Hat / MySQL / Intel / /

Currency

pence / /

/

Facility

Automated Concurrency-Bug Fixing Guoliang Jin Abstract Wei Zhang Dongdong Deng Ben Liblit University of Wisconsin / /

IndustryTerm

buggy software / software failures / buggy software versions / multi-threaded software testing / software projects / software reliability / multi-threaded software / simplicity-optimization algorithms / procedure solution / hybrid racedetection algorithm / buggy applications / software developers / patched software / deadlock-detection algorithms / client applications / bug-detection algorithms / open-source software / software fails / /

OperatingSystem

Red Hat Enterprise Linux / POSIX / /

Organization

University of Wisconsin / /

Person

Jin Abstract Wei Zhang Dongdong / Shan Lu / /

Position

N/A I1 Wb I2 I1 Wg Wb / representative / Wb / /

Product

Linux / /

ProgrammingLanguage

L / R / C / C++ / /

RadioStation

Wait / /

Technology

bug-detection algorithms / Linux / two simplicity-optimization algorithms / hybrid racedetection algorithm / cloning / operating system / deadlock-detection algorithms / /

SocialTag