Affiliation:
1. University of Illinois at Urbana-Champaign
Funder
(Romanian) SMISCSNR 602-12516 contract
Rockwell Collins
Division of Computing and Communication Foundations
NSA
Defense Advanced Research Projects Agency
Reference39 articles.
1. https://bugs.eclipse.org/bugs/show_bug.cgi?id=419383. https://bugs.eclipse.org/bugs/show_bug.cgi?id=419383.
2. https://bugs.eclipse.org/bugs/show_bug.cgi?id=419543. https://bugs.eclipse.org/bugs/show_bug.cgi?id=419543.
3. http://www.eclipse.org/virgo/. http://www.eclipse.org/virgo/.
4. Barrier inference
5. The DaCapo benchmarks
Cited by
98 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications;Proceedings of the ACM on Programming Languages;2024-06-20
2. Accurate Data Race Prediction in the Linux Kernel through Sparse Fourier Learning;Proceedings of the ACM on Programming Languages;2024-04-29
3. Optimistic Prediction of Synchronization-Reversal Data Races;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12
4. PredRacer: Predictively Detecting Data Races in Android Applications;2024 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER);2024-03-12
5. Reorder Pointer Flow in Sound Concurrency Bug Prediction;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-02-06