News Recommendation and Filter Bubble. - Jianan Yao; Alexander G. Hauptmann (CIKM Workshops, 2018)

A Three-Dimensional Quasi-static Ultrasound Strain Imaging System Using A 6-DoF Robotic Arm. - Jianan Yao; Qinghua Huang; Xuelong Li 001 (ICARM, 2019)

CLN2INV: Learning Loop Invariants with Continuous Logic Networks. - Gabriel Ryan; Justin Wong; Jianan Yao; Ronghui Gu; Suman Jana (ICLR, 2020)

Learning nonlinear loop invariants with gated continuous logic networks. - Jianan Yao; Gabriel Ryan; Justin Wong; Suman Jana; Ronghui Gu (PLDI, 2020)

DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols. - Jianan Yao; Runzhou Tao; Ronghui Gu; Jason Nieh; Suman Jana; Gabriel Ryan (OSDI, 2021)

Gleipnir: toward practical error analysis for Quantum programs. - Runzhou Tao; Yunong Shi; Jianan Yao; John Hui; Frederic T. Chong; Ronghui Gu (PLDI, 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 (SOSP, 2021)

SciviK: A Versatile Framework for Specifying and Verifying Smart Contracts. - Shaokai Lin; Xinyuan Sun; Jianan Yao; Ronghui Gu (CoRR, 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)

DuoAI: Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols. - Jianan Yao; Runzhou Tao; Ronghui Gu; Jason Nieh (OSDI, 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 (PLDI, 2022)

Leveraging Large Language Models for Automated Proof Synthesis in Rust. - Jianan Yao; Ziqiao Zhou; Weiteng Chen; Weidong Cui (CoRR, 2023)

Detecting Buggy Contracts via Smart Testing. - Sally Junsong Wang; Jianan Yao; Kexin Pei; Hidedaki Takahashi; Junfeng Yang (CoRR, 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 024; Ziqiao Zhou; et al. (CoRR, 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., 2024)

A Robust and High Precision Algorithm for Elastic Scattering Problems from Cornered Domains. - Jianan Yao; Baoling Xie; Jun Lai (J. Sci. Comput., 2024)

Pinpointing Moisture: The Capacitive Detection for Standing Tree Health. - Jianan Yao; Zonglin Zhen; Huadong Xu; Liming Zhao; Yuying Duan; Xuhui Guo (Sensors, 2024)

Quantum Virtual Machines. - Runzhou Tao; Hongzheng Zhu; Jason Nieh; Jianan Yao; Ronghui Gu (OSDI, 2025)

Automated Verification of Safety and Liveness Properties for Distributed Protocols - Jianan Yao (2025)