Specifying Representations of Machine Instructions (1997)

by Norman Ramsey , Mary F. Fernández
Venue:ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS
Citations:76 - 16 self

Active Bibliography

55 The New Jersey Machine-Code Toolkit – Norman Ramsey, Mary F. Fernandez - 1995
Abstract Work in progress Design Principles for Machine-Description Languages – Norman Ramsey
1 Design Principles for Machine-Description Languages – Norman Ramsey, Jack W. Davidson, Mary F. Fernandez
7 Relocating Machine Instructions by Currying – Norman Ramsey - 1996
285 Eel: Machine-independent executable editing – James R. Larus, Eric Schnarr - 1995
1165 Proof-Carrying Code – George C. Necula - 1997
703 Pin: building customized program analysis tools with dynamic instrumentation – Chi-keung Luk, Robert Cohn, Robert Muth, Harish Patil, Artur Klauser, Geoff Lowney, Steven Wallace, Vijay Janapa, Reddi Kim Hazelwood - 2005
751 Atom: A system for building customized program analysis tools – Amitabh Srivastava, Alan Eustace - 1994
523 LLVM: A compilation framework for lifelong program analysis & transformation – Chris Lattner, Vikram Adve - 2004