Jianan Yao

According to our database, Jianan Yao authored at least 17 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Pinpointing Moisture: The Capacitive Detection for Standing Tree Health.

Jianan Yao, Zonglin Zhen, Huadong Xu, Liming Zhao, Yuying Duan, Xuhui Guo

Sensors, July, 2024

A Robust and High Precision Algorithm for Elastic Scattering Problems from Cornered Domains.

Jianan Yao, Baoling Xie, Jun Lai

J. Sci. Comput., March, 2024

Mostly Automated Verification of Liveness Properties for Distributed Protocols with Ranking Functions.

Jianan Yao, Runzhou Tao, Ronghui Gu, Jason Nieh

Proc. ACM Program. Lang., January, 2024

AutoVerus: Automated Proof Generation for Rust Code.

Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Jianan Yao, Weidong Cui, Yeyun Gong, Chris Hawblitzel, Shuvendu K. Lahiri, Jacob R. Lorch, Shuai Lu, Fan Yang, Ziqiao Zhou, Shan Lu

CoRR, 2024

Detecting Buggy Contracts via Smart Testing.

Sally Junsong Wang, Jianan Yao, Kexin Pei, Hidedaki Takahashi, Junfeng Yang

CoRR, 2024

2023

Leveraging Large Language Models for Automated Proof Synthesis in Rust.

Jianan Yao, Ziqiao Zhou, Weiteng Chen, Weidong Cui

CoRR, 2023

2022

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

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

DuoAI: Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols.

Jianan Yao, Runzhou Tao, Ronghui Gu, Jason Nieh

Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, 2022

2021

Gleipnir: Toward Practical Error Analysis for Quantum Programs (Extended Version).

Runzhou Tao, Yunong Shi, Jianan Yao, John Hui, Frederic T. Chong, Ronghui Gu

CoRR, 2021

SciviK: A Versatile Framework for Specifying and Verifying Smart Contracts.

Shaokai Lin, Xinyuan Sun, Jianan Yao, Ronghui Gu

CoRR, 2021

Formal Verification of a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware.

Runzhou Tao, Jianan Yao, Xupeng Li, Shih-Wei Li, Jason Nieh, Ronghui Gu

Proceedings of the SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, 2021

Gleipnir: toward practical error analysis for Quantum programs.

Runzhou Tao, Yunong Shi, Jianan Yao, John Hui, Frederic T. Chong, Ronghui Gu

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols.

Jianan Yao, Runzhou Tao, Ronghui Gu, Jason Nieh, Suman Jana, Gabriel Ryan

Proceedings of the 15th USENIX Symposium on Operating Systems Design and Implementation, 2021

2020

Learning nonlinear loop invariants with gated continuous logic networks.

Jianan Yao, Gabriel Ryan, Justin Wong, Suman Jana, Ronghui Gu

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

CLN2INV: Learning Loop Invariants with Continuous Logic Networks.

Gabriel Ryan, Justin Wong, Jianan Yao, Ronghui Gu, Suman Jana

Proceedings of the 8th International Conference on Learning Representations, 2020

2019

A Three-Dimensional Quasi-static Ultrasound Strain Imaging System Using A 6-DoF Robotic Arm.

Jianan Yao, Qinghua Huang, Xuelong Li

Proceedings of the 4th IEEE International Conference on Advanced Robotics and Mechatronics, 2019

2018

News Recommendation and Filter Bubble.

Jianan Yao, Alexander G. Hauptmann

Proceedings of the CIKM 2018 Workshops co-located with 27th ACM International Conference on Information and Knowledge Management (CIKM 2018), 2018