Martin Rinard, Cristian Cadar, Daniel Dumitran, Daniel M. Roy, Tudor Leu, and William S. Beebee, Jr.
OSDI’04 Proceedings of the 6th conference on Symposium on Operating Systems Design & Implementation – Volume 6, Pages 21-21
Used by the Diversify project
Martin Rinard has explored many different unsound program transformations that aim at slightly modifying the behavior of programs, in exchange of better performance or fault-resistance. An essential work of DIVERSIFY consists in synthesizing program variants that all exhibit the same visible behavior must implement diverse computation. This work is founded on unsound program transformations, in the same spirit as the work of Rinard.