Jianan Yao
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
6
Active years
2018–2026
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | A Neurosymbolic Approach to Natural Language Formalization and Verification. | Chenyang An, Sam Bayless, Stefano Buliani, Darion Cassel, Byron Cook, Duncan Clough, Rmi Delmas, Nafi Diallo, Ferhat Erata, Nick Feng, Dimitra Giannakopoulou, Aman Goel, Aditya Gokhale, Joe Hendrix, Victor Heorhiadi, Marc Hudak, Dejan Jovanovic, Andrew M. Kent, Benjamin Kiesl-Reiter, Jeffrey J. Kuna, Nadia Labai, Joseph Lilien, Divya Raghunathan, Zvonimir Rakamaric, Niloofar Razavi, Michael Tautschnig, Ali Torkamani, Nathaniel Weir, Michael W. Whalen, Jianan Yao |
| 2025 | OSDI | Quantum Virtual Machines. | Runzhou Tao, Hongzheng Zhu, Jason Nieh, Jianan Yao, Ronghui Gu |
| 2022 | OSDI | DuoAI: Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols. | Jianan Yao, Runzhou Tao, Ronghui Gu, Jason Nieh |
| 2022 | PLDI | Giallar: push-button verification for the qiskit Quantum compiler. | Runzhou Tao, Yunong Shi, Jianan Yao, Xupeng Li, Ali Javadi-Abhari, Andrew W. Cross, Frederic T. Chong, Ronghui Gu |
| 2021 | OSDI | DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols. | Jianan Yao, Runzhou Tao, Ronghui Gu, Jason Nieh, Suman Jana, Gabriel Ryan |
| 2021 | PLDI | Gleipnir: toward practical error analysis for Quantum programs. | Runzhou Tao, Yunong Shi, Jianan Yao, John Hui, Frederic T. Chong, Ronghui Gu |
| 2021 | SOSP | Formal Verification of a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware. | Runzhou Tao, Jianan Yao, Xupeng Li, Shih-Wei Li, Jason Nieh, Ronghui Gu |
| 2020 | ICLR | CLN2INV: Learning Loop Invariants with Continuous Logic Networks. | Gabriel Ryan, Justin Wong, Jianan Yao, Ronghui Gu, Suman Jana |
| 2020 | PLDI | Learning nonlinear loop invariants with gated continuous logic networks. | Jianan Yao, Gabriel Ryan, Justin Wong, Suman Jana, Ronghui Gu |
| 2018 | CIKM | News Recommendation and Filter Bubble. | Jianan Yao, Alexander G. Hauptmann |