Colin Cai

According to our database, Colin Cai authored at least 4 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Tenspiler: A Verified-Lifting-Based Compiler for Tensor Operations (Artifact).

Jie Qiu, Colin Cai, Sahil Bhatia, Niranjan Hasabnis, Sanjit A. Seshia, Alvin Cheung

Dagstuhl Artifacts Ser., 2024

Tenspiler: A Verified-Lifting-Based Compiler for Tensor Operations.

Jie Qiu, Colin Cai, Sahil Bhatia, Niranjan Hasabnis, Sanjit A. Seshia, Alvin Cheung

Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

2020

Foundations for Systematic Evaluation and Benchmarking of a Mobile Food Logger in a Large-scale Nutrition Study.

Jisu Jung, Lyndal Wellard-Cole, Colin Cai, Irena Koprinska, Kalina Yacef, Margaret Allman-Farinelli, Judy Kay

Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2020

2019

Fusing Syntax and Word Embedding Knowledge for Measuring Semantic Similarity.

Zhuo Tang, Li Zhu, Yuquan Le, Kenli Li, Colin Cai

Proceedings of the 21st IEEE International Conference on High Performance Computing and Communications; 17th IEEE International Conference on Smart City; 5th IEEE International Conference on Data Science and Systems, 2019