Obtaining and Reasoning About Good Enough Software

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.