SPLASH 2017 (series) / DSLDI 2017 (series) /
DSLDI 2017 Program
This is the DSLDI 2017 program - see the full program for SPLASH 2017 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 22 OctDisplayed time zone: Tijuana, Baja California change
Sun 22 Oct
Displayed time zone: Tijuana, Baja California change
08:30 - 10:00 | Session 1DSLDI at Regency A Chair(s): Lindsey Kuper Intel Labs, Eric Walkingshaw Oregon State University | ||
09:00 10mDay opening | Welcome DSLDI | ||
09:10 50mTalk | Gradual Typing: Foundations for Mixing Static and Dynamic (Keynote Talk) DSLDI File Attached |
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 |
15:30 - 17:00 | |||
15:30 22mTalk | Property Law as a Programming Language DSLDI Shrutarshi Basu Cornell University, James Grimmelmann Cornell Law School, Nate Foster Cornell University File Attached | ||
15:52 22mTalk | Embedding By Normalisation DSLDI Shayan Najd University of Edinburgh File Attached | ||
16:15 22mTalk | Reliable composition of domain-specific language features DSLDI File Attached | ||
16:37 22mDay closing | Discussion and closing remarks DSLDI |