Author:
Burnim Jacob,Necula George,Sen Koushik
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Root Causing Linearizability Violations;Computer Aided Verification;2020
2. Sound, complete, and tractable linearizability monitoring for concurrent collections;Proceedings of the ACM on Programming Languages;2018-01
3. Robust programs with filtered iterators;Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering;2017-10-23
4. Symbolic abstract data type inference;ACM SIGPLAN Notices;2016-04-08
5. Symbolic abstract data type inference;Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages;2016-01-11