research
∙
09/06/2021
Quantum Hoare Type Theory: Extended Abstract
As quantum computers become real, it is high time we come up with effect...
share
research
∙
11/02/2019
Point Movement in a DSL for Higher-Order FEM Visualization
Scientific visualization tools tend to be flexible in some ways (e.g., f...
research
∙
05/22/2018
Compiling with Continuations and LLVM
LLVM is an infrastructure for code generation and low-level optimization...
research
∙
02/19/2018
Compiling Diderot: From Tensor Calculus to C
Diderot is a parallel domain-specific language for analysis and visualiz...
research
∙
05/24/2017