SPLASH 2017 (series) / DSLDI 2017 (series) / DSLDI 2017 /
Reliable composition of domain-specific language features
In this talk, we will discuss our approach to introducing domain-specific language features into a general-purpose host language via language extensions. Reliable composition of such extensions, by users that are not experts in language design or implementation, is a primary goal of this work. We plan to discuss past results and remaining challenges towards a vision for programming in which programmers can import new language features into their compilers with the same ease at which they can now import libraries into their programs.
(dsldi17-final11.pdf) | 111KiB |
Sun 22 Oct
10:30 - 10:52 Talk | Wode NiColumbia University, Katherine Ye, Joshua SunshineCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Keenan CraneCarnegie Mellon University File Attached | |||||||||||||||||||||||||||||||||||||||||
10:52 - 11:15 Talk | File Attached | |||||||||||||||||||||||||||||||||||||||||
11:15 - 11:37 Talk | Christopher SimpkinsGeorgia Institute of Technology, Spencer RugaberGeorgia Institute of Technology, Charles Isbell, Jr.Georgia Institute of Technology File Attached | |||||||||||||||||||||||||||||||||||||||||
11:37 - 12:00 Talk | File Attached |
13:30 - 15:00: DSLDI 2017 - Session 3 at Regency A Chair(s): Eric WalkingshawOregon State University | ||||||||||||||||||||||||||||||||||||||||||
13:30 - 13:52 Talk | Manasij MukherjeeChennai Mathematical Institute File Attached | |||||||||||||||||||||||||||||||||||||||||
13: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 | |||||||||||||||||||||||||||||||||||||||||
14: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 | |||||||||||||||||||||||||||||||||||||||||
14:37 - 15:00 Talk | Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany Link to publication Pre-print Media Attached File Attached |
15:30 - 15:52 Talk | Shrutarshi BasuCornell University, James GrimmelmannCornell Law School, Nate FosterCornell University File Attached | |||||||||||||||||||||||||||||||||||||||||
15:52 - 16:15 Talk | Shayan NajdUniversity of Edinburgh File Attached | |||||||||||||||||||||||||||||||||||||||||
16:15 - 16:37 Talk | File Attached | |||||||||||||||||||||||||||||||||||||||||
16:37 - 17:00 Day closing |