Search for persons
X
?
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation ,
9
Repairing and mechanising the JavaScript relaxed memory mod..:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
11
EMME: A Formal Tool for ECMAScript Memory Model Evaluation:
, In:
?
Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation ,
13