Warburton, Richard and Kalvala, Sara (2009) From specification to optimisation: an architecture for optimisation of Java bytecode. In: 18th International Conference on Compiler Construction, York, England, MAR 22-29, 2009. Published in: Lecture Notes in Computer Science, 5501 pp. 17-31.

Full text not available from this repository.

Abstract

We present the architecture of the Rosser toolkit that allows optimisations to be specified in a domain specific language, then compiled and deployed towards optimising object programs. The optimisers generated by Rosser exploit model checking to apply dataflow analysis to programs to find optimising opportunities. The transformational language is derived from a formal basis and consequently can be proved sound. We validate the technique by comparing the application of optimisers generated by our system against hand-written optimisations using the Java based Scimark 2.0 benchmark.

Item Type:	Conference Item (Paper)
Subjects:	Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software
Divisions:	Faculty of Science > Computer Science
Series Name:	LECTURE NOTES IN COMPUTER SCIENCE
Journal or Publication Title:	Lecture Notes in Computer Science
Publisher:	Springer
ISBN:	978-3-642-00721-7
ISSN:	0302-9743
Editor:	DeMoor, O and Schwartzbach, MI
Date:	2009
Volume:	5501
Number of Pages:	15
Page Range:	pp. 17-31
Identification Number:	10.1007/978-3-642-00722-4
Status:	Peer Reviewed
Publication Status:	Published
Access rights to Published version:	Restricted or Subscription Access
Conference Paper Type:	Paper
Title of Event:	18th International Conference on Compiler Construction
Type of Event:	Conference
Location of Event:	York, England
Date(s) of Event:	MAR 22-29, 2009
URI:	http://wrap.warwick.ac.uk/id/eprint/28110

Data sourced from Thomson Reuters' Web of Knowledge

Request changes to a record

Actions (login required)

View Item