Supplementary material for Mixed-size Concurrency: ARM, POWER, C/C++11, and SC Web interface for running the models: ARMv8 (Flowing) - http://www.cl.cam.ac.uk/~sf502/popl17/flowing/index.html ARMv8 (POP) - http://www.cl.cam.ac.uk/~sf502/popl17/pop/index.html POWER - http://www.cl.cam.ac.uk/~sf502/popl17/power/index.html sc-proofs.pdf - fully barriered POWER and ARM programs are BSC+SCA proof (Section 4) cmm-mixed-model.pdf - the mixed size C/C++11 model (Section 5) compilation-proof.txt - mixed-size C/C++11 to POWER proof (Section 6) observations.pdf - tables summarising the hardware observations and model results for the litmus tests mentioned by name in the paper mixed-size-hand-tests//src/*.litmus - all the litmus tests mentioned by name in the paper mixed-size-hand-tests//hw/ - observable final states for the above tests, running on hardware implementations mixed-size-hand-tests/POWER/model - allowed final states for the mixed-size-hand-tests/AArch64/model/flowing above tests, running on our models mixed-size-hand-tests/AArch64/model/pop