Refinements assumptions Compilers for concurrent programs Prog. with data races has no semantics e.g. concurrent C++) [Boehm et al. PLDI08 Not guarantee correctness for racy programs Fine -grained obiects Accesses use same primitives(e.g. stack: push pop Not guarantee correctness when env can destroy obj More examples are in the thesis Env. of a thread cannot be arbitrarily bad• Compilers for concurrent programs – Prog. with data races has no semantics (e.g. concurrent C++) – Not guarantee correctness for racy programs • Fine-grained objects – Accesses use same primitives (e.g. stack: push & pop) – Not guarantee correctness when env. can destroy obj. • More examples are in the thesis … Env. of a thread cannot be arbitrarily bad ! [Boehm et al. PLDI’08] Refinement’s Assumptions