Sciweavers

1140 search results - page 21 / 228
» Generating compilers for generated datapaths
Sort
View
ISOLA
2004
Springer
15 years 5 months ago
On the Correctness of Transformations in Compiler Back-Ends
This paper summarizes the results on the correctness of the transformations in compiler back-ends achieved in the DFG-project Verifix. Compiler back-ends transform intermediate la...
Wolf Zimmermann
PLDI
2012
ACM
13 years 2 months ago
Fast and precise hybrid type inference for JavaScript
JavaScript performance is often bound by its dynamically typed nature. Compilers do not have access to static type information, making generation of efficient, type-specialized m...
Brian Hackett, Shu-yu Guo
POPL
2010
ACM
15 years 9 months ago
Automatically Generating Instruction Selectors Using Declarative Machine Descriptions
Despite years of work on retargetable compilers, creating a good, reliable back end for an optimizing compiler still entails a lot of hard work. Moreover, a critical component of ...
João Dias, Norman Ramsey
GPCE
2005
Springer
15 years 5 months ago
Source-Level Optimization of Run-Time Program Generators
Abstract. We describe our efforts to use source-level rewriting to optimize run-time program generators written in Jumbo, a run-time program generation system for Java. Jumbo is a...
Samuel N. Kamin, Baris Aktemur, Philip Morton
84
Voted
ICCD
2003
IEEE
115views Hardware» more  ICCD 2003»
15 years 8 months ago
Reducing Compilation Time Overhead in Compiled Simulators
Compiled simulation is a well known technique for improving the performance of instruction set simulators at the cost of compilation time. However the compilation time overhead ma...
Mehrdad Reshadi, Nikil D. Dutt