@inproceedings{413640af9f094013bfbee2fbaf9d74fd,
title = "Data race detection on compressed traces",
abstract = "We consider the problem of detecting data races in program traces that have been compressed using straight line programs (SLP), which are special context-free grammars that generate exactly one string, namely the trace that they represent. We consider two classical approaches to race detection D using the happens-before relation and the lockset discipline. We present algorithms for both these methods that run in time that is linear in the size of the compressed, SLP representation. Typical program executions almost always exhibit patterns that lead to significant compression. Thus, our algorithms are expected to result in large speedups when compared with analyzing the uncompressed trace. Our experimental evaluation of these new algorithms on standard benchmarks confirms this observation.",
keywords = "Compression, Dynamic Program Analysis, Race Detection",
author = "Dileep Kini and Umang Mathur and Mahesh Viswanathan",
note = "Publisher Copyright: {\textcopyright} 2018 Association for Computing Machinery.; 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2018 ; Conference date: 04-11-2018 Through 09-11-2018",
year = "2018",
month = oct,
day = "26",
doi = "10.1145/3236024.3236025",
language = "English (US)",
series = "ESEC/FSE 2018 - Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering",
publisher = "Association for Computing Machinery, Inc",
pages = "26--37",
editor = "Alessandro Garci and Pasareanu, {Corina S.} and Leavens, {Gary T.}",
booktitle = "ESEC/FSE 2018 - Proceedings of the 2018 26th ACM Joint Meeting on European So ftware Engineering Conference and Symposium on the Foundations of So ftware Engineering",
}