Weiyu Luo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2021–2022
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | PLDI | Checking robustness to weak persistency models. | Hamed Gorjiara, Weiyu Luo, Alex Lee, Guoqing Harry Xu, Brian Demsky |
| 2022 | VMCAI | Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate. | Rahmadi Trimananda, Weiyu Luo, Brian Demsky, Guoqing Harry Xu |
| 2021 | ASPLOS | C11Tester: a race detector for C/C++ atomics. | Weiyu Luo, Brian Demsky |