Hongyu Fan

Orcid: 0000-0002-6135-7308

According to our database1, Hongyu Fan authored at least 9 papers between 2013 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Leveraging Datapath Propagation in IC3 for Hardware Model Checking.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., July, 2024

2023
Satisfiability Modulo Ordering Consistency Theory for SC, TSO, and PSO Memory Models.
ACM Trans. Program. Lang. Syst., March, 2023

2022
Consistency-preserving propagation for SMT solving of concurrent program verification.
Proc. ACM Program. Lang., 2022

Efficient 5-axis CNC trochoidal flank milling of 3D cavities using custom-shaped cutting tools.
Comput. Aided Des., 2022

Deagle: An SMT-based Verifier for Multi-threaded Programs (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Interference relation-guided SMT solving for multi-threaded program verification.
Proceedings of the PPoPP '22: 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Seoul, Republic of Korea, April 2, 2022

2021
Automatic breast cancer detection based on optimized neural network using whale optimization algorithm.
Int. J. Imaging Syst. Technol., 2021

Satisfiability modulo ordering consistency theory for multi-threaded program verification.
Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2013
The influence of depression on deactivation and neural correlates during mental arithmetic tasks.
Proceedings of the 13th International Conference on Intellient Systems Design and Applications, 2013


  Loading...