3 citations · 7 across the 9 of their papers we have counts for
9 papers
Quantum Hoare Type Theory
Kartik Singhal
As quantum computers become real, it is high time we come up with effective techniques that help programmers write correct quantum programs. Inspired by Hoare Type Theory in classi…
Point Movement in a DSL for Higher-Order FEM Visualization
Teodoro Collin, Charisee Chiw, L. Ridgway Scott +2
Scientific visualization tools tend to be flexible in some ways (e.g., for exploring isovalues) while restricted in other ways, such as working only on regular grids, or only on un…
Compiling with Continuations and LLVM
Kavon Farvardin, John Reppy
LLVM is an infrastructure for code generation and low-level optimizations, which has been gaining popularity as a backend for both research and industrial compilers, including many…
Compiling Diderot: From Tensor Calculus to C
Charisee Chiw, Gordon L. Kindlmann, John Reppy
Diderot is a parallel domain-specific language for analysis and visualization of multidimensional scientific images, such as those produced by CT and MRI scanners. In particular, i…
An exploration to visualize finite element data with a DSL
Charisee Chiw, Gordon Kindlmann, John Reppy
The scientific community use PDEs to model a range of problems. The people in this domain are interested in visualizing their results, but existing mechanisms for visualization can…
Properties of Normalization for a math based intermediate representation
Charisee Chiw, John Reppy
The Normalization transformation plays a key role in the compilation of Diderot programs. The transformations are complicated and it would be easy for a bug to go undetected. To in…