David Cao

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 7

Top Topics

Program Synthesis

Top Venues

Proc. ACM Program. Lang.

Visualization and Data Analysis

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)
David Cao, Rose Kunkel, Chandrakana Nandi, Max Willsey, Zachary Tatlock, Nadia Polikarpova
babble: Learning Better Abstractions with E-Graphs and Anti-unification. Proc. ACM Program. Lang. 7 (POPL) (2023)
Zheng Guo, David Cao, Davin Tjong, Jean Yang, Cole Schlesinger, Nadia Polikarpova
Type-Directed Program Synthesis for RESTful APIs. CoRR (2022)
David Cao, Rose Kunkel, Chandrakana Nandi, Max Willsey, Zachary Tatlock, Nadia Polikarpova
babble: Learning Better Abstractions with E-Graphs and Anti-Unification. CoRR (2022)
Zheng Guo, David Cao, Davin Tjong, Jean Yang, Cole Schlesinger, Nadia Polikarpova
Type-directed program synthesis for RESTful APIs. PLDI (2022)
Shruti Daggumati, Igor Soares, Jieting Wu, David Cao, Hongfeng Yu, Jun Wang
Tweether: A Visualization Tool Displaying Correlation of Weather to Tweets. Visualization and Data Analysis (2016)