Tz-Ching Yu

According to our database, Tz-Ching Yu authored at least 2 papers between 2021 and 2026.

Collaborative distances:

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

2026

Towards Composable Proofs of Cache Coherence Protocols.

Martina Camaioni, Yann Herklotz, Tz-Ching Yu, Thomas Bourgeat

Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2026

2021

RePIM: Joint Exploitation of Activation and Weight Repetitions for In-ReRAM DNN Acceleration.

Chen-Yang Tsai, Chin-Fu Nien, Tz-Ching Yu, Hung-Yu Yeh, Hsiang-Yun Cheng

Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021