CoreDet
RCDC
EnerJ
Low-level detection of language-level data races with LARD
ACM SIGPLAN Notices
ACM SIGARCH Computer Architecture News
Proceedings of the sixteenth international conference on Architectural support for programming languages and operating systems - ASPLOS ’11
Proceedings of the 19th international conference on Architectural support for programming languages and operating systems - ASPLOS ’14
Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation - PLDI ’11
Luis Ceze
Danushen Gnanapragasam
Emily Fortuna
Werner Dietl
Adrian Sampson
Joseph Devietti
Globally precise-restartable execution of parallel programs
Improving the Fault Resilience of an H.264 Decoder Using Static Analysis Methods