A Memory Model Sensitive Checker for C#2006-01-010 PRE AI DOI:10.1007/11813040_32OriginalOriginal request for helpShareSaveAbstract En