Hongyu Fan
Orcid: 0000-0002-6135-7308
According to our database1,
Hongyu Fan
authored at least 9 papers
between 2013 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
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
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