Abstract Semantic Diffing of Evolving Concurrent Programs.

Ahmed Bouajjani, Constantin Enea, Shuvendu K. Lahiri

Browse the full SAS paper archive.