19 citations · 19 across the 1 of their papers we have counts for
2 papers
cs.PL2020★ 19 cited
Repairing and Mechanising the JavaScript Relaxed Memory Model
Conrad Watt, Christopher Pulte, Anton Podkopaev +5
Modern JavaScript includes the SharedArrayBuffer feature, which provides access to true shared memory concurrency. SharedArrayBuffers are simple linear buffers of bytes, and the Ja…
cs.LO2018
EMME: a formal tool for ECMAScript Memory Model Evaluation
Cristian Mattarei, Clark Barrett, Shu-yu Guo +3
Nearly all web-based interfaces are written in JavaScript. Given its prevalence, the support for high performance JavaScript code is crucial. The ECMA Technical Committee 39 (TC39)…