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

dsldi-2017
10:30 - 12:00: DSLDI 2017 - Session 2 at Regency A
Chair(s): Nada AminUniversity of Cambridge
dsldi-2017150866100000010:30 - 10:52
Talk
Wode NiColumbia University, Katherine Ye, Joshua SunshineCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Keenan CraneCarnegie Mellon University
File Attached
dsldi-2017150866235000010:52 - 11:15
Talk
Xiangqi LiUniversity of Utah, Matthew FlattUniversity of Utah
File Attached
dsldi-2017150866370000011:15 - 11:37
Talk
Christopher SimpkinsGeorgia Institute of Technology, Spencer RugaberGeorgia Institute of Technology, Charles Isbell, Jr.Georgia Institute of Technology
File Attached
dsldi-2017150866505000011:37 - 12:00
Talk
Bart van MerriënboerUniversity of Montreal, Alexander B. WiltschkoGoogle Brain
File Attached
dsldi-2017
13:30 - 15:00: DSLDI 2017 - Session 3 at Regency A
Chair(s): Eric WalkingshawOregon State University
dsldi-2017150867180000013:30 - 13:52
Talk
Manasij MukherjeeChennai Mathematical Institute
File Attached
dsldi-2017150867315000013:52 - 14:15
Talk
Mauricio Verano MerinoTechnische Universiteit Eindhoven, Jurgen VinjuCentrum Wiskunde & Informatica / Technische Universiteit Eindhoven, Tijs van der StormCentrum Wiskunde & Informatica / University of Groningen
File Attached
dsldi-2017150867450000014:15 - 14:37
Talk
Yossi GilTechnion—Israel Institute of Technology, David H. LorenzTechnion—Israel Institute of Technology, Matan I. PeledTechnion—Israel Institute of Technology
File Attached
dsldi-2017150867585000014:37 - 15:00
Talk
Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany
Link to publication Pre-print Media Attached File Attached