@inproceedings{chunghasungandlahiri2018datalog-based,
author = {, Chungha Sung and Lahiri, Shuvendu and , Constantin Enea and , Chao Wang},
title = {Datalog-based scalable semantic diffing of concurrent programs},
booktitle = {International Conference on Automated Software Engineering (ASE ’18)},
year = {2018},
month = {September},
publisher = {ACM},
url = {http://approjects.co.za/?big=en-us/research/publication/datalog-based-scalable-semantic-diffing-of-concurrent-programs/},
edition = {Proceedings of the 2018 33rd ACM/IEEE International Conference on Automated Software Engineering (ASE ’18)},
}