research
∙
08/24/2023
PEak: A Single Source of Truth for Hardware Design and Verification
Domain-specific languages for hardware can significantly enhance designe...
share
research
∙
11/26/2021
Modular Information Flow through Ownership
Statically analyzing information flow, or how data influences other data...
research
∙
04/29/2021
Automated Design Space Exploration of CGRA Processing Element Architectures using Frequent Subgraph Analysis
The architecture of a coarse-grained reconfigurable array (CGRA) process...
research
∙
01/15/2021
The Role of Working Memory in Program Tracing
Program tracing, or mentally simulating a program on concrete inputs, is...
research
∙
01/15/2021
Automating Program Structure Classification
When students write programs, their program structure provides insight i...
research
∙
06/20/2020
fault: A Python Embedded Domain-Specific Language For Metaprogramming Portable Hardware Verification Components
While hardware generators have drastically improved design productivity,...
research
∙
05/18/2018
Scanner: Efficient Video Analysis at Scale
A growing number of visual computing applications depend on the analysis...
research
∙
10/17/2017
Large-Scale 3D Shape Reconstruction and Segmentation from ShapeNet Core55
We introduce a large-scale 3D shape understanding benchmark using data a...
research
∙
01/13/2017
LayerBuilder: Layer Decomposition for Interactive Image and Video Color Editing
Exploring and editing colors in images is a common task in graphic desig...
research
∙
10/05/2016
Towards a Drone Cinematographer: Guiding Quadrotor Cameras using Visual Composition Principles
We present a system to capture video footage of human subjects in the re...
research
∙
04/22/2016
Opt: A Domain Specific Language for Non-linear Least Squares Optimization in Graphics and Imaging
Many graphics and vision problems can be expressed as non-linear least s...
research
∙
03/19/2016
Neurally-Guided Procedural Models: Amortized Inference for Procedural Graphics Programs using Neural Networks
Probabilistic inference algorithms such as Sequential Monte Carlo (SMC) ...
research
∙
12/09/2015
ShapeNet: An Information-Rich 3D Model Repository
We present ShapeNet: a richly-annotated, large-scale repository of shape...
research
∙
06/24/2015