Follow
Jianan Yao
Jianan Yao
Amazon Web Services
Verified email at columbia.edu - Homepage
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
662020
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
622020
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
612021
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
362022
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
352022
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
352021
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
182021
Leveraging Large Language Models for Automated Proof Synthesis in Rust
J Yao, Z Zhou, W Chen, W Cui
arXiv preprint arXiv:2311.03739, 2023
132023
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
102024
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
82021
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
52022
Autoverus: Automated proof generation for rust code
C Yang, X Li, MRH Misu, J Yao, W Cui, Y Gong, C Hawblitzel, S Lahiri, ...
arXiv preprint arXiv:2409.13082, 2024
22024
Automated Verification of Safety and Liveness Properties for Distributed Protocols
J Yao
Columbia University, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–13