1. , , and , ‘Branch recovery with compiler-assisted multiple instruction retry’, The Twenty-Second Annual International Symposium on Fault-Tolerant Computing, 1992, pp. 66–73.
2. and , ‘Compiler-assisted static checkpoint insertion’, The Twenty-Second Annual International Symposium on Fault-Tolerant Computing, 1992, 58–65.
3. Compiler-assisted synthesis of algorithm-based checking in multiprocessors
4. and , ‘Efficient memory access checking’, The Twenty-Third Annual International Symposium on Fault-Tolerant Computing, 1993, pp. 566–575.
5. Rollback and Recovery Strategies for Computer Programs