Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
Sun 22 Oct 2017 10:52 - 11:15 at Regency A - Session 2 Chair(s): Nada Amin

Macros specify the runtime semantics of a DSL through elaboration into lower-level language terms, and a DSL defined with macros can result in a tower of languages. The debugging support for macro-based DSLs should be defined in terms of the immediate low-level language instead of the host language. An event-oriented approach works well with macro-based DSLs where events can be integrated with macro implementation to report high-level evaluation details, and low-level events can be filtered, combined, and transformed to describe DSL events. Events can be further inspected or manipulated to construct domain-specific interfaces for debuggers. We will demonstrate three domain-specific debuggers that are built on this framework.

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 van Merriënboer 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