Dawson R. Engler, Wilson C. Hsieh  Home/Search
Context
Related
| utah.edu/~wilson/papers/dynamo.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: utah.edu/~wilson/publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Many binary tools, such as disassemblers, dynamic code generation systems, and executable code rewriters, need to understand how machine instructions are encoded. Unfortunately, specifying such encodings is tedious and error-prone. Users must typically specify thousands of details of instruction layout, such as opcode and #eld locations values, legal operands, and jump o#set encodings. Wehave built a tool called derive that extracts these details from existing software: the system assembler.... (Update)
Active bibliography (related documents): More All
0.5: Elimination of Negation in a Logical Framework - Momigliano (2000) (Correct)
0.3: Towards Array Bound Check Elimination in Java Virtual Machine.. - Xi, Xia (1999) (Correct)
0.3: Dependence-Conscious Global Register Allocation - Ambrosch, Ertl, Beer, Krall (1994) (Correct)
Similar documents based on text: More All
1.5: Reverse-Engineering Instruction Encodings - Hsieh, Engler, Back (2001) (Correct)
0.2: MJ - A System for Constructing Bug-Finding Analyses for Java - Back, Engler (2004) (Correct)
0.1: Runtime Aspect Weaving Through Metaprogramming - Baker, Hsieh (2001) (Correct)
BibTeX entry: (Update)
@inproceedings{ engler00derive,
author = "Dawson R. Engler and Wilson C. Hsieh",
title = "Derive: a tool that automatically reverse-engineers instruction encodings",
booktitle = "Dynamo",
pages = "12-22",
year = "2000",
url = "citeseer.ist.psu.edu/285244.html" }
Citations (may not include all citations):2 Salt Lake City (context) - pages - 1984
1 Annotation-directed run-time specialization in C (context) - Eggers - 1997
1 and Applications #SIGCOMM (context) - Communication, Protocols - 1996
Documents on the same site (http://www.cs.utah.edu/~wilson/publications.html): More
Memory System Support for Image Processing - Zhang, Carter, Hsieh, Kee (1999) (Correct)
The Need for Predictable Garbage Collection - Reid, McCorquodale, Baker.. (1999) (Correct)
Cost-Model Driven Integration of Restructuring Optimizations - Bharat Chandramouli John (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC