Partitioned Memory Models for Program Analysis.

Wei Wang, Clark W. Barrett, Thomas Wies

Browse the full VMCAI paper archive.