Jianan Yao

Cited by

	All	Since 2019
Citations	222	222
h-index	7	7
i10-index	7	7

2019202020212022202320242 5 24 71 89 31

Public access

View all

7 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Ronghui GuAssociate Professor of Computer Science, Columbia UniversityVerified email at columbia.edu
Runzhou TaoColumbia UniversityVerified email at columbia.edu
Jason NiehColumbia UniversityVerified email at cs.columbia.edu
Suman JanaAssociate Professor of Computer Science, Columbia UniversityVerified email at cs.columbia.edu
Gabriel RyanPh.D. Candidate, Columbia UniversityVerified email at cs.columbia.edu
Justin WongPhD Student at UC BerkeleyVerified email at berkeley.edu
Yunong ShiAmazon BraketVerified email at amazon.com
Fred ChongSeymour Goodman Professor, UChicago; and Chief Scientist for Quantum Software, InfleqtionVerified email at cs.uchicago.edu
Xupeng LiColumbia UniversityVerified email at columbia.edu
John HuiColumbia UniversityVerified email at cs.columbia.edu
Shih-Wei LiNational Taiwan UniversityVerified email at csie.ntu.edu.tw
Andrew W. CrossResearch Staff Member, IBM T. J. Watson Research CenterVerified email at us.ibm.com
Ali Javadi-AbhariIBMVerified email at ibm.com
Shaokai Jerry LinCS PhD Candidate, University of California, BerkeleyVerified email at berkeley.edu
Ziqiao ZhouMicrosoftVerified email at microsoft.com

Jianan Yao

Columbia University

Verified email at columbia.edu - Homepage

Programming Language Distributed Systems


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
CLN2INV: Learning Loop Invariants with Continuous Logic Networks G Ryan, J Wong, J Yao, R Gu, S Jana International Conference on Learning Representations (ICLR) 2020, 2020	50	2020
Learning nonlinear loop invariants with gated continuous logic networks J Yao, G Ryan, J Wong, S Jana, R Gu Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020	44	2020
DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols J Yao, R Tao, R Gu, J Nieh, S Jana, G Ryan 15th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2021	40	2021
Formal Verification of a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware R Tao, J Yao, X Li, SW Li, J Nieh, R Gu Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles …, 2021	26	2021
DuoAI: Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols J Yao, R Tao, R Gu, J Nieh 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2022	20	2022
Giallar: push-button verification for the qiskit Quantum compiler R Tao, Y Shi, J Yao, X Li, A Javadi-Abhari, AW Cross, FT Chong, R Gu Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022	17	2022
Gleipnir: toward practical error analysis for Quantum programs R Tao, Y Shi, J Yao, J Hui, FT Chong, R Gu Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021	11	2021
Gleipnir: toward practical error analysis for quantum programs (Extended Version) R Tao, Y Shi, J Yao, J Hui, FT Chong, R Gu arXiv preprint arXiv:2104.06349, 2021	6	2021
SciviK: A Versatile Framework for Specifying and Verifying Smart Contracts S Lin, X Sun, J Yao, R Gu Memorial Volume for Shoucheng Zhang, 403-437, 2022	5	2022
Leveraging Large Language Models for Automated Proof Synthesis in Rust J Yao, Z Zhou, W Chen, W Cui arXiv preprint arXiv:2311.03739, 2023	3	2023
Mostly Automated Verification of Liveness Properties for Distributed Protocols with Ranking Functions J Yao, R Tao, R Gu, J Nieh Proceedings of the ACM on Programming Languages 8 (POPL), 1028-1059, 2024		2024

The system can't perform the operation now. Try again later.

Articles 1–11

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors