EMME: A Formal Tool for ECMAScript Memory Model Evaluation.

Cristian Mattarei, Clark W. Barrett, Shu-yu Guo, Bradley Nelson, Ben Smith

Browse the full TACAS paper archive.