Gilbert Louis Bernstein

According to our database, Gilbert Louis Bernstein authored at least 30 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Distributions for Compositionally Differentiating Parametric Discontinuities.

Jesse Michel, Kevin Mu, Xuanda Yang, Sai Praveen Bangaru, Elias Rojas Collins, Gilbert Bernstein, Jonathan Ragan-Kelley, Michael Carbin, Tzu-Mao Li

Proc. ACM Program. Lang., 2024

A Verified Compiler for a Functional Tensor Language.

Amanda Liu, Gilbert Bernstein, Adam Chlipala, Jonathan Ragan-Kelley

Proc. ACM Program. Lang., 2024

Learning to Move Like Professional Counter-Strike Players.

David Durst, Feng Xie, Vishnu Sarukkai, Brennan Shacklett, Iuri Frosio, Chen Tessler, Joohwan Kim, Carly Taylor, Gilbert Bernstein, Sanjiban Choudhury, Pat Hanrahan, Kayvon Fatahalian

CoRR, 2024

WasteBanned: Supporting Zero Waste Fashion Design Through Linked Edits.

Ruowang Zhang, Stefanie Mueller, Gilbert Louis Bernstein, Adriana Schulz, Mackenzie Leake

Proceedings of the 37th Annual ACM Symposium on User Interface Software and Technology, 2024

Understanding and Supporting Debugging Workflows in CAD.

Felix Hähnlein, Gilbert Bernstein, Adriana Schulz

Proceedings of the 37th Annual ACM Symposium on User Interface Software and Technology, 2024

FPGA Technology Mapping Using Sketch-Guided Program Synthesis.

Gus Henry Smith, Benjamin Kushigian, Vishal Canumalla, Andrew Cheung, Steven Lyubomirsky, Sorawee Porncharoenwase, René Just, Gilbert Louis Bernstein, Zachary Tatlock

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2023

SLANG.D: Fast, Modular and Differentiable Shader Programming.

Sai Praveen Bangaru, Lifan Wu, Tzu-Mao Li, Jacob Munkberg, Gilbert Bernstein, Jonathan Ragan-Kelley, Frédo Durand, Aaron E. Lefohn, Yong He

ACM Trans. Graph., December, 2023

Semantics and Scheduling for Machine Knitting Compilers.

Jenny Lin, Vidya Narayanan, Yuka Ikarashi, Jonathan Ragan-Kelley, Gilbert Bernstein, James McCann

ACM Trans. Graph., August, 2023

2022

Verified tensor-program optimization via high-level scheduling rewrites.

Amanda Liu, Gilbert Louis Bernstein, Adam Chlipala, Jonathan Ragan-Kelley

Proc. ACM Program. Lang., 2022

Formal Semantics for the Halide Language.

Alex Reinking, Gilbert Louis Bernstein, Jonathan Ragan-Kelley

CoRR, 2022

Sketch-Based Design of Foundation Paper Pieceable Quilts.

Mackenzie Leake, Gilbert Bernstein, Maneesh Agrawala

Proceedings of the 35th Annual ACM Symposium on User Interface Software and Technology, 2022

Differentiable Rendering of Neural SDFs through Reparameterization.

Sai Praveen Bangaru, Michaël Gharbi, Fujun Luan, Tzu-Mao Li, Kalyan Sunkavalli, Milos Hasan, Sai Bi, Zexiang Xu, Gilbert Bernstein, Frédo Durand

Proceedings of the SIGGRAPH Asia 2022 Conference Papers, 2022

Exocompilation for productive programming of hardware accelerators.

Yuka Ikarashi, Gilbert Louis Bernstein, Alex Reinking, Hasan Genc, Jonathan Ragan-Kelley

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2021

A mathematical foundation for foundation paper pieceable quilts.

Mackenzie Leake, Gilbert Bernstein, Abe Davis, Maneesh Agrawala

ACM Trans. Graph., 2021

Systematically differentiating parametric discontinuities.

Sai Praveen Bangaru, Jesse Michel, Kevin Mu, Gilbert Bernstein, Tzu-Mao Li, Jonathan Ragan-Kelley

ACM Trans. Graph., 2021

2020

Differentiating a Tensor Language.

Gilbert Bernstein, Michael Mara, Tzu-Mao Li, Dougal Maclaurin, Jonathan Ragan-Kelley

CoRR, 2020

Type-directed scheduling of streaming accelerators.

David Durst, Matthew Feldman, Dillon Huff, David Akeley, Ross G. Daly, Gilbert Louis Bernstein, Marco Patrignani, Kayvon Fatahalian, Pat Hanrahan

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2019

Designing languages for parallel portability of physical simulations, using relational algebraic abstractions.

Gilbert Louis Bernstein

PhD thesis, 2019

2017

Opt: A Domain Specific Language for Non-Linear Least Squares Optimization in Graphics and Imaging.

Zachary DeVito, Michael Mara, Michael Zollhöfer, Gilbert Bernstein, Jonathan Ragan-Kelley, Christian Theobalt, Pat Hanrahan, Matthew Fisher, Matthias Nießner

ACM Trans. Graph., 2017

Seam: provably safe local edits on graphs.

Manolis Papadakis, Gilbert Louis Bernstein, Rahul Sharma, Alex Aiken, Pat Hanrahan

Proc. ACM Program. Lang., 2017

2016

Ebb: A DSL for Physical Simulation on CPUs and GPUs.

Gilbert Louis Bernstein, Chinmayee Shah, Crystal Lemire, Zachary DeVito, Matthew Fisher, Philip Alexander Levis, Pat Hanrahan

ACM Trans. Graph., 2016

PATEX: exploring pattern variations.

Paul Guerrero, Gilbert Bernstein, Wilmot Li, Niloy J. Mitra

ACM Trans. Graph., 2016

Why New Programming Languages for Simulation?

Gilbert Louis Bernstein, Fredrik Kjolstad

ACM Trans. Graph., 2016

2015

Lillicon: using transient widgets to create scale variations of icons.

Gilbert Louis Bernstein, Wilmot Li

ACM Trans. Graph., 2015

Ebb: A DSL for Physical Simluation on CPUs and GPUs.

Gilbert Louis Bernstein, Chinmayee Shah, Crystal Lemire, Zachary DeVito, Matthew Fisher, Philip Alexander Levis, Pat Hanrahan

CoRR, 2015

2014

Motion fields for interactive character locomotion.

Yongjoon Lee, Kevin Wampler, Gilbert Bernstein, Jovan Popovic, Zoran Popovic

Commun. ACM, 2014

Towards responsive retargeting of existing websites.

Gilbert Louis Bernstein, Scott R. Klemmer

Proceedings of the adjunct publication of the 27th annual ACM symposium on User interface software and technology, 2014

On being the right scale: sizing large collections of 3D models.

Manolis Savva, Angel X. Chang, Gilbert Louis Bernstein, Christopher D. Manning, Pat Hanrahan

Proceedings of the SIGGRAPH Asia 2014 Indoor Scene Understanding Where Graphics Meets Vision, 2014

2013

Putting holes in holey geometry: topology change for arbitrary surfaces.

Gilbert Louis Bernstein, Chris Wojtan

ACM Trans. Graph., 2013

2009

Fast, Exact, Linear Booleans.

Gilbert Bernstein, Don Fussell

Comput. Graph. Forum, 2009