Automatic checking of instruction specifications

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Automatic checking of instruction specifications

Full text

Pdf (2.07 MB)

Source

International Conference on Software Engineering archive
Proceedings of the 19th international conference on Software engineering table of contents

Boston, Massachusetts, United States

Pages: 326 - 336

Year of Publication: 1997

ISBN:0-89791-914-9

Authors

Mary Fernández	AT&T Labs, 600 Mountain Ave., Murray Hill, NJ
Norman Ramsey	Dept. of Computer Science, University of Virginia, Charlottesville, VA

Sponsors

IEEE-CS\TCSE : TC on Software Engineering
SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 7, Downloads (12 Months): 19, Citation Count: 5

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/253228.253300 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Joel Auslander , Matthai Philipose , Craig Chambers , Susan J. Eggers , Brian N. Bershad, Fast, effective dynamic compilation, Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation, p.149-159, May 21-24, 1996, Philadelphia, Pennsylvania, United States
	2	Thomas Ball , James R. Larus, Optimally profiling and tracing programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.16 n.4, p.1319-1360, July 1994 [doi>10.1145/183432.183527]
	3	Utpal K. Banerjee, Dependence Analysis for Supercomputing, Kluwer Academic Publishers, Norwell, MA, 1988
	4	O. C. Braun. Retargetabiity issues in worst-case timing analysis of embedded systems. Bachelor's thesis, Dept of Computer Science, Princeton University, May 1996.
	5	Bob Cmelik , David Keppel, Shade: a fast instruction-set simulator for execution profiling, Proceedings of the 1994 ACM SIGMETRICS conference on Measurement and modeling of computer systems, p.128-137, May 16-20, 1994, Nashville, Tennessee, United States
	6	Mary F. Fernández, Simple and effective link-time optimization of Modula-3 programs, ACM SIGPLAN Notices, v.30 n.6, p.103-115, June 1995
	7	R. Fourer, D. M. Gay, and B. W. Kernighan. AMPL : A Modeling Language for Mathematical Programming. Boyd & Fraser Pub. Co., 1994.
	8	M. R. Garey and D. S. Johnson. Computers and Intractability. W. H. Freeman, San Francisco, CA, 1979.
	9	Lal George , Florent Guillame , John H. Reppy, A Portable and Optimizing Back End for the SML/NJ Compiler, Proceedings of the 5th International Conference on Compiler Construction, p.83-97, April 07-09, 1994
	10	R. Hastings and B. Joyce. Purify: Fast detection of memory leaks and access errors. In Proceedings of the Winter USENIX Conference, pages 125-136, San Francisco, CA, Jan. 1992.
	11	Peter Lee , Mark Leone, Optimizing ML with run-time code generation, Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation, p.137-148, May 21-24, 1996, Philadelphia, Pennsylvania, United States
	12	Dror E. Maydan , John L. Hennessy , Monica S. Lam, Efficient and exact data dependence analysis, Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation, p.1-14, June 24-28, 1991, Toronto, Ontario, Canada
	13	Greg Nelson, Systems programming with Modula-3, Prentice-Hall, Inc., Upper Saddle River, NJ, 1991
	14	Christos H. Papadimitriou , Kenneth Steiglitz, Combinatorial optimization: algorithms and complexity, Prentice-Hall, Inc., Upper Saddle River, NJ, 1982
	15	William Pugh, A practical algorithm for exact array dependence analysis, Communications of the ACM, v.35 n.8, p.102-114, Aug. 1992 [doi>10.1145/135226.135233]
	16	Norman Ramsey, Relocating machine instructions by currying, ACM SIGPLAN Notices, v.31 n.5, p.226-236, May 1996
	17	Norman Ramsey, A simple solver for linear equations containing nonlinear operators, Software—Practice & Experience, v.26 n.4, p.467-487, April 1996 [doi>10.1002/(SICI)1097-024X(199604)26:4<467::AID-SPE17>3.0.CO;2-M]
	18	N. Ramsey and M. F. Fernandez. New Jersey Machine- Code Toolkit architecture specifications. Technical Report TR-470-94, Department of Computer Science, Princeton University, Oct. 1994.
	19	N. Ramsey and M. F. Fernandez. New Jersey Machine- Code Toolkit reference manual. Technical Report TR- 471-94, Department of Computer Science, Princeton University, Oct. 1994.
	20	N. Ramsey and M. F. Fernandez. The New Jersey Machine-Code Toolkit. In Proceedings of the 1995 USENIX Technical Conference, pages 289-302, New Orleans, LA, Jan. 1995.
	21	Norman Ramsey , Mary F. Fernández, Specifying representations of machine instructions, ACM Transactions on Programming Languages and Systems (TOPLAS), v.19 n.3, p.492-524, May 1997 [doi>10.1145/256167.256225]
	22	Norman Ramsey , David R. Hanson, A retargetable debugger, ACM SIGPLAN Notices, v.27 n.7, p.22-31, July 1992
	23	CORPORATE SPARC International, Inc., The SPARC architecture manual: version 8, Prentice-Hall, Inc., Upper Saddle River, NJ, 1992
	24	Robert Wahbe , Steven Lucco , Thomas E. Anderson , Susan L. Graham, Efficient software-based fault isolation, Proceedings of the fourteenth ACM symposium on Operating systems principles, p.203-216, December 05-08, 1993, Asheville, North Carolina, United States

CITED BY 5

	Norman Ramsey , Mary F. Fernández, Specifying representations of machine instructions, ACM Transactions on Programming Languages and Systems (TOPLAS), v.19 n.3, p.492-524, May 1997
	Henrik Theiling, Generating Decision Trees for Decoding Binaries, ACM SIGPLAN Notices, v.36 n.8, p.112-120, Aug. 2001
	Dawson R. Engler , Wilson C. Hsieh, Derive: a tool that automatically reverse-engineers instruction encodings, ACM SIGPLAN Notices, v.35 n.7, p.12-22, July 2000
	Bernd Mathiske , Doug Simon , Dave Ungar, The Project Maxwell assembler system, Proceedings of the 4th international symposium on Principles and practice of programming in Java, August 30-September 01, 2006, Mannheim, Germany
	Wilson C. Hsieh , Dawson R. Engler , Godmar Back, Reverse-Engineering Instruction Encodings, Proceedings of the General Track: 2002 USENIX Annual Technical Conference, p.133-145, June 25-30, 2001