Adaptively generating high quality fixes for atomicity violations-Reference-Cited by-同舟云学术

Adaptively generating high quality fixes for atomicity violations

Published:2017-08-21 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering
language:
Short-container-title:

Author:

Cai Yan¹,Cao Lingwei²,Zhao Jing³

Affiliation:

1. Institute of Software at Chinese Academy of Sciences, China

2. Institute of Software at Chinese Academy of Sciences, China / University at Chinese Academy of Sciences, China

3. Harbin Engineering University, China

Funder

Youth Innovation Promotion Association of the Chinese Academy of Sciences

National 973 program of China

National Natural Science Foundation of China

Publisher

ACM

Link

Reference61 articles.

1. LLVM Compiler Infrastructure version 3.6 http://llvm.org. LLVM Compiler Infrastructure version 3.6 http://llvm.org.

2. Concurrency Bugs https://github.com/jieyu/concurrency-bugs. Concurrency Bugs https://github.com/jieyu/concurrency-bugs.

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Patching Locking Bugs Statically with Crayons;ACM Transactions on Software Engineering and Methodology;2023-04-26

2. Hippodrome : Data Race Repair Using Static Analysis Summaries;ACM Transactions on Software Engineering and Methodology;2023-03-31

5. Towards generating thread-safe classes automatically;Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering;2020-12-21