Eli Rosenthal

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 3

Top Topics

Top Venues

Proc. ACM Program. Lang.

Publications

Yihong Zhang, Yisu Remy Wang, Oliver Flatt, David Cao, Philip Zucker, Eli Rosenthal, Zachary Tatlock, Max Willsey
Better Together: Unifying Datalog and Equality Saturation. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Yihong Zhang, Yisu Remy Wang, Oliver Flatt, David Cao, Philip Zucker, Eli Rosenthal, Zachary Tatlock, Max Willsey
Better Together: Unifying Datalog and Equality Saturation. CoRR (2023)
Archita Agarwal, Zhiyu Liu, Eli Rosenthal, Vikram Saraph
Linearizable Iterators for Concurrent Data Structures. CoRR (2017)