| 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 |
Efficient Concurrency-Bug Detection Across Inputs Dongdong Deng Wei Zhang Shan Lu