31 citations · 33 across the 3 of their papers we have counts for
3 papers
cs.PL2024
Foundational Verification of Smart Contracts through Verified Compilation
Vilhelm Sjöberg, Kinnari Dave, Daniel Britten +6
Programs executed on a blockchain - smart contracts - have high financial stakes; their correctness is crucial. We argue, that this correctness needs to be foundational: correctnes…
cs.PL2019★ 2 cited
VST-A: A Foundationally Sound Annotation Verifier
Litao Zhou, Jianxing Qin, Qinshi Wang +2
Program verifiers for imperative languages such as C may be annotation-based, in which assertions and invariants are put into source files and then checked, or tactic-based, where…
cs.LG2017★ 31 cited
Improving Regret Bounds for Combinatorial Semi-Bandits with Probabilistically Triggered Arms and Its Applications
Qinshi Wang, Wei Chen
We study combinatorial multi-armed bandit with probabilistically triggered arms (CMAB-T) and semi-bandit feedback. We resolve a serious issue in the prior CMAB-T studies where the…