DAC ’12 Proceedings of the 49th Annual Design Automation Conference, June 3-7, 2012, San Francisco, California, USA, Pages 930-935
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.