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.
Workshop Goal
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.
Workshop Format
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
Workshop Dinner
We will have an informal workshop dinner after the workshop.
When: 6:00pm
Where: Al Porto Ristorante, 321 Water St. (directions via Google Maps)
Sun 22 OctDisplayed time zone: Tijuana, Baja California change
08:30 - 10:00 | Session 1DSLDI at Regency A Chair(s): Lindsey Kuper Intel Labs, Eric Walkingshaw Oregon State University | ||
09:00 10mDay opening | Welcome DSLDI | ||
09:10 50mTalk | Gradual Typing: Foundations for Mixing Static and Dynamic (Keynote Talk) DSLDI File Attached |
10:30 - 12:00 | |||
10:30 22mTalk | Substance and Style: domain-specific languages for mathematical diagrams DSLDI Wode Ni Columbia University, Katherine Ye , Joshua Sunshine Carnegie Mellon University, Jonathan Aldrich Carnegie Mellon University, Keenan Crane Carnegie Mellon University File Attached | ||
10:52 22mTalk | Debugging Domain-Specific Languages Defined with Macros DSLDI File Attached | ||
11:15 22mTalk | DSL Design for Reinforcement Learning Agents DSLDI Christopher Simpkins Georgia Institute of Technology, Spencer Rugaber Georgia Institute of Technology, Charles Isbell, Jr. Georgia Institute of Technology File Attached | ||
11:37 22mTalk | Tangent: automatic differentiation using source code transformation in Python DSLDI File Attached |
13:30 - 15:00 | |||
13:30 22mTalk | MkMod: A Domain Specific Language for developing Linux Kernel Modules DSLDI Manasij Mukherjee Chennai Mathematical Institute File Attached | ||
13:52 22mTalk | Bacatá: a generic notebook generator for DSLs DSLDI Mauricio Verano Merino Technische Universiteit Eindhoven, Jurgen Vinju Centrum Wiskunde & Informatica / Technische Universiteit Eindhoven, Tijs van der Storm Centrum Wiskunde & Informatica / University of Groningen File Attached | ||
14:15 22mTalk | Thapl—A Theatrical DSL DSLDI Yossi Gil Technion—Israel Institute of Technology, David H. Lorenz Technion—Israel Institute of Technology, Matan I. Peled Technion—Israel Institute of Technology File Attached | ||
14:37 22mTalk | Towards Naturalistic EDSLs using Algebraic Effects DSLDI Jonathan Immanuel Brachthäuser University of Tübingen, Germany Link to publication Pre-print Media Attached File Attached |
15:30 - 17:00 | |||
15:30 22mTalk | Property Law as a Programming Language DSLDI Shrutarshi Basu Cornell University, James Grimmelmann Cornell Law School, Nate Foster Cornell University File Attached | ||
15:52 22mTalk | Embedding By Normalisation DSLDI Shayan Najd University of Edinburgh File Attached | ||
16:15 22mTalk | Reliable composition of domain-specific language features DSLDI File Attached | ||
16:37 22mDay closing | Discussion and closing remarks DSLDI |
Accepted Talks
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.