E-LIB Suche - Ergebnisse für: Willsey, Max

1

From Binary Join to Free Join:

Remy Wang, Yisu ; Willsey, Max ; Suciu, Dan
ACM SIGMOD Record. 53 (2024) 1 - p. 25-31 , 2024

2

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/..

3

Virtualizing Existing Fluidic Programs:

Winston, Caleb ; Willsey, Max ; Ceze, Luis
ACM Journal on Emerging Technologies in Computing Systems. 19 (2023) 3 - p. 1-14 , 2023

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

4

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/..

5

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://doi.org/10.1145/..

6

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..

7

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..

8

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/..

9

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

Tatlock, Zachary ; Willsey, Max , 2022

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

10

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..

11

egg: Fast and extensible equality saturation:

Willsey, Max ; Nandi, Chandrakana ; Wang, Yisu Remy...
Proceedings of the ACM on Programming Languages. 5 (2021) POPL - p. 1-29 , 2021

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

12

Rewrite rule inference using equality saturation:

Nandi, Chandrakana ; Willsey, Max ; Zhu, Amy...
Proceedings of the ACM on Programming Languages. 5 (2021) OOPSLA - p. 1-28 , 2021

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

13

egg: Fast and extensible equality saturation:

Willsey, Max ; Nandi, Chandrakana ; Wang, Yisu Remy...
Proceedings of the ACM on Programming Languages. 5 (2021) POPL - p. 1-29 , 2021

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

14

Rewrite rule inference using equality saturation:

Nandi, Chandrakana ; Willsey, Max ; Zhu, Amy...
Proceedings of the ACM on Programming Languages. 5 (2021) OOPSLA - p. 1-28 , 2021

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

15

Synthesizing structured CAD models with equality saturation..:

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

Nandi, Chandrakana ; Willsey, Max ; Anderson, Adam... - p. 31-44 , 2020

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