|
|
Specifying Instructions ’ Semantics Using λ-RTL (Interim Report)
– Norman Ramsey, Jack W. Davidson
|
|
1
|
Design Principles for Machine-Description Languages
– Norman Ramsey, Jack W. Davidson, Mary F. Fernandez
|
|
3
|
CSDL: Reusable Computing System Descriptions for Retargetable System Software
– Mark W. Bailey, John Knight, Ronald Williams
- 2000
|
|
48
|
The New Jersey Machine-Code Toolkit
– Norman Ramsey, Mary F. Fernandez
- 1995
|
|
61
|
Specifying Representations of Machine Instructions
– Norman Ramsey, Mary F. Fernández
- 1997
|
|
11
|
A Retargetable, Optimizing Linker
– Maria F. Fernández
- 1996
|
|
32
|
Automatic Generation of Microarchitecture Simulators
– Soner Onder, Rajiv Gupta
- 1998
|
|
6
|
Automatic Detection and Diagnosis of Faults in Generated Code for Procedure Calls
– Jack W. Davidson, Mark W. Bailey, Mark W. Bailey
- 2001
|
|
6
|
The Zephyr Compiler Infrastructure
– Andrew Appel, Jack Davidson, Norman Ramsey
- 1998
|
|
|
Automatically Generating Back Ends for a Portable Assembly Language Using Declarative Machine Descriptions
– João Dias, Norman Ramsey
|
|
7
|
Relocating Machine Instructions by Currying
– Norman Ramsey
- 1996
|
|
5
|
Automatic Checking of Instruction Specifications
– Mary F. Fernández, Norman Ramsey
- 1997
|
|
|
Custom Calling Conventions in a . . .
– Norman Ramsey, Christian Lindig
- 2002
|
|
62
|
C--: A Portable Assembly Language That Supports Garbage Collection
– Simon Peyton Jones, Norman Ramsey, Fermin Reig
- 1999
|
|
|
Automatically Generating Back Ends Using Declarative Machine Descriptions
– João Dias, Norman Ramsey
|
|
|
Automatically Generating Instruction Selectors Using Declarative Machine Descriptions
– João Dias, Norman Ramsey
|
|
|
Jones). In preparation.
– Thayer Rd, References Professor, Norman Ramsey, Professor Craig Chambers
|
|
38
|
A Design Environment for Addressing Architecture and Compiler Interactions
– Jack W. Davidson, David B. Whalley
- 1991
|
|
21
|
Architecture Description Languages for Systems-on-Chip Design
– Hiroyuki Tomiyama, Ashok Halambi, Peter Grun, Nikil Dutt, Alex Nicolau
- 1999
|
