Xingyu Xie -

Registered user since Mon 20 Apr 2020

Name:Xingyu Xie

Country:China

Affiliation:Tsinghua University

GitHub: https://github.com/namasikanam

Research interests:Formal Verification for Many Things (Cryptography, Probabilistic Programs, ...)

Contributions

2023

PLDI

Author of On lightweight Hoare logic of probabilistic programs: a bound tighter than the union bound within the SRC-track