DERIVE: A tool that automatically reverse-engineers instruction encodings

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 35, Issue 7, 2000, Pages 12-20

  Engler, Dawson R ^a   Hsieh, Wilson C ^b  

^a STANFORD UNIVERSITY   (United States)

^b UNIVERSITY OF UTAH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0040020440     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/351403.351409     Document Type: Article

References (22)

1. F. Bergadano and D. Gunetti. Inductive Logic Programming. MIT Press, 1996.
2. Frederick P. Brooks, Jr. The Mythical Man-Month. Addison Wesley, 20th anniversary edition, 1995.
3. Christian Collberg. Reverse interpretation + mutation analysis = automatic retargeting. In Proceedings of the SIGPLAN '97 Conference on Programming Language Design and Implementation, June 1997.
4. C. Consel and F. Noel. A general approach for run-time specialization and its application to G. In Proceedings of the 23th Annual Symposium on Principles of Programming Languages, St. Petersburg, FL, January 1996.
5. P. Deutsch and A.M. Schiffman. Efficient implementation of the Smalltalk-80 system. In Proceedings of 11th POPL, pages 297-302, Salt Lake City, UT, January 1984.
6. D. R. Engler. VCODE: a retargetable, extensible, very fast dynamic code generation system. In Proceedings of the SIGPLAN '96 Conference on Programming Language Design and Implementation, pages 160-170, Philadelphia, PA, USA, May 1996. http://www.pdos.lcs.mit.edu/engler/vcode.html.
7. D.R. Engler and M.F. Kaashoek. DPF: fast, flexible message demultiplexing using dynamic code generation. In ACM Communication Architectures, Protocols, and Applications (SIGCOMM) 1996, pages 53-59, Stanford, CA, USA, August 1996.
8. Mary Fernández and Norman Ramsey. Automatic checking of instruction specifications. In 1997 International Conference on Software Engineering, 1997.
9. B. Grant, M. Mock, M. Philipose, C. Chambers, and S.J. Eggers. Annotation-directed run-time specialization in C. In Symposium on Partial Evaluation and Semantics-Based Program Manipulation (Amsterdam, The Netherlands), pages 163-178, New York, June 1997. ACM.
10. W. Wilson Ho and Ronald A. Olsson. An approach to genuine dynamic linking. Software: Practice and Experience, 24(4):375-390, April 1991.
11. U. Hölzle and D. Ungar. Optimizing dynamically-dispatched calls with run-time type feedback. In Proceedings of PLDI '94, pages 326-335, Orlando, Florida, June 1994.
12. James R. Larus and Thomas Ball. Rewriting executable files to measure program behavior. SPE, 24(2):197-218, feb 1994.
13. M. Leone and P. Lee. Optimizing ML with run-time code generation. In Proceedings of the SIGPLAN '96 Conference on Programming Language. Design and Implementation, May 1996.
14. Steve Lucco. Personal communication. Use of undocumented proprietary formats as a technique to impede third-party additions, August 1997.
15. Henry Massalin. Superoptimizer - a look at the smallest program. In Second International Conference on Architectural Support for Programming Languages and Operating Systems, pages 122-126, October 1987.
16. Massimiliano Poletto, Wilson Hsieh, Dawson Engler, and M. Frans Kaashoek. 'C and tec: A language and compiler for dynamic code generation. ACM Transactions on Programming Languages and Systems, 21(2):324-369, March 1999.
17. N. Ramsey and M. F. Fernández. The New Jersey machine-code toolkit. In 1995 Winter USENIX, December 1995.
18. Norman Ramsey and Mary Fernandez. Specifying representations of machine instructions. ACM Transactions on Programming Languages and Systems, to appear.
19. Amitabh Srivastava and Alan Eustace. Atom - a system for building customized program analysis tools. In Proceedings of the SIGPLAN '94 Conference on Programming Language Design and Implementation, 1994.
20. Bjarne Stroustrup. The Design and Evolution of C++. Addison Wesley, Reading, MA, 1994.
21. R. Wahbe, S. Lucco, T. Anderson, and S. Graham. Efficient software-based fault isolation. In Proceedings of the Fourteenth ACM Symposium on Operating Systems Principles, pages 203-216, Asheville, NC, USA, December 1993.
22. D.W. Wall. Systems for late code modification. CODE 91 Workshop on Code Generation, 1991.