Concepedia

Yisu Remy Wang

YR

6

Publications

150

Citations

6

H-Index

2020

Active since

Affiliations

University of Washington(Current)

Yisu Remy Wang is an author at University of Washington specializing in computer science, data science, and engineering.

Top concepts

EngineeringData ScienceComputer ScienceFormal MethodsProgram AnalysisAutomated ReasoningData ManagementData IntegrationMachine LearningFormal Verification

Publications per year

2020–2023

6

Publications

6

SPORES

Yisu Remy Wang, Shana Hutchison, Jonathan Leang et al. · Proceedings of the VLDB Endowment · 2020 · 48 citations

Mathematical Programming, Artificial Intelligence, Engineering +18

Equality Saturation for Tensor Graph Superoptimization

Yichen Yang, Phitchaya Mangpo Phothilimtha, Yisu Remy Wang et al. · arXiv (Cornell University) · 2021 · 31 citations · Full text

Mathematical Programming, Artificial Intelligence, Equality Saturation +17

Better Together: Unifying Datalog and Equality Saturation

Yihong Zhang, Yisu Remy Wang, Oliver Flatt et al. · Proceedings of the ACM on Programming Languages · 2023 · 26 citations · Full text

Equality Saturation, Engineering, Verification +20

Convergence of Datalog over (Pre-) Semirings

Mahmoud Abo Khamis, Hung Q. Ngo, Reinhard Pichler et al. · 2022 · 18 citations · Full text

Topological Semigroups, Declarative Programming, Engineering +15

Free Join: Unifying Worst-Case Optimal and Traditional Joins

Yisu Remy Wang, Max Willsey, Dan Suciu · Proceedings of the ACM on Management of Data · 2023 · 16 citations · Full text

Engineering, Query Processing, Information Retrieval +18

Rows per page

1–5 of 6