Gilbert Louis Bernstein

23 papers A* 3Misc 1Journal 14Unranked 4
YearRankTypeTitle / Venue / Authors
2025 — conf
Exo 2: Growing a Scheduling Language.
ASPLOS (1)
Yuka Ikarashi, Kevin Qian, Samir Droubi, Alex Reinking, Gilbert Louis Bernstein, Jonathan Ragan-Kelley
2025 Misc conf
High-level Programming for Application Networks.
NSDI
Xiangfeng Zhu, Yuyao Wang, Banruo Liu, Yongtong Wu, Nikola Bojanic, Jingrong Chen, Gilbert Louis Bernstein, Arvind Krishnamurthy, Sam Kumar, Ratul Mahajan, Danyang Zhuo
2025 J jnl
Polynomial-Time Program Equivalence for Machine Knitting.
Proc. ACM Program. Lang.
Nathan Hurtig, Jenny Han Lin, Thomas S. Price, Adriana Schulz, James McCann, Gilbert Louis Bernstein
2024 — conf
FPGA Technology Mapping Using Sketch-Guided Program Synthesis.
ASPLOS (2)
Gus Henry Smith, Benjamin Kushigian, Vishal Canumalla, Andrew Cheung, Steven Lyubomirsky, Sorawee Porncharoenwase, René Just, Gilbert Louis Bernstein, Zachary Tatlock
2024 J jnl
FPGA Technology Mapping Using Sketch-Guided Program Synthesis.
CoRR
Gus Henry Smith, Benjamin Kushigian, Vishal Canumalla, Andrew Cheung, Steven Lyubomirsky, Sorawee Porncharoenwase, René Just, Gilbert Louis Bernstein, Zachary Tatlock
2024 J jnl
Learning to Move Like Professional Counter-Strike Players.
Comput. Graph. Forum
David Durst, Feng Xie, Vishnu Sarukkai, Brennan Shacklett, Iuri Frosio, Chen Tessler, Joohwan Kim, Carly Taylor, Gilbert Louis Bernstein, Sanjiban Choudhury, Pat Hanrahan, Kayvon Fatahalian
2024 J jnl
Scaling Program Synthesis Based Technology Mapping with Equality Saturation.
CoRR
Gus Henry Smith, Colin Knizek, Daniel Petrisko, Zachary Tatlock, Jonathan Balkind, Gilbert Louis Bernstein, Haobin Ni, Chandrakana Nandi
2024 J jnl
UFO Instruction Graphs Are Machine Knittable.
ACM Trans. Graph.
Jenny Han Lin, Yuka Ikarashi, Gilbert Louis Bernstein, James McCann
2024 A* conf
WasteBanned: Supporting Zero Waste Fashion Design Through Linked Edits.
UIST
Ruowang Zhang, Stefanie Mueller, Gilbert Louis Bernstein, Adriana Schulz, Mackenzie Leake
2022 A* conf
Exocompilation for productive programming of hardware accelerators.
PLDI
Yuka Ikarashi, Gilbert Louis Bernstein, Alex Reinking, Hasan Genc, Jonathan Ragan-Kelley
2022 J jnl
Formal Semantics for the Halide Language.
CoRR
Alex Reinking, Gilbert Louis Bernstein, Jonathan Ragan-Kelley
2022 J jnl
Verified tensor-program optimization via high-level scheduling rewrites.
Proc. ACM Program. Lang.
Amanda Liu, Gilbert Louis Bernstein, Adam Chlipala, Jonathan Ragan-Kelley
2020 A* conf
Type-directed scheduling of streaming accelerators.
PLDI
David Durst, Matthew Feldman, Dillon Huff, David Akeley, Ross G. Daly, Gilbert Louis Bernstein, Marco Patrignani, Kayvon Fatahalian, Pat Hanrahan
2019 — —
Designing languages for parallel portability of physical simulations, using relational algebraic abstractions.
Gilbert Louis Bernstein
2017 J jnl
Seam: provably safe local edits on graphs.
Proc. ACM Program. Lang.
Manolis Papadakis, Gilbert Louis Bernstein, Rahul Sharma, Alex Aiken, Pat Hanrahan
2016 J jnl
Ebb: A DSL for Physical Simulation on CPUs and GPUs.
ACM Trans. Graph.
Gilbert Louis Bernstein, Chinmayee Shah, Crystal Lemire, Zachary DeVito, Matthew Fisher, Philip Alexander Levis, Pat Hanrahan
2016 J jnl
Opt: A Domain Specific Language for Non-linear Least Squares Optimization in Graphics and Imaging.
CoRR
Zachary DeVito, Michael Mara, Michael Zollhöfer, Gilbert Louis Bernstein, Jonathan Ragan-Kelley, Christian Theobalt, Pat Hanrahan, Matthew Fisher, Matthias Nießner
2016 J jnl
Why New Programming Languages for Simulation?
ACM Trans. Graph.
Gilbert Louis Bernstein, Fredrik Kjolstad
2015 J jnl
Ebb: A DSL for Physical Simluation on CPUs and GPUs.
CoRR
Gilbert Louis Bernstein, Chinmayee Shah, Crystal Lemire, Zachary DeVito, Matthew Fisher, Philip Alexander Levis, Pat Hanrahan
2015 J jnl
Lillicon: using transient widgets to create scale variations of icons.
ACM Trans. Graph.
Gilbert Louis Bernstein, Wilmot Li
2014 — conf
On being the right scale: sizing large collections of 3D models.
SIGGRAPH ASIA Indoor Scene Understanding Where Graphics Meets Vision
Manolis Savva, Angel X. Chang, Gilbert Louis Bernstein, Christopher D. Manning, Pat Hanrahan
2014 — conf
Towards responsive retargeting of existing websites.
UIST (Adjunct Volume)
Gilbert Louis Bernstein, Scott R. Klemmer
2013 J jnl
Putting holes in holey geometry: topology change for arbitrary surfaces.
ACM Trans. Graph.
Gilbert Louis Bernstein, Chris Wojtan