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

The GMT offsets shown reflect the offsets at the moment of the conference.

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

The GMT offsets shown reflect the offsets at the moment of the conference.

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
Displayed time zone: Tijuana, Baja California change

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

	10:30 22m Talk		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 22m Talk		Debugging Domain-Specific Languages Defined with Macros DSLDI Xiangqi Li University of Utah, Matthew Flatt University of Utah File Attached
	11:15 22m Talk		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 22m Talk		Tangent: automatic differentiation using source code transformation in Python DSLDI Bart University of Montreal, Alexander B. Wiltschko Google Brain File Attached

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

	13:30 22m Talk		MkMod: A Domain Specific Language for developing Linux Kernel Modules DSLDI Manasij Mukherjee Chennai Mathematical Institute File Attached
	13:52 22m Talk		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 22m Talk		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 22m Talk		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	Session 4DSLDI at Regency A Chair(s): Lindsey Kuper Intel Labs

	15:30 22m Talk		Property Law as a Programming Language DSLDI Shrutarshi Basu Cornell University, James Grimmelmann Cornell Law School, Nate Foster Cornell University File Attached
	15:52 22m Talk		Embedding By Normalisation DSLDI Shayan Najd University of Edinburgh File Attached
	16:15 22m Talk		Reliable composition of domain-specific language features DSLDI Ted Kaminski University of Minnesota, Eric Van Wyk University of Minnesota, USA File Attached
	16:37 22m Day closing		Discussion and closing remarks DSLDI