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 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 - 12:00 | |||
10:30 22mTalk | 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 22mTalk | Debugging Domain-Specific Languages Defined with Macros DSLDI File Attached | ||
11:15 22mTalk | 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 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 MukherjeeChennai Mathematical Institute File Attached | ||
13:52 22mTalk | 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 22mTalk | 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 22mTalk | Towards Naturalistic EDSLs using Algebraic Effects DSLDI Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany Link to publication Pre-print Media Attached File Attached |