Search for persons
X
?
Proceedings of the 33rd ACM SIGPLAN International Conference on Compiler Construction ,
1
FlowProf: Profiling Multi-threaded Programs using Informati..:
, In:
?
Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems ,
2
Yashme: detecting persistency races:
, In:
?
Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation ,
3
Stateful Dynamic Partial Order Reduction for Model Checking..:
, In:
?
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation ,
4
Checking robustness to weak persistency models:
, In:
?
Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems ,
5
C11Tester: a race detector for C/C++ atomics:
, In:
?
Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems ,
6
Jaaru: efficiently model checking persistent memory program:
, In:
?
Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering ,
8
Understanding and automatically detecting conflicting inter..:
, In:
?
Proceedings of the 27th ACM Symposium on Operating Systems Principles ,
10
Gerenuk : thin computation over big native data using sp..:
, In:
?
Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems ,
11