Runtian Zhou

According to our database, Runtian Zhou authored at least 2 papers in 2023.

Collaborative distances:

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

2023

Verifying MILP Certificates with SMT Solvers.

Runtian Zhou, Haoze Wu, Hammurabi Mendes, Jonad Pulaj

CoRR, 2023

Block-STM: Scaling Blockchain Execution by Turning Ordering Curse to a Performance Blessing.

Rati Gelashvili, Alexander Spiegelman, Zhuolun Xiang, George Danezis, Zekun Li, Dahlia Malkhi, Yu Xia, Runtian Zhou

Proceedings of the 28th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming, 2023