Registered user since Mon 20 Apr 2020
Name:Xingyu Xie
Contributions
PLDI 2023 | On lightweight Hoare logic of probabilistic programs: a bound tighter than the union bound | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Using general profile
Registered user since Mon 20 Apr 2020
Contributions
PLDI 2023 | On lightweight Hoare logic of probabilistic programs: a bound tighter than the union bound | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |