Shaked Flur | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Stephen Dolan
6 publications
Conrad Watt
6 publications
Sarah de Haas
4 publications
Anton Podkopaev
4 publications
Ben Laurie
4 publications
Jean Pichon-Pharabod
2 publications
Maritza Johnson
2 publications
Alastair Reid
2 publications
Shu-yu Guo
2 publications
Christopher Pulte
2 publications
Guillaume Barbier
1 publication

research

∙ 10/30/2020

Towards making formal methods normal: meeting developers where they are

Formal verification of software is a bit of a niche activity: it is only...

0 Alastair Reid, et al. ∙

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. ∙