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.
Original languageEnglish
Title of host publicationSPLASH Companion 2016
Subtitle of host publicationCompanion Proceedings of the 2016 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity
Place of PublicationNew York
PublisherAssociation for Computing Machinery (ACM)
Number of pages3
ISBN (Print)978-1-4503-4437-1
StatePublished - 2016
EventSPLASH Companion 2016 - Amsterdam, Netherlands
Duration: 30 Oct 20164 Nov 2016


ConferenceSPLASH Companion 2016

    Research areas

  • Static Analysis, Incremental Computation, Domainspecific Language, Language Workbench

ID: 11091840