14 March 2013

For the seminar on software based fault tolerance I compared different methods of error detection in compilers:

This work gives an overview of compiler-assisted methods to ensure fault-tolerance without hardware support and major modifications to source programs. The overview of existing methods is accompanied by a practical implementation of AN-Encoding using AspectC++, and a theoretical proposal for adding redundancy to functional programs by employing multiple beta reduction strategies. Experimental results from [15, 17] are compared and limitations of compiler-assisted approaches are discussed.

You can read the full paper online or just get a quick overview using the slides. My aspect oriented implementation of AN-Encoding is also available.