Datalog-based scalable semantic diffing of concurrent programs

• Chungha Sung ,
• Shuvendu Lahiri ,
• Constantin Enea ,
• Chao Wang

International Conference on Automated Software Engineering (ASE ’18) | September 2018

Published by ACM

Publication | Publication