EnerJ
ACM SIGPLAN Notices
Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation - PLDI ’11
Danushen Gnanapragasam
Dan Grossman
Luis Ceze
Adrian Sampson
Werner Dietl
Globally precise-restartable execution of parallel programs
Improving the Fault Resilience of an H.264 Decoder Using Static Analysis Methods