Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

13

CC
2009
Springer

favoriteEmaildiscussreport

153views System Software» more CC 2009»

From Specification to Optimisation: An Architecture for Optimisation of Java Bytecode

13 years 2 months ago

From Specification to Optimisation: An Architecture for Optimisation of Java Bytecode

Download www.imamu.edu.sa

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.

Richard Warburton, Sara Kalvala

Real-time Traffic

CC 2009 | Domain Specific Language | Formal Basis | Scimark 2.0 Benchmark | System Software |

claim paper

Related Content

» Enabling unrestricted automated synthesis of portable hardware accelerators for virtual ma...

» TypeSafe Optimisation of Plugin Architectures

» An Optimisation Model for a TwoNode Router Network

» TestEra SpecificationBased Testing of Java Programs Using SAT

» Model Checking of Concurrent Algorithms From Java to C

» Deriving Efficient Data Movement from Decoupled AccessExecute Specifications

» CYCLONE automated design and layout of RF LCoscillators

» A PolicyBased Management Architecture for Mobile Collaborative Teams

» Performancedriven syntaxdirected synthesis of asynchronous processors

Post Info
More Details (n/a)

Added	16 Feb 2011
Updated	16 Feb 2011
Type	Journal
Year	2009
Where	CC
Authors	Richard Warburton, Sara Kalvala

Comments (0)