Gilbert Louis Bernstein | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Matthew Fisher
28 publications
Pat Hanrahan
14 publications
Jonathan Ragan-Kelley
14 publications
Philip Levis
9 publications
Zachary DeVito
6 publications
Chinmayee Shah
1 publication
Crystal Lemire
1 publication
Alex Reinking
1 publication

research

∙ 10/27/2022

Formal Semantics for the Halide Language

We present the first formalization and metatheory of language soundness ...

0 Alex Reinking, et al. ∙

research

∙ 06/24/2015

Ebb: A DSL for Physical Simulation on CPUs and GPUs

Designing programming environments for physical simulation is challengin...

0 Gilbert Louis Bernstein, et al. ∙