[Back]


Talks and Poster Presentations (with Proceedings-Entry):

D. Quinlan, M. Schordan, Q. Yi, A. Saebjornsen:
"Classification and Utilization of Abstractions for Optimization";
Talk: 1st International Symposium on Leveraging Applications of Formal Methods (ISoLA'04), Cyprus; 2004-10-30 - 2004-11-02; in: "Preliminary Proceedings of the 1st International Symposium on Leveraging Applications of Formal Methods", University Cyprus, (2004), 1 - 15.



English abstract:
We define a novel approach for optimizing the use of libraries within
applications. We propose that library-defined abstractions be
classified to support their automated optimization and by leveraging
these additional semantics we enable the library specific optimization
of application codes. We believe that such an approach entails the use
of formal methods.

We describe ROSE, a framework for building source-to-source
translators, used for the high-level optimization of scientific
applications. It is a common perception that performance is inversely
proportional to the level of abstraction. Our work shows that this is
not the case if the additional semantics of library-defined
abstractions can be leveraged. ROSE allows the recognition of such
abstractions and the optimization of their use in applications. We
show how ROSE can be used to utilize the additional semantics within
the compile-time optimization and present promising results.


Online library catalogue of the TU Vienna:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC04968520

Electronic version of the publication:
http://mips.complang.tuwien.ac.at/markus/publications/ISOLA2004-AbstractionClassification.ps


Created from the Publication Database of the Vienna University of Technology.