A true positives theorem for a static race detector

RacerD is a static race detector that has been proven to be effective in engineering practice: it has seen thousands of data races fixed by developers before reaching production, and has supported the migration of Facebook's Android app rendering infrastructure from a single-threaded to a multi...

Full description

Saved in:

Bibliographic Details
Published in:	Proceedings of ACM on programming languages Vol. 3; no. POPL; pp. 1 - 29
Main Authors:	Gorogiannis, Nikos, O'Hearn, Peter W., Sergey, Ilya
Format:	Journal Article
Language:	English
Published:	New York, NY, USA ACM 02.01.2019
Subjects:	Concurrent programming structures General programming languages Language features Program analysis Program reasoning Semantics and reasoning Software and its engineering Software notations and tools Theory of computation Abstract Interpretation Race Freedom Concurrency Static Analysis
ISSN:	2475-1421, 2475-1421
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!