Linearizable Iterators for Concurrent Data Structures. - Archita Agarwal; Zhiyu Liu; Eli Rosenthal; Vikram Saraph (CoRR, 2017)

Better Together: Unifying Datalog and Equality Saturation. - Yihong Zhang 004; Yisu Remy Wang; Oliver Flatt; David Cao; Philip Zucker; Eli Rosenthal; Zachary Tatlock; Max Willsey (Proc. ACM Program. Lang., 2023)