E-LIB Suche - Ergebnisse für: Bernstein, Gilbert Louis

1

FPGA Technology Mapping Using Sketch-Guided Program Synthes..:

, In: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2,

Smith, Gus Henry ; Kushigian, Benjamin ; Canumalla, Vishal... - p. 416-432 , 2024

Link: https://dl.acm.org/doi/1..

2

Verified tensor-program optimization via high-level schedul..:

Liu, Amanda ; Bernstein, Gilbert Louis ; Chlipala, Adam.
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-28 , 2022

Link: https://doi.org/10.1145/..

3

Verified tensor-program optimization via high-level schedul..:

Liu, Amanda ; Bernstein, Gilbert Louis ; Chlipala, Adam.
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-28 , 2022

Link: https://dl.acm.org/doi/1..

4

Exocompilation for productive programming of hardware accel..:

, In: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation,

Ikarashi, Yuka ; Bernstein, Gilbert Louis ; Reinking, Alex.. - p. 703-718 , 2022

Link: https://dl.acm.org/doi/1..

5

Type-directed scheduling of streaming accelerators:

, In: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation,

Durst, David ; Feldman, Matthew ; Huff, Dillon... - p. 408-422 , 2020

Link: https://dl.acm.org/doi/1..

6

Seam: provably safe local edits on graphs:

Papadakis, Manolis ; Bernstein, Gilbert Louis ; Sharma, Rahul..
Proceedings of the ACM on Programming Languages. 1 (2017) OOPSLA - p. 1-29 , 2017

Link: https://doi.org/10.1145/..

7

Seam: provably safe local edits on graphs:

Papadakis, Manolis ; Bernstein, Gilbert Louis ; Sharma, Rahul..
Proceedings of the ACM on Programming Languages. 1 (2017) OOPSLA - p. 1-29 , 2017

Link: https://dl.acm.org/doi/1..

8

Perspectives : Why New Programming Languages for Simulat..:

Bernstein, Gilbert Louis ; Kjolstad, Fredrik
ACM Transactions on Graphics (TOG). 35 (2016) 2 - p. 1-3 , 2016

Link: https://dl.acm.org/doi/1..

9

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

Bernstein, Gilbert Louis ; Shah, Chinmayee ; Lemire, Crystal...
ACM Transactions on Graphics. 35 (2016) 2 - p. 1-12 , 2016

Link: https://doi.org/10.1145/..

10

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

Bernstein, Gilbert Louis ; Shah, Chinmayee ; Lemire, Crystal...
ACM Transactions on Graphics (TOG). 35 (2016) 2 - p. 1-12 , 2016

Link: https://dl.acm.org/doi/1..

11

Perspectives: Why New Programming Languages for Simulation?:

Bernstein, Gilbert Louis ; Kjolstad, Fredrik
ACM Transactions on Graphics. 35 (2016) 2 - p. 1-3 , 2016

Link: https://doi.org/10.1145/..

12

Lillicon : using transient widgets to create scale varia..:

Bernstein, Gilbert Louis ; Li, Wilmot
ACM Transactions on Graphics (TOG). 34 (2015) 4 - p. 1-11 , 2015

Link: https://dl.acm.org/doi/1..

13

Lillicon: using transient widgets to create scale variation..:

Bernstein, Gilbert Louis ; Li, Wilmot
ACM Transactions on Graphics. 34 (2015) 4 - p. 1-11 , 2015

Link: https://doi.org/10.1145/..

14

Towards responsive retargeting of existing websites:

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

Bernstein, Gilbert Louis ; Klemmer, Scott - p. 119-120 , 2014

Link: https://dl.acm.org/doi/1..

15

Putting holes in holey geometry : topology change for ar..:

Bernstein, Gilbert Louis ; Wojtan, Chris
ACM Transactions on Graphics (TOG). 32 (2013) 4 - p. 1-12 , 2013

Link: https://dl.acm.org/doi/1..