Reliable composition of domain-specific language features (DSLDI 2017) - SPLASH 2017

Write a Blog >>

Sun 22 - Fri 27 October 2017 Vancouver, Canada

Who

Ted Kaminski, Eric Van Wyk

Track

Time Zone

The program is currently displayed in (GMT-07:00) Tijuana, Baja California.

Use conference time zone: (GMT-07:00) Tijuana, Baja CaliforniaSelect other time zone

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Sun 22 Oct 2017 16:15 - 16:37 at Regency A - Session 4 Chair(s): Lindsey Kuper

Abstract

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.

File attachments

(dsldi17-final11.pdf)	111KiB

Ted Kaminski

University of Minnesota

United States

Eric Van Wyk

University of Minnesota, USA

United States

Time Zone

The program is currently displayed in (GMT-07:00) Tijuana, Baja California.

Use conference time zone: (GMT-07:00) Tijuana, Baja CaliforniaSelect other time zone

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

Sun 22 Oct
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

	10:30 - 12:00: Session 2DSLDI at Regency A Chair(s): Nada AminUniversity of Cambridge

	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 Xiangqi LiUniversity of Utah, Matthew FlattUniversity of Utah 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 Bart van MerriënboerUniversity of Montreal, Alexander B. WiltschkoGoogle Brain File Attached

	13:30 - 15:00: Session 3DSLDI at Regency A Chair(s): Eric WalkingshawOregon State University

	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 - 17:00: Session 4DSLDI at Regency A Chair(s): Lindsey KuperIntel Labs

	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 Ted KaminskiUniversity of Minnesota, Eric Van WykUniversity of Minnesota, USA File Attached
	16:37 - 17:00 Day closing		Discussion and closing remarks DSLDI