1.1k citations · 1.2k across the 14 of their papers we have counts for
15 papers
TensorRight: Automated Verification of Tensor Graph Rewrites
Jai Arora, Sirui Lu, Devansh Jain +9
Tensor compilers, essential for generating efficient code for deep learning models across various applications, employ tensor graph rewrites as one of the key optimizations. These…
Morello: Compiling Fast Neural Networks with Dynamic Programming and Spatial Compression
Samuel J. Kaufman, René Just, Rastislav Bodik
High-throughput neural network inference requires coordinating many optimization decisions, including parallel tiling, microkernel selection, and data layout. The product of these…
Synthesizing Analytical SQL Queries from Computation Demonstration
Xiangyu Zhou, Rastislav Bodik, Alvin Cheung +1
Analytical SQL is widely used in modern database applications and data analysis. However, its partitioning and grouping operators are challenging for novice users. Unfortunately, p…
Differentiable 3D CAD Programs for Bidirectional Editing
Dan Cascaval, Mira Shalah, Phillip Quinn +3
Modern CAD tools represent 3D designs not only as geometry, but also as a program composed of geometric operations, each of which depends on a set of parameters. Program representa…
Falx: Synthesis-Powered Visualization Authoring
Chenglong Wang, Yu Feng, Rastislav Bodik +3
Modern visualization tools aim to allow data analysts to easily create exploratory visualizations. When the input data layout conforms to the visualization design, users can easily…
Computer-Aided Personalized Education
Rajeev Alur, Richard Baraniuk, Rastislav Bodik +10
The shortage of people trained in STEM fields is becoming acute, and universities and colleges are straining to satisfy this demand. In the case of computer science, for instance,…