See this document in CiteSeerX!

The New Jersey Machine-Code Toolkit (1995)  (Make Corrections)  (30 citations)
Norman Ramsey, Mary F. Fernandez
USENIX Winter



  Home/Search   Context   Related

 
View or download:
belllabs.com/orgs/ssr/p...toplas.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  belllabs.com/orgs/ssr/people/... (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: The New Jersey Machine-Code Toolkit helps programmers write applications that process machine code. Applications that use the toolkit are written at an assembly-language level of abstraction, but they recognize and emit binary. Guided by a short instruction-set specification, the toolkit generates all the bit-manipulating code. The toolkit's specification language uses four elements: fields and tokens describe parts of instructions, patterns describe binary encodings of instructions or groups... (Update)

Context of citations to this paper:   More

...recently found considerable interest in the systems programming community. Recent examples include instruction set description languages [22, 3], an interface description language for remote procedure call stub generation and optimization [11] and a specification language for...

.... Among the few exceptions that achieved a reasonable amount of automation for downstream tools, the New Jersey machine code toolkit [11] can generate instruction encoding and decoding routines from an abstract ADL specification. However, its ADL does not allow a complete...

Cited by:   More
Generic Disassembler Using Processor Models - Bisht (2002)   (Correct)
CSDL: Reusable Computing System Descriptions for Retargetable.. - Bailey   (Correct)
Reverse-Engineering Instruction Encodings - Hsieh, Engler, Back (2001)   (Correct)

Similar documents (at the sentence level):
26.4%:   The New Jersey Machine-Code Toolkit - Ramsey, Fernandez (1995)   (Correct)
17.5%:   Specifying Representations of Machine Instructions - Ramsey (1997)   (Correct)
5.5%:   A Retargetable, Optimizing Linker - Fernández (1996)   (Correct)

Active bibliography (related documents):   More   All
0.8:   Machine Descriptions to Build Tools for Embedded Systems - Ramsey, Davidson (1998)   (Correct)
0.3:   Exponential: Implementation Trade-O S for Hundred Bit Precision - Daumas, Moreau-Finot (2000)   (Correct)
0.2:   Towards Optimizing Code Generation by Domain-Sensitive Macro.. - Lassila (1997)   (Correct)

Similar documents based on text:   More   All
0.3:   A Retargetable Optimizing Java-to-C Compiler for Embedded Systems - Varma (2003)   (Correct)
0.3:   A Toolkit for User-Level File Systems - Mazières (2001)   (Correct)
0.1:   Processor Models for Retargetable Tools - Moona (2000)   (Correct)

Related documents from co-citation:   More   All
7:   Shade: A fast instruction-set simulator for execution profiling - Cmelik, Keppel - 1993
6:   EEL: Machine-independent executable editing (context) - Larus, Schnarr - 1995
6:   Burg --- fast optimal instruction selection and tree parsing - Henry, Fraser et al. - 1992

BibTeX entry:   (Update)

N. Ramsey and M. Fern'andez. The New Jersey machine-code toolkit. In Proceedings of the 1995 USENIX Technical Conference, pages 289--302, Jan. 1995. http://citeseer.ist.psu.edu/article/ramsey95new.html   More

@inproceedings{ ramsey95new,
    author = "Norman Ramsey and Mary F. Fernandez",
    title = "The New Jersey Machine-Code Toolkit",
    booktitle = "{USENIX} Winter",
    pages = "289-302",
    year = "1995",
    url = "citeseer.ist.psu.edu/article/ramsey95new.html" }
Citations (may not include all citations):
1074   The Definition of Standard ML (context) - Robin, Tofte et al. - 1990
386   Atom: A system for building customized program analysis tool.. (context) - Amitabh, Eustace - 1994
368   Text Compression (context) - Timothy, John et al. - 1990
339   Efficient software-based fault isolation - Robert, Lucco et al. - 1993
275   Shade: A fast instruction-set simulator for execution profil.. - Bob, Keppel - 1994
171   EEL: machine-independent executable editing (context) - James, Eric et al. - 1995
130   Optimally profiling and tracing programs - Thomas, Larus - 1992
98   Compiler: Design and Implementation (context) - Christopher, David et al. - 1995
94   Constructing optimal binary decision trees is NP-complete (context) - Laurent, Rivest - 1976
76   The Icon Programming Language (context) - Ralph, Madge et al. - 1990
51   Simple and effective link-time optimization of Modula-3 prog.. - Mary, June - 1995
47   ACM Letters on Programming Languages and Systems (context) - Christopher, David et al. - 1992
41   The PowerPC Architecture: A Specification for a New Family o.. (context) - Cathy, Silha et al. - 1994
39   An improved protocol reachability analysis technique - Holzmann - 1988
35   Computer Structures: Readings and Examples (context) - Bell, Newell - 1971
31   Information Processing --- Open Systems Interconnection --- .. (context) - for - 1987
30   The Marion system for retargetable instruction scheduling (context) - David, Henry et al. - 1991
26   Systems Programming with Modula-3 (context) - Greg - 1991
22   Statistical analysis of CCSN/SS7 traffic data from working C.. - Diane, Allen et al. - 1994
22   The design and application of a retargetable peephole optimi.. (context) - Jack, Christopher et al. - 1980
21   The complexity of trie index construction (context) - Douglas, Sethi - 1977
14   Postloading for fun and profit (context) - Stephen - 1990
14   Department of Computer Science (context) - Norman, Debugger et al. - 1992
13   NJ: Prentice Hall (context) - Cliffs - 1994
6   Adaptable binary programs (context) - Susan, Steven et al. - 1995
6   Automatic Generation of Assemblers (context) - John, December - 1975
6   Detecting pipeline structural hazards quickly - Todd, Christopher et al. - 1994
5   The evolution of the meta-assembly program (context) - David - 1966
3   Architecture and Programming Manual (context) - Corporation - 1993
2   and Todd (context) - Christopher, Robert et al. - 1992
2   Free Software Foundation (context) - Dean, Fenlason et al. - 1993
2   The SPARC Architecture Manual (context) - Experience, SPARC - 1992
1   Purify: Fast detection of memory leaks and access errors (context) - edition, NJ et al. - 1992
1   A simple solver for linear equations containing nonlinear op.. (context) - SIGPLAN, Conference et al.
1   Higher bandwidth X (context) - the, -- et al. - 1994
1   A portable and optimizing back end for the sml/nj compiler (context) - instruction, tree et al. - 1994
1   Literate programming simplified (context) - the, Symposium et al.



The graph only includes citing articles where the year of publication is known.


Documents on the same site (http://portal.research.bell-labs.com/orgs/ssr/people/maryf/):
A Retargetable, Optimizing Linker - Fernández (1996)   (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