Yuqi Mai

Orcid: 0009-0000-4893-9461

According to our database¹, Yuqi Mai authored at least 3 papers between 2023 and 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2025

Optimistic Recovery for High-Availability Software via Partial Process State Preservation.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGOPS 31st Symposium on Operating Systems Principles, 2025

2024

VACSEM: Verifying Average Errors in Approximate Circuits Using Simulation-Enhanced Model Counting.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

2023

MECALS: A Maximum Error Checking Technique for Approximate Logic Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

Yuqi Mai

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...