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 OctDisplayed time zone: Tijuana, Baja California change
08:30 - 10:00
|Gradual Typing: Foundations for Mixing Static and Dynamic (Keynote Talk)|
K: Ronald Garcia University of British Columbia, CanadaFile Attached
10:30 - 12:00
|Substance and Style: domain-specific languages for mathematical diagrams|
Wode Ni Columbia University, Katherine Ye , Joshua Sunshine Carnegie Mellon University, Jonathan Aldrich Carnegie Mellon University, Keenan Crane Carnegie Mellon UniversityFile Attached
|Debugging Domain-Specific Languages Defined with Macros|
|DSL Design for Reinforcement Learning Agents|
Christopher Simpkins Georgia Institute of Technology, Spencer Rugaber Georgia 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 Mukherjee Chennai Mathematical InstituteFile Attached
|Bacatá: a generic notebook generator for DSLs|
Mauricio Verano Merino Technische Universiteit Eindhoven, Jurgen Vinju Centrum Wiskunde & Informatica / Technische Universiteit Eindhoven, Tijs van der Storm Centrum Wiskunde & Informatica / University of GroningenFile Attached
|Thapl—A Theatrical DSL|
Yossi Gil Technion—Israel Institute of Technology, David H. Lorenz Technion—Israel Institute of Technology, Matan I. Peled Technion—Israel Institute of TechnologyFile Attached
|Towards Naturalistic EDSLs using Algebraic Effects|
Jonathan Immanuel Brachthäuser University of Tübingen, GermanyLink to publication Pre-print Media Attached File Attached
15:30 - 17:00
|Property Law as a Programming Language|
Shrutarshi Basu Cornell University, James Grimmelmann Cornell Law School, Nate Foster Cornell UniversityFile Attached
|Embedding By Normalisation|
Shayan Najd University 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.