Page 136 - 《软件学报》2021年第7期

2054 Journal of Software 软件学报 Vol.32, No.7, July 2021

[12] Zhang T, Jung C, Lee D. ProRace: Practical data race detection for production use. ACM SIGPLAN Notices, 2017,52(4):149–162.
[13] Blackshear S, Gorogiannis N, O’Hearn PW, Sergey I. RacerD: Compositional static race detection. In: Proc. of the ACM on
Programming Languages (OOPSLA). 2018. 128.
[14] Di P, Sui Y, Ye D, Xue J. Region-based may-happen-inparallel analysis for C programs. In: Proc. of the 44th Int’l Conf. on Parallel
Processing (ICPP). IEEE, 2015. 889–898.
[15] Zhan S, Huang J. ECHO: Instantaneous in situ race detection in the IDE. In: Proc. of the 24th ACM SIGSOFT Int’l Symp. on
Foundations of Software Engineering (FSE). ACM, 2016. 775–786.
[16] Dillig I, Dillig T, Aiken A. Sound, complete and scalable path-sensitive analysis. ACM SIGPLAN Notices, 2008,43(6):270–280.
[17] Shi Q, Xiao X, Wu R, Zhou J, Fan G, Zhang C. Pinpoint: Fast and precise sparse value flow analysis for million lines of code. In:
Proc. of the 39th ACM SIGPLAN Conf. on Programming Language Design and Implementation (PLDI). ACM, 2018. 693–706.
[18] Sui Y, Xue J. SVF: Interprocedural static value-flow analysis in LLVM. In: Proc. of the 25th Int’l Conf. on Compiler Construction.
ACM, 2016. 265–266.
[19] Agarwal S, Barik R, Sarkar V, Shyamasundar RK. May-happen-in-parallel analysis of X10 programs. In: Proc. of the 12th ACM
SIGPLAN Symp. on Principles and Practice of Parallel Programming. ACM, 2007. 183–193.
[20] Albert E, Genaim S, Gordillo P. May-happen-in-parallel analysis for asynchronous programs with inter-procedural synchronization.
In: Proc. of the Int’l Static Analysis Symp. Springer-Verlag, 2015. 72–89.
[21] Barik R. Efficient computation of may-happen-in-parallel information for concurrent Java programs. In: Proc. of the Int’l
Workshop on Languages and Compilers for Parallel Computing. Springer-Verlag, 2005. 152–169.
[22] Naumovich G, Avrunin GS, Clarke LA. An efficient algorithm for computing MHP information for concurrent Java programs. In:
Proc. of the Joint Meeting of the European Software Engineering Conf. and the ACM SIGSOFT Symp. on the Foundations of
Software Engineering (ESEC/FSE). Springer-Verlag, 1999. 338–354.
[23] Sankar A, Chakraborty S, Nandivada VK. Improved MHP analysis. In: Proc. of the 25th Int’l Conf. on Compiler Construction.
ACM, 2016. 207–217.
[24] Cherem S, Princehouse L, Rugina R. Practical memory leak detection using guarded value-flow analysis. ACM SIGPLAN Notices,
2007,42(6):480–491.
[25] The LLVM Compiler Infrastructure. 2020. http://llvm.org
[26] Moura LD, Bjørner N. Z3: An efficient SMT solver. In: Proc. of the Int’l Conf. on Tools and Algorithms for the Construction and
Analysis of Systems. Springer-Verlag, 2008. 337–340.
[27] Writing an LLVM Pass. 2020. http://llvm.org/docs/WritingAnLLVMPass.html
[28] Barney B. POSIX threads programming. 2017. https://computing.llnl.gov/tutorials/pthreads/
[29] Thread—C++ Reference. 2020. http://www.cplusplus.com/reference/thread/thread/
[30] Xie Y, Aiken A. Saturn: A SAT-based tool for bug detection. In: Proc. of the Int’l Conf. on Computer Aided Verification (CAV).
Springer-Verlag, 2005. 139–143.
[31] Joshi S, Shyamasundar RK, Aggarwal SK. A new method of MHP analysis for languages with dynamic barriers. In: Proc. of the
26th IEEE Int’l Parallel and Distributed Processing Symp. Workshops & PhD Forum (IPDPSW). IEEE, 2012. 519–528.
[32] Sui Y, Di P, Xue J. Sparse flow-sensitive pointer analysis for multithreaded programs. In: Proc. of the Int’l Symp. on Code
Generation and Optimization. ACM, 2016. 160–170.
[33] Engler D, Ashcraft K. RacerX: Effective, static detection of race conditions and deadlocks. ACM SIGOPS Operating Systems
Review, 2003,37(5):237–252.
[34] Li Y, Liu B, Huang J. SWORD: A scalable whole program race detector for Java. In: Proc. of the 41st Int’l Conf. on Software
Engineering: Companion Proc. IEEE, 2019. 75–78.
[35] Naik M, Aiken A, Whaley J. Effective static race detection for Java. In: Proc. of the 27th ACM SIGPLAN Conf. on Programming
Language Design and Implementation (PLDI). ACM, 2006. 308319.
[36] Radoi C, Dig D. Practical static race detection for Java parallel loops. In: Proc. of the Int’l Symp. on Software Testing and Analysis
(ISSTA). ACM, 2013. 178–190.