Abstract
Language workbenches are widely used to implement domain-specific languages (DSLs) and their accompanying integrated development environments (IDEs). They help to define the abstract syntax, concrete syntax(es), type system, and transformations for the languages. However, there are other language aspects, specifically program analyses and optimizations, that are also crucial to a language implementation, but state-of-the-art language workbenches has only limited support for them. The high implementation effort for these language aspects is justifiable for a general-purpose language (GPL), but is not justifiable for DSLs because of their different development economies.
To this end, I conduct research on dedicated support for analyses and optimizations for DSLs in language workbenches. My main goal is to develop declarative meta-languages that help to define static program analyses and that capture and automate patterns and techniques of optimizations. The research directions are directly driven by industrial need, and upon successful completion, the results would be applied in projects centered around DSLs for high-performance computing (HPC), insurance, and concurrent embedded systems.
To this end, I conduct research on dedicated support for analyses and optimizations for DSLs in language workbenches. My main goal is to develop declarative meta-languages that help to define static program analyses and that capture and automate patterns and techniques of optimizations. The research directions are directly driven by industrial need, and upon successful completion, the results would be applied in projects centered around DSLs for high-performance computing (HPC), insurance, and concurrent embedded systems.
Original language | English |
---|---|
Title of host publication | SPLASH Companion 2016 |
Subtitle of host publication | Companion Proceedings of the 2016 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity |
Place of Publication | New York |
Publisher | Association for Computing Machinery (ACM) |
Pages | 3-5 |
Number of pages | 3 |
ISBN (Print) | 978-1-4503-4437-1 |
DOIs | |
Publication status | Published - 2016 |
Event | SPLASH Companion 2016: ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity - Amsterdam, Netherlands Duration: 30 Oct 2016 → 4 Nov 2016 |
Conference
Conference | SPLASH Companion 2016 |
---|---|
Country/Territory | Netherlands |
City | Amsterdam |
Period | 30/10/16 → 4/11/16 |
Keywords
- Static Analysis
- Incremental Computation
- Domainspecific Language
- Language Workbench