Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
Sun 22 Oct 2017 10:30 - 10:52 at Regency A - Session 2 Chair(s): Nada Amin

Creating mathematical diagrams is essential for both developing one’s intuition and conveying it to others. However, formalizing diagrams in most general-purpose tools requires painstaking low-level manipulation of shapes and positions. We report on early work on PENROSE, a system we are building to automatically visualize mathematics from notation. PENROSE comprises two languages: Substance, a domain-specific language that mimics the declarativeness of mathematical notation, and Style, a styling language that concisely specifies the visual semantics of the notation. Our system can automatically visualize set theory expressions with user-defined styles, and it can visualize abstract definitions of functions by producing concrete examples. We plan to extend the system to more domains of mathematics.

Sun 22 Oct

Displayed time zone: Tijuana, Baja California change

10:30 - 12:00
Session 2DSLDI at Regency A
Chair(s): Nada Amin University of Cambridge
10:30
22m
Talk
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
22m
Talk
Debugging Domain-Specific Languages Defined with Macros
DSLDI
Xiangqi Li University of Utah, Matthew Flatt University of Utah
File Attached
11:15
22m
Talk
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
22m
Talk
Tangent: automatic differentiation using source code transformation in Python
DSLDI
Bart van Merriënboer University of Montreal, Alexander B. Wiltschko Google Brain
File Attached