Tweether: A Visualization Tool Displaying Correlation of Weather to Tweets. - Shruti Daggumati; Igor Soares; Jieting Wu; David Cao; Hongfeng Yu 001; Jun Wang 022 (Visualization and Data Analysis, 2016)

Type-directed program synthesis for RESTful APIs. - Zheng Guo 003; David Cao; Davin Tjong; Jean Yang 001; Cole Schlesinger; Nadia Polikarpova (PLDI, 2022)

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)

babble: Learning Better Abstractions with E-Graphs and Anti-unification. - David Cao; Rose Kunkel; Chandrakana Nandi; Max Willsey; Zachary Tatlock; Nadia Polikarpova (Proc. ACM Program. Lang., 2023)