From Array Domains to Abstract Interpretation Under Store-Buffer-Based Memory Models.

Thibault Suzanne, Antoine Min

Browse the full SAS paper archive.