Reasoning about Relaxed Programs
Reasoning about Relaxed Programs. Michael Carbin Deokhwan Kim, Sasa Misailovic , and Martin Rinard. Research Focus. Non-Traditional Program Transformation Program Repair Eliminate memory leaks Eliminate memory errors (buffer overflows, segfaults ) Escape from infinite loops
290 views • 21 slides