Shu-yu Guo | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Clark Barrett
54 publications
Stephen Dolan
6 publications
Conrad Watt
6 publications
Anton Podkopaev
4 publications
Bradley Nelson
4 publications
Ben Smith
3 publications
Shaked Flur
2 publications
Jean Pichon-Pharabod
2 publications
Christopher Pulte
2 publications
Guillaume Barbier
1 publication
Cristian Mattarei
1 publication

research

∙ 05/21/2020

Repairing and Mechanising the JavaScript Relaxed Memory Model

Modern JavaScript includes the SharedArrayBuffer feature, which provides...

0 Conrad Watt, et al. ∙

research

∙ 01/30/2018

EMME: a formal tool for ECMAScript Memory Model Evaluation

Nearly all web-based interfaces are written in JavaScript. Given its pre...

0 Cristian Mattarei, et al. ∙

Success!

An error occurred