Skip to main content

Showing 1–1 of 1 results for author: Cabecinhas, F

Searching in archive cs. Search in all archives.
.
  1. arXiv:0810.0372  [pdf, other

    cs.PL cs.OS

    Optimizing Binary Code Produced by Valgrind (Project Report on Virtual Execution Environments Course - AVExe)

    Authors: Filipe Cabecinhas, Nuno Lopes, Renato Crisostomo, Luis Veiga

    Abstract: Valgrind is a widely used framework for dynamic binary instrumentation and its mostly known by its memcheck tool. Valgrind's code generation module is far from producing optimal code. In addition it has many backends for different CPU architectures, which difficults code optimization in an architecture independent way. Our work focused on identifying sub-optimal code produced by Valgrind and opt… ▽ More

    Submitted 2 October, 2008; originally announced October 2008.

    Comments: Technical report from INESC-ID Lisboa describing optimizations to code generation of the Valgring execution environment. Work developed in the context of a Virtual Execution Environments course (AVExe) at IST/Technical university of Lisbon