SPLASH 2017 (series) / DSLDI 2017 (series) / DSLDI 2017 /
Reliable composition of domain-specific language features
In this talk, we will discuss our approach to introducing domain-specific language features into a general-purpose host language via language extensions. Reliable composition of such extensions, by users that are not experts in language design or implementation, is a primary goal of this work. We plan to discuss past results and remaining challenges towards a vision for programming in which programmers can import new language features into their compilers with the same ease at which they can now import libraries into their programs.
(dsldi17-final11.pdf) | 111KiB |
Sun 22 Oct Times are displayed in time zone: Tijuana, Baja California change
Sun 22 Oct
Times are displayed in time zone: Tijuana, Baja California change
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 |