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 Oct Times are displayed in time zone: Tijuana, Baja California change
08:30 - 10:00: Session 1DSLDI at Regency A Chair(s): Lindsey KuperIntel Labs, Eric WalkingshawOregon State University | |||
09:00 - 09:10 Day opening | Welcome DSLDI | ||
09:10 - 10:00 Talk | Gradual Typing: Foundations for Mixing Static and Dynamic (Keynote Talk) DSLDI File Attached |
10:30 - 10:52 Talk | Substance and Style: domain-specific languages for mathematical diagrams DSLDI Wode NiColumbia University, Katherine Ye, Joshua SunshineCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Keenan CraneCarnegie Mellon University File Attached | ||
10:52 - 11:15 Talk | Debugging Domain-Specific Languages Defined with Macros DSLDI File Attached | ||
11:15 - 11:37 Talk | DSL Design for Reinforcement Learning Agents DSLDI Christopher SimpkinsGeorgia Institute of Technology, Spencer RugaberGeorgia Institute of Technology, Charles Isbell, Jr.Georgia Institute of Technology File Attached | ||
11:37 - 12:00 Talk | Tangent: automatic differentiation using source code transformation in Python DSLDI File Attached |
13:30 - 13:52 Talk | MkMod: A Domain Specific Language for developing Linux Kernel Modules DSLDI Manasij MukherjeeChennai Mathematical Institute File Attached | ||
13:52 - 14:15 Talk | Bacatá: a generic notebook generator for DSLs DSLDI Mauricio Verano MerinoTechnische Universiteit Eindhoven, Jurgen VinjuCentrum Wiskunde & Informatica / Technische Universiteit Eindhoven, Tijs van der StormCentrum Wiskunde & Informatica / University of Groningen File Attached | ||
14:15 - 14:37 Talk | Thapl—A Theatrical DSL DSLDI Yossi GilTechnion—Israel Institute of Technology, David H. LorenzTechnion—Israel Institute of Technology, Matan I. PeledTechnion—Israel Institute of Technology File Attached | ||
14:37 - 15:00 Talk | Towards Naturalistic EDSLs using Algebraic Effects DSLDI Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany Link to publication Pre-print Media Attached File Attached |
15:30 - 15:52 Talk | Property Law as a Programming Language DSLDI Shrutarshi BasuCornell University, James GrimmelmannCornell Law School, Nate FosterCornell University File Attached | ||
15:52 - 16:15 Talk | Embedding By Normalisation DSLDI Shayan NajdUniversity of Edinburgh File Attached | ||
16:15 - 16:37 Talk | Reliable composition of domain-specific language features DSLDI File Attached | ||
16:37 - 17:00 Day closing | Discussion and closing remarks DSLDI |
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.