SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Thu 19 Nov 2020 18:00 - 18:20 at SPLASH-I - R-6 Chair(s): Filip Niksic, Adam Welc
Fri 20 Nov 2020 06:00 - 06:20 at SPLASH-I - R-6 Chair(s): Eelco Visser, Dominik Winterer

Macros provide a powerful means of extending languages.
They have proven useful in both general-purpose and domain-specific
programming contexts. This paper presents an architecture for
implementing macro-extensible DSLs on top of macro-extensible host languages.
The macro expanders of these DSLs inherit the syntax system, hygienic
expansion, and more from the host. They transform the extensible DSL syntax
into a DSL core language. This arrangement has several important
consequences. It becomes straightforward to integrate the syntax
of various DSLs and the host language when their expanders share these
inherited components. Also, a DSL compiler may be designed around a fixed core
language, even for an extensible DSL. Finally, macros empower programmers to
safely grow DSLs on their own and tailor them to their needs.

Conference Day
Thu 19 Nov

Displayed time zone: Central Time (US & Canada) change

17:00 - 18:20
R-6OOPSLA at SPLASH-I +12h
Chair(s): Filip NiksicGoogle, Adam WelcUber Technologies
17:00
20m
Talk
Adding Interactive Visual Syntax to Textual Code
OOPSLA
Leif AndersenNortheastern University, Michael BallantyneNortheastern University, Matthias FelleisenNortheastern University
Link to publication DOI Media Attached
17:20
20m
Talk
Deductive Optimization of Relational Data Storage
OOPSLA
John FeserMassachusetts Institute of Technology, Sam MaddenMassachusetts Institute of Technology, Nan TangQCRI HBKU, Armando Solar-LezamaMassachusetts Institute of Technology
Link to publication DOI Media Attached
17:40
20m
Talk
Inter-theory Dependency Analysis for SMT String Solvers
OOPSLA
Minh-Thai TrinhAdvanced Digital Sciences Center, Duc-Hiep ChuNational University of Singapore, Joxan JaffarNational University of Singapore
Link to publication DOI Media Attached
18:00
20m
Talk
Macros for Domain-Specific Languages
OOPSLA
Michael BallantyneNortheastern University, Alexis KingNorthwestern University, Matthias FelleisenNortheastern University
Link to publication DOI Media Attached

Conference Day
Fri 20 Nov

Displayed time zone: Central Time (US & Canada) change

05:00 - 06:20
R-6OOPSLA at SPLASH-I
Chair(s): Eelco VisserDelft University of Technology, Dominik WintererETH Zurich
05:00
20m
Talk
Adding Interactive Visual Syntax to Textual Code
OOPSLA
Leif AndersenNortheastern University, Michael BallantyneNortheastern University, Matthias FelleisenNortheastern University
Link to publication DOI Media Attached
05:20
20m
Talk
Deductive Optimization of Relational Data Storage
OOPSLA
John FeserMassachusetts Institute of Technology, Sam MaddenMassachusetts Institute of Technology, Nan TangQCRI HBKU, Armando Solar-LezamaMassachusetts Institute of Technology
Link to publication DOI Media Attached
05:40
20m
Talk
Inter-theory Dependency Analysis for SMT String Solvers
OOPSLA
Minh-Thai TrinhAdvanced Digital Sciences Center, Duc-Hiep ChuNational University of Singapore, Joxan JaffarNational University of Singapore
Link to publication DOI Media Attached
06:00
20m
Talk
Macros for Domain-Specific Languages
OOPSLA
Michael BallantyneNortheastern University, Alexis KingNorthwestern University, Matthias FelleisenNortheastern University
Link to publication DOI Media Attached