Browsing Computer Science and Artificial Intelligence Lab (CSAIL) by Author "Cadar, Cristian"
Now showing items 1-2 of 2
-
Efficient Specification-Assisted Error Localization and Correction
Demsky, Brian; Cadar, Cristian; Roy, Daniel; Rinard, Martin (2003-11-13)We present a new error localization tool, Archie, that accepts aspecification of key data structure consistency constraints, then generatesan algorithm that checks if the data structures satisfy theconstraints. We also ... -
Enhancing Availability and Security Through Failure-Oblivious Computing
Rinard, Martin; Cadar, Cristian; Dumitran, Daniel; Roy, Daniel M.; Jr., William S. Beebee (2004-02-06)We present a new technique, failure-oblivious computing,that enables programs to continue to execute through memoryerrors without memory corruption. Our safe compilerfor C inserts checks that dynamically detect invalid ...