Datalog-based scalable semantic diffing of concurrent programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Chungha Sung, Shuvendu K. Lahiri, Constantin Enea, Chao Wang 0001. Datalog-based scalable semantic diffing of concurrent programs. In Marianne Huchard, Christian Kästner, Gordon Fraser, editors, Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering. pages 656-666, ACM, 2018. [doi]

This author has not been identified. Look up 'Chungha Sung' in GoogleThis author has not been identified. Look up 'Shuvendu K. Lahiri' in GoogleThis author has not been identified. Look up 'Constantin Enea' in GoogleThis author has not been identified. Look up 'Chao Wang 0001' in Google

runs on WebDSL