![Computing / Theoretical computer science / Computer programming / Logic in computer science / Software testing / Linearizability / Race condition / Atomicity / Lock / Software bugs / Transaction processing / Concurrency control Computing / Theoretical computer science / Computer programming / Logic in computer science / Software testing / Linearizability / Race condition / Atomicity / Lock / Software bugs / Transaction processing / Concurrency control](https://www.pdfsearch.io/img/e9278b2a08f7d15a986e9ec1a720cf03.jpg)
| Document Date: 2013-08-04 18:25:14 Open Document File Size: 310,44 KBShare Result on Facebook
City Indianapolis / / Company Intel / / Country United States / / Currency USD / / / Facility Efficient Concurrency-Bug Detection Across Inputs Dongdong Deng Wei Zhang Shan Lu University of Wisconsin / / IndustryTerm software release / designed algorithm / concurrency-bug detection tools / software failures / modified tracing tool / multi-threaded software testing / scientific computing program / na¨ıve solution / optimization algorithms / software router / multi-threaded software / above bug-detection algorithms / lock-set/happens-before hybrid algorithm / software / sequential software / simpler solution / atomicity-violation detection algorithms / greedy algorithm / detail using representative real-world software / representative open-source applications / concurrency-bug detection algorithms / dynamic bug-detection tool / above algorithm / trace-analysis algorithms / run-time tool / execution-tracing tool / open-source software / software testing / opensource applications / / Organization University of Wisconsin / Madison / / Person Deng Wei Zhang Shan / / Position representative / / ProgrammingLanguage C / JavaScript / C++ / / ProvinceOrState Indiana / / Technology above algorithm / software router / concurrency-bug detection algorithms / CFP-measurement algorithm / carefully designed algorithm / same trace-analysis algorithms / optimization algorithms / greedy algorithm / lock-set/happens-before hybrid algorithm / shared memory / above bug-detection algorithms / atomicity-violation detection algorithms / / URL http /
SocialTag |