Author:
Currie David W.,Hu Alan J.,Rajan Sreeranga
Cited by
31 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Bounded Verification of Multi-threaded Programs via Lazy Sequentialization;ACM Transactions on Programming Languages and Systems;2022-03-31
2. Sound Loop Superoptimization for Google Native Client;ACM SIGPLAN Notices;2017-05-12
3. Sound Loop Superoptimization for Google Native Client;ACM SIGARCH Computer Architecture News;2017-05-11
4. Sound Loop Superoptimization for Google Native Client;ACM SIGOPS Operating Systems Review;2017-04-04
5. Sound Loop Superoptimization for Google Native Client;Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems;2017-04-04