Memory Space Conscious Loop Iteration Duplication for Reliable Execution

Guilin Chen, Mahmut T. Kandemir, Mustafa Karaköy. Memory Space Conscious Loop Iteration Duplication for Reliable Execution. In Chris Hankin, Igor Siveroni, editors, Static Analysis, 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings. Volume 3672 of Lecture Notes in Computer Science, pages 52-69, Springer, 2005. [doi]

Authors

Guilin Chen

This author has not been identified. Look up 'Guilin Chen' in Google

Mahmut T. Kandemir

This author has not been identified. Look up 'Mahmut T. Kandemir' in Google

Mustafa Karaköy

This author has not been identified. Look up 'Mustafa Karaköy' in Google