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]
@inproceedings{SungLEW18, title = {Datalog-based scalable semantic diffing of concurrent programs}, author = {Chungha Sung and Shuvendu K. Lahiri and Constantin Enea and Chao Wang 0001}, year = {2018}, doi = {10.1145/3238147.3238211}, url = {https://doi.org/10.1145/3238147.3238211}, researchr = {https://researchr.org/publication/SungLEW18}, cites = {0}, citedby = {0}, pages = {656-666}, booktitle = {Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering}, editor = {Marianne Huchard and Christian Kästner and Gordon Fraser}, publisher = {ACM}, }