Evaluating Value-Graph Translation Validation for LLVM
MetadataShow full item record
CitationTristan, Jean-Baptiste, Paul Govereau, and Greg Morrisett. Forthcoming. Evaluating value-graph translation validation for LLVM. Paper presented at ACM SIGPLAN Conference on Programming and Language Design Implementation, June 4-8, 2011, San Jose, California.
AbstractTranslation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing trans- lation validators do so by trying to match the value-graphs of an original function and its transformed counterpart. In this paper, we present the design of such a validator for LLVM’s intra-procedural optimizations, a design that does not require any instrumentation of the optimizer, nor any rewriting of the source code to compile, and needs to run only once to validate a pipeline of optimizations. We present the results of our preliminary experiments on a set of bench- marks that include GCC, a perl interpreter, SQLite3, and other C programs.
Citable link to this pagehttp://nrs.harvard.edu/urn-3:HUL.InstRepos:4762396
- FAS Scholarly Articles 
Showing items related by title, author, creator and subject.
Pang, Betty (2003)To address these concerns and simultaneously encourage parents to have their children vaccinated, Congress enacted the National Childhood Vaccine Injury Compensation Act (the Act). The Act consists of two parts: (1) the ...
Sustaining Clinical Programs During Difficult Economic Times: A Case Series from the Hospital Elder Life Program SteelFisher, Gillian K.; Martin, Lauren A.; Dowal, Sarah L.; Inouye, Sharon (Wiley-Blackwell, 2011)OBJECTIVES: To explore strategies used by clinical programs to justify operations to decision-makers using the example of the Hospital Elder Life Program (HELP), an evidence-based, cost-effective program to improve care ...
Avoiding Randomization Failure in Program Evaluation, with Application to the Medicare Health Support Program King, Gary; Nielsen, Richard Alexander; Coberly, Carter; Pope, James E.; Wells, Aaron (Mary Ann Liebert, 2011)We highlight common problems in the application of random treatment assignment in large-scale program evaluation. Random assignment is the deﬁning feature of modern experimental design, yet errors in design, implementation, ...