paper-conference

Mostly Automated Verification of Liveness Properties for Distributed Protocols with Ranking Function
Jianan Yao, Runzhou Tao, Ronghui Gu, Jason Nieh
PDF Code
DuoAI: Fast, automated inference of inductive invariants for verifying distributed protocols
Jianan Yao, Runzhou Tao, Ronghui Gu, Jason Nieh
PDF Code
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
PDF Code
Formal Verification of a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware
Runzhou Tao, Jianan Yao, Xupeng Li, Shih-Wei Li, Jason Nieh, Ronghui Gu
PDF Code
DistAI: Data-driven automated invariant learning for distributed protocols
Jianan Yao, Runzhou Tao, Ronghui Gu, Jason Nieh, Suman Jana, Gabriel Ryan
PDF Code
Gleipnir: toward practical error analysis for Quantum programs
Runzhou Tao, Yunong Shi, Jianan Yao, John Hui, Frederic T Chong, Ronghui Gu
PDF Code
CLN2INV: Learning Loop Invariants with Continuous Logic Networks
Gabriel Ryan, Justin Wong, Jianan Yao, Ronghui Gu, Suman Jana
PDF Code
Learning nonlinear loop invariants with gated continuous logic networks
Jianan Yao, Gabriel Ryan, Justin Wong, Suman Jana, Ronghui Gu
PDF Code