Chungha Sung, Shuvendu K. Lahiri, Constantin Enea, Chao Wang 0001
Datalog-based scalable semantic diffing of concurrent programs
ASE, 2018.
@inproceedings{ASE-2018-SungLEW,
author = "Chungha Sung and Shuvendu K. Lahiri and Constantin Enea and Chao Wang 0001",
booktitle = "{Proceedings of the 33rd International Conference on Automated Software Engineering}",
doi = "10.1145/3238147.3238211",
pages = "656--666",
publisher = "{ACM}",
title = "{Datalog-based scalable semantic diffing of concurrent programs}",
year = 2018,
}