Tianjun Bu

According to our database, Tianjun Bu authored at least 4 papers between 2025 and 2026.

Collaborative distances:

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

2026

CIll: CTI-Guided Invariant Generation via LLMs for Model Checking.

Yuheng Su, Tianjun Bu, Qiusong Yang, Yiwei Ci, Enyuan Tian

CoRR, February, 2026

2025

Fast, Transparent and Accurate Simulation of Thousand Processing-in-Memory Cores.

Zhichao Lv, Tianjun Bu, Qiusong Yang

Proceedings of the Great Lakes Symposium on VLSI 2025, GLSVLSI 2025, New Orleans, LA, USA, 30 June 2025, 2025

Deeply Optimizing the SAT Solver for the IC3 Algorithm.

Yuheng Su, Qiusong Yang, Yiwei Ci, Yingcheng Li, Tianjun Bu, Ziyu Huang

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

The rIC3 Hardware Model Checker.

Yuheng Su, Qiusong Yang, Yiwei Ci, Tianjun Bu, Ziyu Huang

Proceedings of the Computer Aided Verification - 37th International Conference, 2025