Главная
Study mode:
on
1
Intro
2
Life Without Synthesis
3
A Really Stupid Synthesizer
4
An SMT Synthesizer in 2 Nights with Rosette
5
Mission Accomplished?
6
Put Synthesis in Code Layer
7
Data Wrangling with Synthesis
8
Synthesis is Coming
9
SUPERCONDUCTOR Architecture: Parallel Browser-in-a-Browser
10
Layout DSL: Fast Tree Language
11
Layout DSL is Flexible! GPU
12
Parallel Algorithms are Patterns
13
Schedule Layout as Parallel Tree Traversals
14
Schedule in Action
15
One Layout Traversal on GPU "Level-synchronous Breadth-First"
16
Need "Structured Programming" for Automatically Parallel Languages
17
Input: Partial Schedule ("Sketch")
18
Synthesis for Data Science.. What Else?
19
Synthesis Languages
Description:
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.

Thinking DSLs for Massive Visualization

Strange Loop Conference
Add to list
0:00 / 0:00