| Document Date: 2012-08-09 01:35:41
Open Document File Size: 1,09 MBShare Result on Facebook
City Tuscon / / Company IBM / ACQ / Intel / Microsoft / / Country United States / / Currency USD / / / Event Reorganization / M&A / / Facility Engineering The Hong Kong University of Science / / IndustryTerm real world concurrent applications / delta-debugging algorithm / dynamic slicing algorithm / large complex concurrent systems / adapted hierarchical delta-debugging algorithm / software debugging / ddmin algorithm / even clever software-level approaches / search space / / NaturalFeature Indus / / OperatingSystem FORK / Linux / / Organization Execution Reduction Jeff Huang Charles Zhang Department of Computer Science / Hong Kong University of Science and Technology / / Person Derby Bug / Jeff Huang Charles Zhang / / Position driver / thread scheduler / applicationlevel scheduler / scheduler / / Product T10 / / ProgrammingLanguage Java / / ProvinceOrState Arizona / / Technology delta-debugging algorithm / Java / Linux / adapted hierarchical delta-debugging algorithm / dynamic slicing algorithm / ddmin algorithm / shared memory / / URL http /
SocialTag |
LEAN: Simplifying Concurrency Bug Reproduction via Replay-supported Execution Reduction Jeff Huang Charles Zhang