Institutional Knowledge at Singapore Management University Institutional Knowledge at Singapore Management University Compositional reasoning for shared-variable concurrent programs Compositional reasoning for shared-variable concurrent programs