Model-driven engineering and optimizing compilers: a bridge too far?

Authors:
Antoine Floch;Tomofumi Yuki;Clement Guy;Steven Derrien;Benoit Combemale;Sanjay Rajopadhye;Robert B. France
Affiliations:
University of Rennes 1, IRISA, INRIA;Colorado State University;University of Rennes 1, IRISA, INRIA;University of Rennes 1, IRISA, INRIA;University of Rennes 1, IRISA, INRIA;Colorado State University;Colorado State University
Venue:
Proceedings of the 14th international conference on Model driven engineering languages and systems
Year:
2011

Citing 9
Cited 2

X10: an object-oriented approach to non-uniform cluster computing

OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Formal certification of a compiler back-end or: programming a compiler with a proof assistant

Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Guest Editor's Introduction: Model-Driven Engineering

Computer
Trident: From High-Level Language to Hardware Circuitry

Computer
Model-driven Development of Complex Software: A Research Roadmap

FOSE '07 2007 Future of Software Engineering
Parallel Programmability and the Chapel Language

International Journal of High Performance Computing Applications
Compiler research: the next 50 years

Communications of the ACM - Inspiring Women in Computing
Integrating legacy systems with MDE

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
Specifying and verifying sparse matrix codes

Proceedings of the 15th ACM SIGPLAN international conference on Functional programming

Bridging the chasm between MDE and the world of compilation

Software and Systems Modeling (SoSyM)
Automated design of networks of transport-triggered architecture processors using dynamic dataflow programs

Image Communication

Quantified Score

Hi-index	0.00

Visualization

Abstract

A primary goal of Model Driven Engineering (MDE) is to reduce the cost and effort of developing complex software systems using techniques for transforming abstract views of software to concrete implementations. The rich set of tools that have been developed, especially the growing maturity of model transformation technologies, opens the possibility of applying MDE technologies to transformation-based problems in other domains. In this paper, we present our experience with usingMDE technologies to build and evolve compiler infrastructures in the optimizing compiler domain. We illustrate, through our two ongoing research compiler projects for C and a functional language, the challenging aspects of optimizing compiler research and show how mature MDE technologies can be used to address them.We also identify some of the pitfalls that arise from unrealistic expectations of what can be accomplished using MDE and discuss how they can lead to unsuccessful and frustrating application of MDE technologies.