Yuqi Mai
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2023–2025
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | SOSP | Optimistic Recovery for High-Availability Software via Partial Process State Preservation. | Yuzhuo Jing, Yuqi Mai, Angting Cai, Yi Chen, Wanning He, Xiaoyang Qian, Peter M. Chen, Peng Huang |
| 2024 | DATE | VACSEM: Verifying Average Errors in Approximate Circuits Using Simulation-Enhanced Model Counting. | Chang Meng, Hanyu Wang, Yuqi Mai, Weikang Qian, Giovanni De Micheli |
| 2023 | DATE | MECALS: A Maximum Error Checking Technique for Approximate Logic Synthesis. | Chang Meng, Jiajun Sun, Yuqi Mai, Weikang Qian |