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]
Abstract is missing.