Explore the intersection of domain-specific languages (DSLs) and program synthesis in this 38-minute conference talk from Strange Loop 2013. Delve into the development of Superconductor, a browser-based language for massive interactive visualizations, which combines end-to-end parallel DSLs and a synthesis DSL for parallel layout. Learn how these innovative approaches enable real-time interactive visualizations of hundreds of thousands of data points with high-level parallelization control. Discover the potential of combining explicit and automatic parallelization through "schedule sketching" and gain insights into the architecture of Superconductor, its flexible layout DSL, and the application of synthesis in data science and beyond.
Overview
Syllabus
Intro
Life Without Synthesis
A Really Stupid Synthesizer
An SMT Synthesizer in 2 Nights with Rosette
Mission Accomplished?
Put Synthesis in Code Layer
Data Wrangling with Synthesis
Synthesis is Coming
SUPERCONDUCTOR Architecture: Parallel Browser-in-a-Browser
Layout DSL: Fast Tree Language
Layout DSL is Flexible! GPU
Parallel Algorithms are Patterns
Schedule Layout as Parallel Tree Traversals
Schedule in Action
One Layout Traversal on GPU "Level-synchronous Breadth-First"
Need "Structured Programming" for Automatically Parallel Languages
Input: Partial Schedule ("Sketch")
Synthesis for Data Science.. What Else?
Synthesis Languages
Taught by
Strange Loop Conference
