Junfu Luo

According to our database, Junfu Luo authored at least 2 papers between 2022 and 2024.

Collaborative distances:

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

2024

Trace and Algebraic Semantics for Partial Store Order Memory Model.

Junfu Luo, Lili Xiao, Huibiao Zhu, Ziqing Su

Proceedings of the 48th IEEE Annual Computers, Software, and Applications Conference, 2024

2022

MEA: A Framework for Model Checking of Mutual Exclusion Algorithms Focusing on Atomicity.

Junfu Luo, Jiaqi Yin, Huibiao Zhu

Proceedings of the Parallel and Distributed Computing, Applications and Technologies, 2022