Author | Conference | Journal | Organization | Year | DOI
Look for results that meet for the following criteria:
Academic
Publications
RATA: Rapid Atomic Type Analysis by Abstract Interpretation - Application to JavaScript Optimization
Edit
RATA: Rapid Atomic Type Analysis by Abstract Interpretation - Application to JavaScript Optimization   (Citations: 4)
BibTex | RIS | RefWorks Download
We introduce RATA, a static analysis based on abstract in- terpretation for the rapid inference of atomic types in JavaScript pro- grams. RATA enables aggressive type specialization optimizations in dy- namic languages. RATA is a combination of an interval analysis (to de- termine the range of variables), a kind analysis (to determine if a variable may assume fractional values, or NaN), and a variation analysis (to relate the values of variables). The combination of those three analyses allows our compiler to specialize Float64 variables (the only numerical type in JavaScript) to Int32 variables, providing large performance improve- ments (up to 7:7 ) in some of our benchmarks.
Conference: Compiler Construction - CC , pp. 66-83, 2010
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
More »
Order by:

Citations (4)

Share this on | Contribute to Academic