Well-designed and implemented domain-specific languages (DSLs) can achieve both usability and performance benefits over general-purpose programming languages. By raising the level of abstraction and exploiting domain knowledge, DSLs can make programming more accessible, increase programmer productivity, and support domain-specific optimizations.
Domain-Specific Language Design and Implementation (DSLDI) is a workshop intended to bring together researchers and practitioners interested in discussing how DSLs should be designed, implemented, supported by tools, and applied in realistic contexts. The focus of the workshop is on all aspects of this process, from soliciting domain knowledge from experts, through the design and implementation of the language, to evaluating whether and how a DSL is successful. More generally, we are interested in continuing to build a community that can drive forward the development of modern DSLs.
DSLDI is a single-day workshop and will consist of an invited speaker followed by moderated audience discussions structured around a series of short talks. The role of the talks is to facilitate interesting and substantive discussion. Therefore, we welcome and encourage talks that express strong opinions, describe open problems, propose new research directions, and report on early research in progress.
Proposed talks should be on topics within DSLDI’s area of interest, which include but are not limited to:
- solicitation and representation of domain knowledge
- DSL design principles and processes
- DSL implementation techniques and language workbenches
- domain-specific optimizations
- human factors of DSLs
- tool support for DSL users
- community and educational support for DSL users
- applications of DSLs to existing and emerging domains
- studies of usability, performance, or other benefits of DSLs
- experience reports of DSLs deployed in practice
We will have an informal workshop dinner after the workshop.
Sun 22 Oct Times are displayed in time zone: Tijuana, Baja California change
08:30 - 10:00
|Gradual Typing: Foundations for Mixing Static and Dynamic (Keynote Talk)|
K: Ronald GarciaUniversity of British Columbia, CanadaFile Attached
10:30 - 12:00
|Substance and Style: domain-specific languages for mathematical diagrams|
Wode NiColumbia University, Katherine Ye, Joshua SunshineCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Keenan CraneCarnegie Mellon UniversityFile Attached
|Debugging Domain-Specific Languages Defined with Macros|
|DSL Design for Reinforcement Learning Agents|
Christopher SimpkinsGeorgia Institute of Technology, Spencer RugaberGeorgia Institute of Technology, Charles Isbell, Jr.Georgia Institute of TechnologyFile Attached
|Tangent: automatic differentiation using source code transformation in Python|
13:30 - 15:00
|MkMod: A Domain Specific Language for developing Linux Kernel Modules|
Manasij MukherjeeChennai Mathematical InstituteFile Attached
|Bacatá: a generic notebook generator for DSLs|
Mauricio Verano MerinoTechnische Universiteit Eindhoven, Jurgen VinjuCentrum Wiskunde & Informatica / Technische Universiteit Eindhoven, Tijs van der StormCentrum Wiskunde & Informatica / University of GroningenFile Attached
|Thapl—A Theatrical DSL|
Yossi GilTechnion—Israel Institute of Technology, David H. LorenzTechnion—Israel Institute of Technology, Matan I. PeledTechnion—Israel Institute of TechnologyFile Attached
|Towards Naturalistic EDSLs using Algebraic Effects|
Jonathan Immanuel BrachthäuserUniversity of Tübingen, GermanyLink to publication Pre-print Media Attached File Attached
15:30 - 17:00
|Property Law as a Programming Language|
Shrutarshi BasuCornell University, James GrimmelmannCornell Law School, Nate FosterCornell UniversityFile Attached
|Embedding By Normalisation|
Shayan NajdUniversity of EdinburghFile Attached
|Reliable composition of domain-specific language features|
|Discussion and closing remarks|
Call for Talk Proposals
We solicit talk proposals in the form of short abstracts (max. 2 pages). A good talk proposal describes an interesting position, open problem, demonstration, or early achievement. The submissions will be reviewed on relevance and clarity, and used to plan the mostly interactive sessions of the workshop day. Publication of accepted abstracts and slides on the website is voluntary.
Important note: DSLDI ’17 will use blind-until-review reviewing (i.e., reviewers can see author names only after submitting a review). Therefore, authors should omit their names from the submitted PDF.