TY - GEN
T1 - Automated derivation of application-aware error detectors using static analysis
AU - Pattabiraman, Karthik
AU - Kalbarczyk, Zbigniew
AU - Iyer, Ravishankar K.
PY - 2007/12/1
Y1 - 2007/12/1
N2 - This paper presents a technique to derive and implement error detectors to protect an application from data errors. The error detectors are derived automatically using compiler-based static analysis from the backward program slice of critical variables in the program. Critical variables are defined as those that are highly sensitive to errors, and deriving error detectors for these variables provides high coverage for errors in any data value used in the program. The error detectors take the form of checking expressions and are optimized for each control flow path followed at runtime. The derived detectors are implemented using a combination of hardware and software. Experiments show that the derived detectors incur low performance overheads while achieving high detection coverage for errors that impact the application.
AB - This paper presents a technique to derive and implement error detectors to protect an application from data errors. The error detectors are derived automatically using compiler-based static analysis from the backward program slice of critical variables in the program. Critical variables are defined as those that are highly sensitive to errors, and deriving error detectors for these variables provides high coverage for errors in any data value used in the program. The error detectors take the form of checking expressions and are optimized for each control flow path followed at runtime. The derived detectors are implemented using a combination of hardware and software. Experiments show that the derived detectors incur low performance overheads while achieving high detection coverage for errors that impact the application.
KW - Backward slicing
KW - Checking expression
KW - Compiler techniques
KW - Critical variables
KW - Path-tracking
UR - http://www.scopus.com/inward/record.url?scp=46749109635&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=46749109635&partnerID=8YFLogxK
U2 - 10.1109/IOLTS.2007.21
DO - 10.1109/IOLTS.2007.21
M3 - Conference contribution
AN - SCOPUS:46749109635
SN - 0769529186
SN - 9780769529189
T3 - Proceedings - IOLTS 2007 13th IEEE International On-Line Testing Symposium
SP - 211
EP - 216
BT - Proceedings - IOLTS 2007 13th IEEE International On-Line Testing Symposium
T2 - IOLTS 2007 13th IEEE International On-Line Testing Symposium
Y2 - 8 July 2007 through 11 July 2007
ER -