Search for persons
X
?
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation ,
3
Sequential reasoning for optimizing compilers under weak me..:
, In:
?
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation ,
6
Modular data-race-freedom guarantees in the promising seman..:
, In:
?
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation ,
7
Revamping hardware persistency models: view-based and axiom..:
, In:
?
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation ,
8
Promising 2.0: global optimizations in relaxed memory concu..:
, In:
?
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation ,
11