research
∙
04/14/2022
Synthesizing Analytical SQL Queries from Computation Demonstration
Analytical SQL is widely used in modern database applications and data a...
share
research
∙
10/04/2021
Differentiable 3D CAD Programs for Bidirectional Editing
Modern CAD tools represent 3D designs not only as geometry, but also as ...
research
∙
07/07/2020
Computer-Aided Personalized Education
The shortage of people trained in STEM fields is becoming acute, and uni...
research
∙
03/13/2020
Fireiron: A Scheduling Language for High-Performance Linear Algebra on GPUs
Achieving high-performance GPU kernels requires optimizing algorithm imp...
research
∙
09/24/2019
Using human-in-the-loop synthesis to author functional reactive programs
Programs that respond to asynchronous events are challenging to write; t...
research
∙
02/16/2019
Precise Attack Synthesis for Smart Contracts
Smart contracts are programs running on top of blockchain platforms. The...
research
∙
08/01/2017
Bonsai: Synthesis-Based Reasoning for Type Systems
We describe algorithms for symbolic reasoning about executable models of...
research
∙
06/30/2016