Author:
Anderson Zachary R.,Gay David,Naik Mayur
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. PUSh;Proceedings of the 52nd Annual IEEE/ACM International Symposium on Microarchitecture;2019-10-12
2. Hamsaz: replication coordination analysis and synthesis;Proceedings of the ACM on Programming Languages;2019-01-02
3. Secure the Clones;Logical Methods in Computer Science;2012-05-31
4. Assumptions and Guarantees for Compositional Noninterference;2011 IEEE 24th Computer Security Foundations Symposium;2011-06
5. Composable specifications for structured shared-memory communication;ACM SIGPLAN Notices;2010-10-17