Gilbert Louis Bernstein

Orcid: 0000-0002-3016-1169

Affiliations:
  • University of Washington, Seattle, USA
  • Stanford University, USA (former)


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
FPGA Technology Mapping Using Sketch-Guided Program Synthesis.
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.
ACM Trans. Graph., December, 2023

Semantics and Scheduling for Machine Knitting Compilers.
ACM Trans. Graph., August, 2023

2022
Verified tensor-program optimization via high-level scheduling rewrites.
Proc. ACM Program. Lang., 2022

Formal Semantics for the Halide Language.
CoRR, 2022

Sketch-Based Design of Foundation Paper Pieceable Quilts.
Proceedings of the 35th Annual ACM Symposium on User Interface Software and Technology, 2022

Differentiable Rendering of Neural SDFs through Reparameterization.
Proceedings of the SIGGRAPH Asia 2022 Conference Papers, 2022

Exocompilation for productive programming of hardware accelerators.
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.
ACM Trans. Graph., 2021

Systematically differentiating parametric discontinuities.
ACM Trans. Graph., 2021

2020
Differentiating a Tensor Language.
CoRR, 2020

Type-directed scheduling of streaming accelerators.
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.
PhD thesis, 2019

2017
Opt: A Domain Specific Language for Non-Linear Least Squares Optimization in Graphics and Imaging.
ACM Trans. Graph., 2017

Seam: provably safe local edits on graphs.
Proc. ACM Program. Lang., 2017

2016
Ebb: A DSL for Physical Simulation on CPUs and GPUs.
ACM Trans. Graph., 2016

PATEX: exploring pattern variations.
ACM Trans. Graph., 2016

Why New Programming Languages for Simulation?
ACM Trans. Graph., 2016

2015
Lillicon: using transient widgets to create scale variations of icons.
ACM Trans. Graph., 2015

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

2014
Motion fields for interactive character locomotion.
Commun. ACM, 2014

Towards responsive retargeting of existing websites.
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.
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.
ACM Trans. Graph., 2013

2009
Fast, Exact, Linear Booleans.
Comput. Graph. Forum, 2009


  Loading...