Qinshi Wang

According to our database, Qinshi Wang authored at least 10 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

VST-A: A Foundationally Sound Annotation Verifier.

Litao Zhou, Jianxing Qin, Qinshi Wang, Andrew W. Appel, Qinxiang Cao

Proc. ACM Program. Lang., January, 2024

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

CoRR, 2024

2023

Foundationally Verified Data Plane Programming

Qinshi Wang

PhD thesis, 2023

A Solver for Arrays with Concatenation.

Qinshi Wang, Andrew W. Appel

J. Autom. Reason., 2023

Foundational Verification of Stateful P4 Packet Processing.

Qinshi Wang, Mengying Pan, Shengyi Wang, Ryan Doenges, Lennart Beringer, Andrew W. Appel

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

2022

Verified Erasure Correction in Coq with MathComp and VST.

Joshua M. Cohen, Qinshi Wang, Andrew W. Appel

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2019

VST-A: A Foundationally Sound Annotation Verifier.

Qinshi Wang, Qinxiang Cao

CoRR, 2019

2017

Tighter Regret Bounds for Influence Maximization and Other Combinatorial Semi-Bandits with Probabilistically Triggered Arms.

Qinshi Wang, Wei Chen

CoRR, 2017

Improving Regret Bounds for Combinatorial Semi-Bandits with Probabilistically Triggered Arms and Its Applications.

Qinshi Wang, Wei Chen

Proceedings of the Advances in Neural Information Processing Systems 30: Annual Conference on Neural Information Processing Systems 2017, 2017

2016

Combinatorial Multi-Armed Bandit and Its Extension to Probabilistically Triggered Arms.

Wei Chen, Yajun Wang, Yang Yuan, Qinshi Wang

J. Mach. Learn. Res., 2016