Cost analysis of nondeterministic probabilistic programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Peixin Wang, Hongfei Fu 0001, Amir Kafshdar Goharshady, Krishnendu Chatterjee, Xudong Qin, Wenjun Shi. Cost analysis of nondeterministic probabilistic programs. In Kathryn S. McKinley, Kathleen Fisher, editors, Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, Phoenix, AZ, USA, June 22-26, 2019. pages 204-220, ACM, 2019. [doi]

This author has not been identified. Look up 'Peixin Wang' in GoogleThis author has not been identified. Look up 'Hongfei Fu 0001' in GoogleThis author has not been identified. Look up 'Amir Kafshdar Goharshady' in GoogleThis author has not been identified. Look up 'Krishnendu Chatterjee' in GoogleThis author has not been identified. Look up 'Xudong Qin' in GoogleThis author has not been identified. Look up 'Wenjun Shi' in Google

runs on WebDSL