Search for persons
X
?
Languages and Compilers for Parallel Computing; Lecture Notes in Computer Science ,
5
COMET: A Domain-Specific Compilation of High-Performance Co..:
, In:
?
Proceedings of the 6th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming ,
8
Toward generalized tensor algebra for ab initio quantum che..:
, In:
?
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering ,
11
Detecting JavaScript races that matter:
, In:
?
Proceedings of the First Workshop on Principles and Practice of Eventual Consistency ,
12
Towards verifying eventually consistent applications:
, In:
?
Proceedings of the Workshop on Dynamic Languages and Applications ,
13