PFix: fixing concurrency bugs based on memory access patterns-Reference-Cited by-同舟云学术

PFix: fixing concurrency bugs based on memory access patterns

Published:2018-09-03 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering
language:
Short-container-title:

Author:

Lin Huarui¹,Wang Zan¹,Liu Shuang¹,Sun Jun²,Zhang Dongdi¹,Wei Guangning¹

Affiliation:

1. Tianjin University, China

2. Singapore University of Technology and Design, Singapore

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3238147.3238198

Reference51 articles.

1. 2011. The Pecan Benchmarks. http://www.cse.ust.hk/prism/pecan/#Experiment 2016. JaConTeBe Object Biography. http://sir.unl.edu/portal/bios/JaConTeBe.php 2018. Abstract Syntax Tree. http://www.eclipse.org/articles/article.php?file= Article-JavaCodeManipulation_AST/index.html 2018. The Fix page. https://github.com/PFixConcurrency/Fix 2018. The FixExamples page. https://github.com/PFixConcurrency/FixExamples 2018. The Soot GitHub Project. https://github.com/Sable/soot PFix: Fixing Concurrency Bugs Based on Memory Access Patterns ASE ’18 September 3–7 2018 Montpellier France 2011. The Pecan Benchmarks. http://www.cse.ust.hk/prism/pecan/#Experiment 2016. JaConTeBe Object Biography. http://sir.unl.edu/portal/bios/JaConTeBe.php 2018. Abstract Syntax Tree. http://www.eclipse.org/articles/article.php?file= Article-JavaCodeManipulation_AST/index.html 2018. The Fix page. https://github.com/PFixConcurrency/Fix 2018. The FixExamples page. https://github.com/PFixConcurrency/FixExamples 2018. The Soot GitHub Project. https://github.com/Sable/soot PFix: Fixing Concurrency Bugs Based on Memory Access Patterns ASE ’18 September 3–7 2018 Montpellier France

2. Inferring models of concurrent systems from logs of their behavior with CSight

3. Fixing deadlocks via lock pre-acquisitions

4. Adaptively generating high quality fixes for atomicity violations

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

1. A Hybrid Approach for Detecting Bugs in HPC Workloads;2023 IEEE 29th International Conference on Parallel and Distributed Systems (ICPADS);2023-12-17

2. SourcererJBF: A Java Build Framework For Large-Scale Compilation;ACM Transactions on Software Engineering and Methodology;2023-12-02

3. Compiler‐driven approach for automating nonblocking synchronization in concurrent data abstractions;Concurrency and Computation: Practice and Experience;2023-10-24

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

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