Jianan Yao

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 19

Top Topics

Formal Verification

Inductive Reasoning

Top Venues

Publications

Jianan Yao, Baoling Xie, Jun Lai
A Robust and High Precision Algorithm for Elastic Scattering Problems from Cornered Domains. J. Sci. Comput. 98 (3) (2024)
Jianan Yao, Runzhou Tao, Ronghui Gu, Jason Nieh
Mostly Automated Verification of Liveness Properties for Distributed Protocols with Ranking Functions. Proc. ACM Program. Lang. 8 (POPL) (2024)
Jianan Yao, Zonglin Zhen, Huadong Xu, Liming Zhao, Yuying Duan, Xuhui Guo
Pinpointing Moisture: The Capacitive Detection for Standing Tree Health. Sensors 24 (13) (2024)
Jianan Yao, Ziqiao Zhou, Weiteng Chen, Weidong Cui
Leveraging Large Language Models for Automated Proof Synthesis in Rust. CoRR (2023)
Jianan Yao, Baoling Xie, Jun Lai
A robust and high precision algorithm for elastic scattering problems from cornered domains. CoRR (2023)
Runzhou Tao, Yunong Shi, Jianan Yao, Xupeng Li, Ali Javadi-Abhari, Andrew W. Cross, Frederic T. Chong, Ronghui Gu
Giallar: push-button verification for the qiskit Quantum compiler. PLDI (2022)
Jianan Yao, Runzhou Tao, Ronghui Gu, Jason Nieh
DuoAI: Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols. OSDI (2022)
Runzhou Tao, Yunong Shi, Jianan Yao, Xupeng Li, Ali Javadi-Abhari, Andrew W. Cross, Frederic T. Chong, Ronghui Gu
Giallar: Push-Button Verification for the Qiskit Quantum Compiler. CoRR (2022)
Jianan Yao, Runzhou Tao, Ronghui Gu, Jason Nieh, Suman Jana, Gabriel Ryan
DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols. OSDI (2021)
Shaokai Lin, Xinyuan Sun, Jianan Yao, Ronghui Gu
SciviK: A Versatile Framework for Specifying and Verifying Smart Contracts. CoRR (2021)
Runzhou Tao, Jianan Yao, Xupeng Li, Shih-Wei Li, Jason Nieh, Ronghui Gu
Formal Verification of a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware. SOSP (2021)
Runzhou Tao, Yunong Shi, Jianan Yao, John Hui, Frederic T. Chong, Ronghui Gu
Gleipnir: Toward Practical Error Analysis for Quantum Programs (Extended Version). CoRR (2021)
Runzhou Tao, Yunong Shi, Jianan Yao, John Hui, Frederic T. Chong, Ronghui Gu
Gleipnir: toward practical error analysis for Quantum programs. PLDI (2021)
Jianan Yao, Gabriel Ryan, Justin Wong, Suman Jana, Ronghui Gu
Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks. CoRR (2020)
Jianan Yao, Gabriel Ryan, Justin Wong, Suman Jana, Ronghui Gu
Learning nonlinear loop invariants with gated continuous logic networks. PLDI (2020)
Gabriel Ryan, Justin Wong, Jianan Yao, Ronghui Gu, Suman Jana
CLN2INV: Learning Loop Invariants with Continuous Logic Networks. ICLR (2020)
Jianan Yao, Qinghua Huang, Xuelong Li
A Three-Dimensional Quasi-static Ultrasound Strain Imaging System Using A 6-DoF Robotic Arm. ICARM (2019)
Gabriel Ryan, Justin Wong, Jianan Yao, Ronghui Gu, Suman Jana
CLN2INV: Learning Loop Invariants with Continuous Logic Networks. CoRR (2019)
Jianan Yao, Alexander G. Hauptmann
News Recommendation and Filter Bubble. CIKM Workshops (2018)