E-LIB Suche - Ergebnisse für: Tatlock, Zachary

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

Application-level Validation of Accelerator Designs Using a..:

Huang, Bo-Yuan ; Lyubomirsky, Steven ; Li, Yi...
ACM Transactions on Design Automation of Electronic Systems. 29 (2024) 2 - p. 1-25 , 2024

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

3

Computational Illusion Knitting:

Zhu, Amy ; Mei, Yuxuan ; Jones, Benjamin..
ACM Transactions on Graphics. 43 (2024) 4 - p. 1-13 , 2024

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

4

Magic Markup: Maintaining Document-External Markup with an ..:

, In: Companion Proceedings of the 8th International Conference on the Art, Science, and Engineering of Programming,

Misback, Edward ; Tatlock, Zachary ; Tanimoto, Steven L. - p. 22-31 , 2024

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

5

Improving Analysis and Optimization of Finite-Precision Pro..:

Isychev, Anastasia , 2023

Link: http://nbn-resolving.de/..

6

Odyssey: An Interactive Workbench for Expert-Driven Floatin..:

, In: Proceedings of the 36th Annual ACM Symposium on User Interface Software and Technology,

Misback, Edward ; Chan, Caleb C. ; Saiki, Brett... - p. 1-15 , 2023

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

7

Equality Saturation Theory Exploration à la Carte:

Pal, Anjali ; Saiki, Brett ; Tjoa, Ryan...
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA2 - p. 1034-1062 , 2023

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

8

babble: Learning Better Abstractions with E-Graphs and Anti..:

Cao, David ; Kunkel, Rose ; Nandi, Chandrakana...
Proceedings of the ACM on Programming Languages. 7 (2023) POPL - p. 396-424 , 2023

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

9

Exploring Self-Embedded Knitting Programs with Twine:

, In: Proceedings of the 11th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design,

Zhu, Amy ; Schulz, Adriana ; Tatlock, Zachary - p. 25-31 , 2023

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

10

Proceedings of the 1st ACM SIGPLAN International Symposium ..:

Tatlock, Zachary ; Willsey, Max , 2022

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

11

ADA, the Center for Applications Driving Architectures: acc..:

, In: Proceedings of the 59th ACM/IEEE Design Automation Conference,

Bertacco, Valeria ; Austin, Todd ; Brooks, David... - p. 1406-1409 , 2022

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

12

Co-Optimization of Design and Fabrication Plans for Carpent..:

Zhao, Haisen ; Willsey, Max ; Zhu, Amy...
ACM Transactions on Graphics. 41 (2022) 3 - p. 1-13 , 2022

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

13

Relational e-matching:

Zhang, Yihong ; Wang, Yisu Remy ; Willsey, Max.
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-22 , 2022

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

14

Small Proofs from Congruence Closure:

, In: 2022 Formal Methods in Computer-Aided Design (FMCAD),

Flatt, Oliver ; Coward, Samuel ; Willsey, Max.. - p. 75-83 , 2022

Link: https://doi.org/10.34727..

15

Co-Optimization of Design and Fabrication Plans for Carpent..:

Zhao, Haisen ; Willsey, Max ; Zhu, Amy...
ACM Transactions on Graphics (TOG). 41 (2022) 3 - p. 1-13 , 2022

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