Obtaining and Reasoning About Good Enough Software

Martin Rinard

DAC ’12 Proceedings of the 49th Annual Design Automation Conference, June 3-7, 2012, San Francisco, California, USA, Pages 930-935

DOI 10.1145/2228360.2228526

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.