SPLASH 2017 (series) / DSLDI 2017 (series) / DSLDI 2017 /
Debugging Domain-Specific Languages Defined with Macros
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.
(dsldi17-final4.pdf) | 285KiB |
Sun 22 OctDisplayed time zone: Tijuana, Baja California change
Sun 22 Oct
Displayed time zone: Tijuana, Baja California change
10:30 - 12:00 | |||
10:30 22mTalk | 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 22mTalk | Debugging Domain-Specific Languages Defined with Macros DSLDI File Attached | ||
11:15 22mTalk | 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 22mTalk | Tangent: automatic differentiation using source code transformation in Python DSLDI File Attached |
13:30 - 15:00 | |||
13:30 22mTalk | MkMod: A Domain Specific Language for developing Linux Kernel Modules DSLDI Manasij Mukherjee Chennai Mathematical Institute File Attached | ||
13:52 22mTalk | 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 22mTalk | 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 22mTalk | 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 |