12 citations · 24 across the 8 of their papers we have counts for
8 papers
YASPS: A Symbolic Framework for Extensible, High-Performance IPC Simulation
Xuan Tang, Kemeng Huang, Gilbert Bernstein +2
Incremental Potential Contact (IPC) enables robust, contact-rich simulation by casting elasticity and contact as a single energy minimization problem, but high-performance IPC pipe…
Rethinking Collision Detection on GPU Ray Tracing Architecture
Durga Keerthi Mandarapu, Isaac Fuksman, Artem Pelenitsyn +2
Discrete Collision Detection (DCD) is a fundamental task in several domains including particle-based physics simulations. Efficient DCD uses indexing structures such as Bounding Vo…
Learning to Move Like Professional Counter-Strike Players
David Durst, Feng Xie, Vishnu Sarukkai +9
In multiplayer, first-person shooter games like Counter-Strike: Global Offensive (CS:GO), coordinated movement is a critical component of high-level strategic play. However, the co…
Formal Semantics for the Halide Language
Alex Reinking, Gilbert Louis Bernstein, Jonathan Ragan-Kelley
We present the first formalization and metatheory of language soundness for a user-schedulable language, the widely used array processing language Halide. User-schedulable language…
Differentiable Rendering of Neural SDFs through Reparameterization
Sai Praveen Bangaru, Michaël Gharbi, Tzu-Mao Li +7
We present a method to automatically compute correct gradients with respect to geometric scene parameters in neural SDF renderers. Recent physically-based differentiable rendering…
Differentiating a Tensor Language
Gilbert Bernstein, Michael Mara, Tzu-Mao Li +2
How does one compile derivatives of tensor programs, such that the resulting code is purely functional (hence easier to optimize and parallelize) and provably efficient relative to…
Opt: A Domain Specific Language for Non-linear Least Squares Optimization in Graphics and Imaging
Zachary DeVito, Michael Mara, Michael Zollhöfer +6
Many graphics and vision problems can be expressed as non-linear least squares optimizations of objective functions over visual data, such as images and meshes. The mathematical de…
Ebb: A DSL for Physical Simulation on CPUs and GPUs
Gilbert Louis Bernstein, Chinmayee Shah, Crystal Lemire +4
Designing programming environments for physical simulation is challenging because simulations rely on diverse algorithms and geometric domains. These challenges are compounded when…