View Document Preview and Link Document Date: 2014-08-19 10:13:59 Open Document File Size: 607,63 KB Share Result on Facebook
City Thread / Mountain View / / Company MySQL / CCI / Intel / Jinglei Ren1 Weimin Zheng1 1 Tsinghua National Laboratory / Google Inc. / / Country United States / China / / Currency USD / / Facility University of Illinois / Tsinghua University / University of Chicago / University of Wisconsin-Madison / / IndustryTerm bug detection tools / memory-access intensive applications / production-run bug-tolerating tool / intensive applications / opensource software / large software / concurrency bug tolerating tools / real-world applications / concurrency-bug detection tools / database server / desktop applications / bug-tolerating tools / software implementation / software bugs / greedy algorithm / heavyweight software / paper/web page / server applications / scientific-computing kernels / desktop/client applications / software testing / highperformance computing / / Movie The turning point / / Organization Tsinghua University / National Science Foundation / University of Illinois / University of Chicago / Natural Science Foundation of China / University of Wisconsin / / Person Violation / Shan Lu / Anticipating Invariant / Ix Sy / / Position guard / Diagnostics General / designer / representative / remote writer / programmer / / Product PS3 / APIs / PS2 / / ProgrammingLanguage R / C / / ProvinceOrState Wisconsin / Illinois / / Technology shared memory / artificial intelligence / greedy algorithm / / URL http / SocialTag 
AI: A Lightweight System for Tolerating Concurrency Bugs Mingxing Zhang1 Yongwei Wu1 Shan Lu2,∗ Shanxiang Qi3,† Jinglei Ren1 Weimin Zheng1 1 Tsinghua National Laboratory for Information Science and Technology, Tsing