Qinshi Wang

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 9

Top Topics

Influence Maximization

Automatic Annotation

Multi Armed Bandits

Top Venues

Proc. ACM Program. Lang.

Publications

Vilhelm Sjöberg, Kinnari Dave, Daniel Britten, Maria A Schett, Xinyuan Sun, Qinshi Wang, Sean Noble Anderson, Steve Reeves, Zhong Shao
Foundational Verification of Smart Contracts through Verified Compilation. CoRR (2024)
Litao Zhou, Jianxing Qin, Qinshi Wang, Andrew W. Appel, Qinxiang Cao
VST-A: A Foundationally Sound Annotation Verifier. Proc. ACM Program. Lang. 8 (POPL) (2024)
Qinshi Wang, Andrew W. Appel
A Solver for Arrays with Concatenation. J. Autom. Reason. 67 (1) (2023)
Qinshi Wang, Mengying Pan, Shengyi Wang, Ryan Doenges, Lennart Beringer, Andrew W. Appel
Foundational Verification of Stateful P4 Packet Processing. ITP (2023)
Joshua M. Cohen, Qinshi Wang, Andrew W. Appel
Verified Erasure Correction in Coq with MathComp and VST. CAV (2) (2022)
Qinshi Wang, Qinxiang Cao
VST-A: A Foundationally Sound Annotation Verifier. CoRR (2019)
Qinshi Wang, Wei Chen
Tighter Regret Bounds for Influence Maximization and Other Combinatorial Semi-Bandits with Probabilistically Triggered Arms. CoRR (2017)
Qinshi Wang, Wei Chen
Improving Regret Bounds for Combinatorial Semi-Bandits with Probabilistically Triggered Arms and Its Applications. NIPS (2017)
Wei Chen, Yajun Wang, Yang Yuan, Qinshi Wang
Combinatorial Multi-Armed Bandit and Its Extension to Probabilistically Triggered Arms. J. Mach. Learn. Res. 17 (2016)