Model-driven engineering and optimizing compilers: a bridge too far?
Antoine Floch,Tomofumi Yuki,Clément Guy,Steven Derrien,Benoit Combemale,Sanjay Rajopadhye +5 more
- 16 Oct 2011
- pp 608-622
TL;DR: This paper illustrates, through two ongoing research compiler projects for C and a functional language, the challenging aspects of optimizing compiler research and shows how mature MDE technologies can be used to address them.
read more
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 domainsIn 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 themWe 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
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Systematic mapping study of template-based code generation
TL;DR: TBCG is now a mature technique and much research work is still conducted in this area, however, some issues remain to be addressed, such as support for template definition and assessment of the correctness and quality of the generated code.
58
Bridging the chasm between MDE and the world of compilation
TL;DR: It is shown how SLE can lean on the expertise of both MDE and compiler research communities and how each community can bring its solutions to the other one.
Systematic Mapping Study of Template-based Code Generation
TL;DR: Template-based code generation (TBCG) is a synthesis technique that produces code from high-level specifications, called templates as mentioned in this paper, which is a popular technique in MDE given that they both emphasize abstraction and automation.
18
•Dissertation
From dataflow-based video coding tools to dedicated embedded multi-core platforms
Herve Yviquel
- 25 Oct 2013
TL;DR: This thesis describes a complete development environment for dataflow programming that eases multimedia development for embedded multi-core platforms and develops a set of runtime actors mapping/scheduling algorithms that enable the execution of dynamic dataflow programs over multi- core platforms with scalable performance.
16
On model typing
Jim Steel,Jean-Marc Jézéquel +1 more
- 01 Dec 2007
TL;DR: In this paper, a simple extension to object-oriented typing is proposed to better cater for a model-oriented context, including a simple strategy for typing models as a collection of interconnected objects.
13
References
Guest Editor's Introduction: Model-Driven Engineering
TL;DR: Model-driven engineering technologies offer a promising approach to address the inability of third-generation languages to alleviate the complexity of platforms and express domain concepts effectively.
2.6K
X10: an object-oriented approach to non-uniform cluster computing
Philippe Charles,Christian Grothoff,Vijay Saraswat,Christopher Michael Donawa,Allan H. Kielstra,Kemal Ebcioglu,Christoph von Praun,Vivek Sarkar +7 more
- 12 Oct 2005
TL;DR: A modern object-oriented programming language, X10, is designed for high performance, high productivity programming of NUCC systems and an overview of the X10 programming model and language, experience with the reference implementation, and results from some initial productivity comparisons between the X 10 and Java™ languages are presented.
Model-driven Development of Complex Software: A Research Roadmap
Bernhard Rumpe
- 23 May 2007
TL;DR: Model-Driven Engineering (MDE) is typically used to describe software development approaches in which abstract models of software systems are created and systematically transformed to concrete implementations as discussed by the authors, but full realizations of the MDE vision may not be possible in the near to medium-term primarily because of the wicked problems involved.
Parallel Programmability and the Chapel Language
Bradford L. Chamberlain,David Callahan,Hans P. Zima +2 more
- 01 Aug 2007
TL;DR: A candidate list of desirable qualities for a parallel programming language is offered, and how these qualities are addressed in the design of the Chapel language is described, providing an overview of Chapel's features and how they help address parallel productivity.
Formal certification of a compiler back-end or: programming a compiler with a proof assistant
Xavier Leroy
- 11 Jan 2006
TL;DR: This paper reports on the development and formal certification of a compiler from Cminor (a C-like imperative language) to PowerPC assembly code, using the Coq proof assistant both for programming the compiler and for proving its correctness.
789
Related Papers (5)
Walter Cazzola,Davide Poletti +1 more
- 22 Jun 2010
Jan F. Prins,Rickard E. Faith +1 more
- 01 Jan 1998