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