The Library
From specification to optimisation: an architecture for optimisation of Java bytecode
Tools
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. ISBN 978-3-642-00721-7. doi:10.1007/978-3-642-00722-4 ISSN 0302-9743.
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
Official URL: http://dx.doi.org/10.1007/978-3-642-00722-4
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, Engineering and Medicine > 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 | ||||
Official Date: | 2009 | ||||
Dates: |
|
||||
Volume: | 5501 | ||||
Number of Pages: | 15 | ||||
Page Range: | pp. 17-31 | ||||
DOI: | 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 |
Data sourced from Thomson Reuters' Web of Knowledge
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |