Hongyu Fan

11 papers A* 1B 1C 1Journal 6Unranked 2
YearRankTypeTitle / Venue / Authors
2024 — conf
Apple Leaf Disease Segmentation in the Wild: A Multi-task Collaborative Learning Approach.
PRCV (9)
Nawei Guo, Hongyu Fan, Jie Li, Yinchi Ma, Hong Cheng, Bo Liu
2024 J jnl
Leveraging Datapath Propagation in IC3 for Hardware Model Checking.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Hongyu Fan, Fei He
2023 J jnl
Leveraging Datapath Propagation in IC3 for Hardware Model Checking.
CoRR
Hongyu Fan, Fei He
2023 J jnl
Satisfiability Modulo Ordering Consistency Theory for SC, TSO, and PSO Memory Models.
ACM Trans. Program. Lang. Syst.
Hongyu Fan, Zhihang Sun, Fei He
2022 J jnl
Consistency-preserving propagation for SMT solving of concurrent program verification.
Proc. ACM Program. Lang.
Zhihang Sun, Hongyu Fan, Fei He
2022 — conf
Deagle: An SMT-based Verifier for Multi-threaded Programs (Competition Contribution).
TACAS (2)
Fei He, Zhihang Sun, Hongyu Fan
2022 J jnl
Efficient 5-axis CNC trochoidal flank milling of 3D cavities using custom-shaped cutting tools.
Comput. Aided Des.
Pengbo Bo, Hongyu Fan, Michael Barton
2022 B conf
Interference relation-guided SMT solving for multi-threaded program verification.
PPoPP
Hongyu Fan, Weiting Liu, Fei He
2021 J jnl
Automatic breast cancer detection based on optimized neural network using whale optimization algorithm.
Int. J. Imaging Syst. Technol.
Hong Fang, Hongyu Fan, Shan Lin, Zhang Qing, Fatima Rashid Sheykhahmad
2021 A* conf
Satisfiability modulo ordering consistency theory for multi-threaded program verification.
PLDI
Fei He, Zhihang Sun, Hongyu Fan
2013 C conf
The influence of depression on deactivation and neural correlates during mental arithmetic tasks.
ISDA
Shigang Feng, Wei Wang, Liang Chen, Hongyu Fan, Ajith Abraham, Jianlin Wu