Ivy: safety verification by interactive generalization - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Oded Padon, Kenneth L. McMillan, Aurojit Panda, Mooly Sagiv, Sharon Shoham. Ivy: safety verification by interactive generalization. In Chandra Krintz, Emery Berger, editors, Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2016, Santa Barbara, CA, USA, June 13-17, 2016. pages 614-630, ACM, 2016. [doi]

This author has not been identified. Look up 'Oded Padon' in GoogleThis author has not been identified. Look up 'Kenneth L. McMillan' in GoogleThis author has not been identified. Look up 'Aurojit Panda' in GoogleThis author has not been identified. Look up 'Mooly Sagiv' in GoogleThis author has not been identified. Look up 'Sharon Shoham' in Google

runs on WebDSL