Author:
Burnim Jacob,Elmas Tayfun,Necula George,Sen Koushik
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Towards Self-Verification in Finite Difference Code Generation;Proceedings of the First International Workshop on Software Correctness for HPC Applications;2017-11-12
2. Lightweight runtime checking of C programs with RTC;Computer Languages, Systems & Structures;2016-04
3. Runtime checking C programs;Proceedings of the 30th Annual ACM Symposium on Applied Computing;2015-04-13
4. Turning nondeterminism into parallelism;ACM SIGPLAN Notices;2013-11-12
5. Turning nondeterminism into parallelism;Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications;2013-10-29