Taiwan / Germany / Fiji / Japan / United States / Australia / / /
Facility
University of New South Wales / Research Institute / Pthreads library / University of Augsburg / /
IndustryTerm
real-world software example / maximal-fix-point worklist algorithm / server software / multi-core processors / real software systems / software model checkers / industrial-strength analysis tool / dynamic race detection algorithm / lock-set algorithm / software model checking / software model checking o↵ers / large-scale software / multi-threaded software / concurrent software / Model checking software / breadth-first-search / software transactions / pre-processing heuristics / Software model checkers working / /
MarketIndex
set 15 / /
OperatingSystem
Linux / Ubuntu / POSIX / /
Organization
Institute for Secure Systems / University of the South Pacific / Suva / ICT Centre of Excellence / Australian Government / Australian Research Council / University of New South Wales / Sydney / Department of Broadband / Communications and the Digital Economy / University of Augsburg / /
Person
Jakob Mund / R. Dias / V / Sriram K. Rajamani / Todd Millstein / Cyrille Artho / Ralf Huuck / Thomas Ball / Rupak Majumdar / Ansgar Fehnker / /
The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis Jakob Mund1? , Ralf Huuck2 , Ansgar Fehnker2,3 , and Cyrille Artho4 1 4