Evaluating Value-Graph Translation Validation for LLVM

ACM SIGPLAN Notices

doi 10.1145/1993316.1993533

Full Text

Abstract

Available in

Date

June 4, 2011

Authors

Jean-Baptiste Tristan

Publisher

Association for Computing Machinery (ACM)

Related search

Evaluating Value-Graph Translation Validation for LLVM

ACM SIGPLAN Notices

English

Translation Validation for an Optimizing Compiler

ACM SIGPLAN Notices

English

Evaluating Partially Drawn Links for Directed Graph Edges

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Interprocedural Taint Analysis for LLVM-bitcode

Proceedings of the Institute for System Programming of RAS

English

Evaluating Modeling and Validation Strategies for Tooth Loss

Journal of Dental Research

English

A Graph-Theoretic Algorithm for Automatic Extension of Translation Lexicons

English

The Average Covering Tree Value for Directed Graph Games

SSRN Electronic Journal

English

A Novel Method for Evaluating Value Assessment Frameworks

Value in Health

Occupational Health

English

A Model Solution for C3I Message Translation and Validation

English