Dear all, we've released a web-interface version of a tool for interactive exploration of our POWER and ARM memory models, together with updated libraries of litmus tests and experimental results: http://www.cl.cam.ac.uk/~pes20/ppcmem/help.html feedback welcome, as usual. Peter