Combinatorial Multi-Armed Bandit and Its Extension to Probabilistically Triggered Arms. - Wei Chen 013; Yajun Wang 001; Yang Yuan; Qinshi Wang (J. Mach. Learn. Res., 2016)

Improving Regret Bounds for Combinatorial Semi-Bandits with Probabilistically Triggered Arms and Its Applications. - Qinshi Wang; Wei Chen 013 (NIPS, 2017)

Tighter Regret Bounds for Influence Maximization and Other Combinatorial Semi-Bandits with Probabilistically Triggered Arms. - Qinshi Wang; Wei Chen 013 (CoRR, 2017)

VST-A: A Foundationally Sound Annotation Verifier. - Qinshi Wang; Qinxiang Cao (CoRR, 2019)

Verified Erasure Correction in Coq with MathComp and VST. - Joshua M. Cohen; Qinshi Wang; Andrew W. Appel (CAV (2), 2022)

Foundational Verification of Stateful P4 Packet Processing. - Qinshi Wang; Mengying Pan; Shengyi Wang; Ryan Doenges; Lennart Beringer; Andrew W. Appel (ITP, 2023)

A Solver for Arrays with Concatenation. - Qinshi Wang; Andrew W. Appel (J. Autom. Reason., 2023)

Foundationally Verified Data Plane Programming - Qinshi Wang (2023)

Foundational Verification of Smart Contracts through Verified Compilation. - Vilhelm Sjöberg; Kinnari Dave; Daniel Britten; Maria A Schett; Xinyuan Sun; Qinshi Wang; Sean Noble Anderson; Steve Reeves; Zhong Shao 001 (CoRR, 2024)

VST-A: A Foundationally Sound Annotation Verifier. - Litao Zhou; Jianxing Qin; Qinshi Wang; Andrew W. Appel; Qinxiang Cao (Proc. ACM Program. Lang., 2024)