Hongyu Fan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2013–2022
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | PPoPP | Interference relation-guided SMT solving for multi-threaded program verification. | Hongyu Fan, Weiting Liu, Fei He |
| 2022 | TACAS | Deagle: An SMT-based Verifier for Multi-threaded Programs (Competition Contribution). | Fei He, Zhihang Sun, Hongyu Fan |
| 2021 | PLDI | Satisfiability modulo ordering consistency theory for multi-threaded program verification. | Fei He, Zhihang Sun, Hongyu Fan |
| 2013 | ISDA | The influence of depression on deactivation and neural correlates during mental arithmetic tasks. | Shigang Feng, Wei Wang, Liang Chen, Hongyu Fan, Ajith Abraham, Jianlin Wu |