We stand with Ukraine  

David Cao

Orcid: 0000-0002-6163-1821

According to our database1, David Cao authored at least 4 papers between 2016 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
babble: Learning Better Abstractions with E-Graphs and Anti-unification.
[BibTeX]
[DOI]
David Cao
,
Rose Kunkel
,
Chandrakana Nandi
,
Max Willsey
,
Zachary Tatlock
,
Nadia Polikarpova
Proc. ACM Program. Lang., January, 2023

Better Together: Unifying Datalog and Equality Saturation.
[BibTeX]
[DOI]
Yihong Zhang
,
Yisu Remy Wang
,
Oliver Flatt
,
David Cao
,
Philip Zucker
,
Eli Rosenthal
,
Zachary Tatlock
,
Max Willsey
Proc. ACM Program. Lang., 2023

2022
Type-directed program synthesis for RESTful APIs.
[BibTeX]
[DOI]
Zheng Guo
,
David Cao
,
Davin Tjong
,
Jean Yang
,
Cole Schlesinger
,
Nadia Polikarpova
Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2016
Tweether: A Visualization Tool Displaying Correlation of Weather to Tweets.
[BibTeX]
[DOI]
Shruti Daggumati
,
Igor Soares
,
Jieting Wu
,
David Cao
,
Hongfeng Yu
,
Jun Wang
Proceedings of the Visualization and Data Analysis 2016, 2016


  Loading...