RELAY swMATH ID: 20225 Software Authors: Voung, J.W., Jhala, R., Lerner, S. Description: RELAY: static race detection on millions of lines of code. Data races occur when multiple threads are about to access the same piece of memory, and at least one of those accesses is a write. Such races can lead to hard-to-reproduce bugs that are time consuming to debug and fix. We present RELAY, a static and scalable race detection analysis in which unsoundness is modularized to a few sources. We describe the analysis and results from our experiments using RELAY to find data races in the Linux kernel, which includes about 4.5 million lines of code. Homepage: http://dl.acm.org/citation.cfm?id=1287654 Related Software: Eraser; LOCKSMITH; RacerX; Goblint; McPatom; ChibiOS; FreeRTOS; ArduPilot; ESBMC; Threader; Flix; ASTREE; ThreadSanitizer; MultiRace; CDSChecker; ktsan; tsan; Goldilocks; Boogie; Kilim Cited in: 6 Documents all top 5 Cited by 15 Authors 2 Vojdani, Vesal 1 Andrianov, P. S. 1 Apinis, Kalmer 1 Donaldson, Alastair F. 1 D’Souza, Deepak 1 D’Souza, Meenakshi 1 Gopalakrishnan, Ganesh Lalitha 1 Gupta, Aarti 1 Lidbury, Christopher 1 Pai, Rekha R. 1 Prakash, Prathibha 1 Singh, Abhishek 1 Vene, Varmo 1 Wang, Chao 1 Yang, Yu Cited in 4 Serials 1 Programming and Computer Software 1 Formal Methods in System Design 1 Dissertationes Mathematicae Universitatis Tartuensis 1 Journal of Logical and Algebraic Methods in Programming Cited in 1 Field 6 Computer science (68-XX) Citations by Year