Collaborated with:
Peixin Wang H.F.0001 A.K.Goharshady K.Chatterjee Wenjun Shi
Talks about:
nondeterminist (1) probabilist (1) program (1) analysi (1) cost (1)
Person: Xudong Qin
DBLP: Qin:Xudong
Contributed to:
Wrote 1 papers:
- PLDI-2019-Wang0GCQS #cost analysis #nondeterminism #probability #source code
- Cost analysis of nondeterministic probabilistic programs (PW, HF0, AKG, KC, XQ, WS), pp. 204–220.