Leiqi Ye
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2023–2026
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | Massively Parallel Mining of Specifications for Hardware Designs. | Leiqi Ye, Guy Frankel, Jianyi Cheng, Elizabeth Polgreen |
| 2025 | FMCAD | Unlocking Hardware Verification with Oracle Guided Synthesis. | Leiqi Ye, Yixuan Li, Guy Frankel, Jianyi Cheng, Elizabeth Polgreen |
| 2023 | FMCAD | Modelling and Verification of Security-Oriented Resource Partitioning Schemes. | Adwait Godbole, Leiqi Ye, Yatin A. Manerkar, Sanjit A. Seshia |