Back to Results
First PageMeta Content
Computer programming / Dangling pointer / Pointer / Stack buffer overflow / Debugging / Memory leak / Lock / Buffer overflow / C dynamic memory allocation / Computing / Software bugs / Software engineering


ConMem: Detecting Severe Concurrency Bugs through an Effect-Oriented Approach Wei Zhang Chong Sun
Add to Reading List

Document Date: 2010-01-19 14:05:40


Open Document

File Size: 218,83 KB

Share Result on Facebook

City

Pittsburgh / /

Company

MySQL / Intel / Reliability Software / /

Country

United States / /

Currency

USD / /

/

Facility

A bridge / University of Wisconsin / /

IndustryTerm

software release / software failures / software crashes / scientific applications / dynamic monitoring tool / concurrency bug detection tool / client software / web browser / concurrency bug detection tools / software development resources / detection tools / above algorithm / sub-tool / open-source software / online/offline / lock-set algorithm / severe software bugs / database server / software bugs / statistics-printing function / client/utility applications / important applications / open-source applications / severe software failures / server applications / straightforward solution / detection algorithm / data base server / detection algorithms / deterministic replay tools / logical-timestamp algorithm / atomicity-violation bug detection tools / big run-time bug detection tool / trace-based analysis tools / sub-tools / /

MarketIndex

set 70 / /

OperatingSystem

Linux / /

Organization

Effect-Oriented Approach Wei Zhang Chong Sun Shan Lu Computer Sciences Department / University of Wisconsin / /

Person

Chong Sun Shan Lu / /

Position

Tools General / straight-forward / representative / /

Product

Apache / /

ProgrammingLanguage

Java / C / C++ / /

ProvinceOrState

Pennsylvania / /

Technology

above algorithm / Linux / ValgrindHelgrind algorithm / 4.2 Detection algorithm / Introduction Multicore technology / 3.2 Detection algorithm / detection algorithms / logical-timestamp algorithm / shared memory / ConMem detection algorithm / ConNULL algorithm / 2.2 Con-NULL detection algorithm / 5.2 Detection algorithm / Java / 10.00 Copyright Multicore technology / client/server / existing lock-set algorithm / classic Lamport algorithm / detection algorithm / /

SocialTag