Eraser swMATH ID: 8922 Software Authors: Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T. Description: Eraser: a dynamic data race detector for multithreaded programs. Multithreaded programming is difficult and error prone. It is easy to make a mistake in synchronization that produces a data race, yet it can be extremely hard to locate this mistake during debugging. This article describes a new tool, called Eraser, for dynamically detecting data races in lock-based multithreaded programs. Eraser uses binary rewriting techniques to monitor every shared-monory reference and verify that consistent locking behavior is observed. We present several case studies, including undergraduate coursework and a multithreaded Web search engine, that demonstrate the effectiveness of this approach. Homepage: http://dl.acm.org/citation.cfm?id=265927 Related Software: veriSoft; RacerX; Bandera; Java PathFinder; RELAY; LOCKSMITH; SPIN; Goldilocks; Atomizer; CHESS; CIL; AVIO; MPI; ConTest; Bogor; ESC/Java; Eiffel; Featherweight Java; SatAbs; Intel TBB Cited in: 36 Documents all top 5 Cited by 114 Authors 5 Havelund, Klaus 3 Artho, Cyrille 3 Donaldson, Alastair F. 3 Gupta, Aarti 3 Wang, Chao 2 Biere, Armin 2 Drusinsky, Doron 2 Kröning, Daniel 2 Lowry, Mike 2 Majumdar, Rupak 2 Păsăreanu, Corina S. 2 Visser, Willem 2 Yang, Yu 1 Aiken, Alex 1 Akritidis, Periklis 1 Andrianov, P. S. 1 Ball, Thomas 1 Baur, Marcel 1 Behrends, Reimer 1 Brat, Guillaume 1 Castro, Miguel A. 1 Chatterjee, Krishnendu 1 Chen, Hua 1 Chiu, Yung-Chang 1 Chu, Kuo-Chih 1 Cohen, Ernie 1 Cook, Byron 1 Costa, Manuel L. G. 1 Coyle, James J. 1 de Alfaro, Luca 1 De Bosschere, Koen 1 Dolby, Julian 1 D’Souza, Deepak 1 D’Souza, Meenakshi 1 Dwyer, Matthew B. 1 Edelstein, Orit 1 Eugster, Pascal 1 Evans, Jacob 1 Faella, Marco 1 Farchi, Eitan 1 Felber, Pascal 1 Fetzer, Christof 1 Ganai, Malay K. 1 Giannakopoulou, Dimitra 1 Gligorić, Miloš V. 1 Goldin, Evgeny 1 Gopalakrishnan, Ganesh Lalitha 1 Gramoli, Vincent 1 Gupta, Ashutosh 1 Haller, Leopold 1 Han, Dongsoo 1 Harmanci, Derin 1 Hatcliff, John 1 Henzinger, Thomas A. 1 Hoekstra, Jim 1 Huang, Tzu-Chi 1 Kahlon, Vineet 1 Kidd, Nicholas 1 Kraeva, Marina 1 Kundu, Sudipta 1 Lahiri, Shuvendu Kumar 1 Liang, Tyng Yue 1 Liblit, Ben 1 Lidbury, Christopher 1 Limaye, Rhishikesh 1 Luecke, Glenn R. 1 Maebe, Jonas 1 Martin, Jean-Phillipe 1 Mutilin, V. S. 1 Necula, George C. 1 Nir, Yarden 1 Pai, Rekha R. 1 Peled, Doron A. 1 Prakash, Prathibha 1 Pun, Ka I. 1 Radhakrishna, Arjun 1 Raman, Raghavan 1 Raman, Vishwanath 1 Ranganath, Venkatesh Prasad 1 Ratsaby, Gil 1 Reps, Thomas W. 1 Robby, Matthew 1 Ronsse, Michiel 1 Roşu, Grigore 1 Rümmer, Philipp 1 Russo, Alejandro 1 Sabelfeld, Andrei 1 Samanta, Roopsha 1 Sankaranarayanan, Sriram 1 Sarkar, Vivek 1 Schuppan, Viktor 1 Shieh, Ce-Kuen 1 Shim, Jaeyong 1 Singh, Abhishek 1 Smaragdakis, Yannis 1 Steffen, Martin 1 Stoller, Scott D. 1 Stolz, Volker 1 Tabaei Befrouei, Mitra 1 Tarrach, Thorsten ...and 14 more Authors all top 5 Cited in 9 Serials 8 Formal Methods in System Design 2 Programming and Computer Software 2 Journal of Parallel and Distributed Computing 2 Concurrency and Computation: Practice & Experience 1 Information Processing Letters 1 Parallel Computing 1 Formal Aspects of Computing 1 The Journal of Logic and Algebraic Programming 1 Journal of Logical and Algebraic Methods in Programming Cited in 1 Field 36 Computer science (68-XX) Citations by Year