| Document Date: 2014-01-09 16:38:09
Open Document File Size: 324,95 KBShare Result on Facebook
City Salt Lake City / / Company RADISH / Intel / / Country United States / / Currency USD / / / Facility LARD Benjamin P. Wood Luis Ceze Dan Grossman University of Washington / / IndustryTerm software system / larger applications / software handler / stale software-managed access histories / run-time systems / software-managed copies / software stores / conventional x86 hardware / binary-instrumenting software implementation / scientific applications / prior systems / mean hardware / canonical algorithm / hybrid hardware-software race detector / race detection algorithms / software analyses / software implementations / canonical vector clock race detection algorithm / imprecise data-race detection algorithms / external software management / memory management / software run-time systems / multicore processor / / OperatingSystem Linux / / Organization University of Washington / / Person Benjamin P. Wood Luis Ceze Dan / / Position author / collector / garbage collector / software manager / software manager manager / concurrent mark-sweep garbage collector / clocks and proper garbage collector / memory manager / / ProgrammingLanguage Java / C / C++ / / ProvinceOrState Utah / / Technology virtual machine / RAM / multicore processor / Java / Linux / canonical vector clock race detection algorithm / fundamentally imprecise data-race detection algorithms / paging / caching / simulation / operating system / virtual memory / sequential consistency / shared memory / canonical algorithm / operating systems / race detection algorithms / / URL http / |
Low-Level Detection of Language-Level Data Races with LARD Benjamin P. Wood Luis Ceze Dan Grossman