Gilbert Louis Bernstein

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 10

Top Topics

Fpga Technology

Programming Language

Top Venues

ACM Trans. Graph.

Proc. ACM Program. Lang.

Publications

Gus Henry Smith, Benjamin Kushigian, Vishal Canumalla, Andrew Cheung, Steven Lyubomirsky, Sorawee Porncharoenwase, René Just, Gilbert Louis Bernstein, Zachary Tatlock
FPGA Technology Mapping Using Sketch-Guided Program Synthesis. ASPLOS (2) (2024)
Gus Henry Smith, Benjamin Kushigian, Vishal Canumalla, Andrew Cheung, Steven Lyubomirsky, Sorawee Porncharoenwase, René Just, Gilbert Louis Bernstein, Zachary Tatlock
FPGA Technology Mapping Using Sketch-Guided Program Synthesis. CoRR (2024)
Amanda Liu, Gilbert Louis Bernstein, Adam Chlipala, Jonathan Ragan-Kelley
Verified tensor-program optimization via high-level scheduling rewrites. Proc. ACM Program. Lang. 6 (POPL) (2022)
Yuka Ikarashi, Gilbert Louis Bernstein, Alex Reinking, Hasan Genc, Jonathan Ragan-Kelley
Exocompilation for productive programming of hardware accelerators. PLDI (2022)
Alex Reinking, Gilbert Louis Bernstein, Jonathan Ragan-Kelley
Formal Semantics for the Halide Language. CoRR (2022)
David Durst, Matthew Feldman, Dillon Huff, David Akeley, Ross G. Daly, Gilbert Louis Bernstein, Marco Patrignani, Kayvon Fatahalian, Pat Hanrahan
Type-directed scheduling of streaming accelerators. PLDI (2020)
Manolis Papadakis, Gilbert Louis Bernstein, Rahul Sharma, Alex Aiken, Pat Hanrahan
Seam: provably safe local edits on graphs. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Gilbert Louis Bernstein, Chinmayee Shah, Crystal Lemire, Zachary DeVito, Matthew Fisher, Philip Alexander Levis, Pat Hanrahan
Ebb: A DSL for Physical Simulation on CPUs and GPUs. ACM Trans. Graph. 35 (2) (2016)
Zachary DeVito, Michael Mara, Michael Zollhöfer, Gilbert Louis Bernstein, Jonathan Ragan-Kelley, Christian Theobalt, Pat Hanrahan, Matthew Fisher, Matthias Nießner
Opt: A Domain Specific Language for Non-linear Least Squares Optimization in Graphics and Imaging. CoRR (2016)
Gilbert Louis Bernstein, Fredrik Kjolstad
Why New Programming Languages for Simulation? ACM Trans. Graph. 35 (2) (2016)
Gilbert Louis Bernstein, Wilmot Li
Lillicon: using transient widgets to create scale variations of icons. ACM Trans. Graph. 34 (4) (2015)
Gilbert Louis Bernstein, Chinmayee Shah, Crystal Lemire, Zachary DeVito, Matthew Fisher, Philip Alexander Levis, Pat Hanrahan
Ebb: A DSL for Physical Simluation on CPUs and GPUs. CoRR (2015)
Manolis Savva, Angel X. Chang, Gilbert Louis Bernstein, Christopher D. Manning, Pat Hanrahan
On being the right scale: sizing large collections of 3D models. SIGGRAPH ASIA Indoor Scene Understanding Where Graphics Meets Vision (2014)
Gilbert Louis Bernstein, Scott R. Klemmer
Towards responsive retargeting of existing websites. UIST (Adjunct Volume) (2014)
Gilbert Louis Bernstein, Chris Wojtan
Putting holes in holey geometry: topology change for arbitrary surfaces. ACM Trans. Graph. 32 (4) (2013)