Detecting harmful data races through parallel verification

The SPLASH-2 programs

Steven Cameron Woo, Moriyoshi Ohara, Evan Torrie et al. · 1995 · 3.6K citations · Full text

Cluster Computing, Heterogeneous Computing, Engineering +21

Pin

Chi-Keung Luk, Robert Cohn, Robert Muth et al. · ACM SIGPLAN Notices · 2005 · 3.2K citations

Engineering, Computer Architecture, Software Engineering +16

Pin

Chi-Keung Luk, Robert Cohn, Robert Muth et al. · 2005 · 2.3K citations

Engineering, Computer Architecture, Software Engineering +16

Eraser

Stefan Savage, Michael T. Burrows, Greg Nelson et al. · ACM Transactions on Computer Systems · 1997 · 1.6K citations · Full text

Engineering, Software Engineering, Concurrent System +17

Learning from mistakes

Shan Lu, Soyeon Park, Eunsoo Seo et al. · 2008 · 884 citations

Software Maintenance, Engineering, Computer Architecture +25