I'm writing the Rust specification in my free time, and I'm on the memory model team as it's initial member as well.