Affiliation:
1. Nanjing University, China
2. Purdue University, USA
Funder
National Basic Research Program of China
National Natural Science Foundation of China
Office of Naval Research
China Scholarship Council
Defense Advanced Research Projects Agency
Cisco Systems
National Science Foundation
Reference28 articles.
1. IEEE Spectrum. http://spectrum.ieee.org/computing/ software/the-2015-top-ten-programming-languages. IEEE Spectrum. http://spectrum.ieee.org/computing/ software/the-2015-top-ten-programming-languages.
2. PyChecker. http://sourceforge.net/projects/pychecker/. PyChecker. http://sourceforge.net/projects/pychecker/.
3. PyLint. http://www.pylint.org/. PyLint. http://www.pylint.org/.
4. Sound predictive race detection in polynomial time
5. Maximal sound predictive race detection with control flow abstraction
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. SelfPiCo: Self-Guided Partial Code Execution with LLMs;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11
2. DyPyBench: A Benchmark of Executable Python Software;Proceedings of the ACM on Software Engineering;2024-07-12
3. Risky Dynamic Typing-related Practices in Python: An Empirical Study;ACM Transactions on Software Engineering and Methodology;2024-06-27
4. PoE: A Domain-Specific Language for Exploitation;2024 Silicon Valley Cybersecurity Conference (SVCC);2024-06-17
5. Generating Python Type Annotations from Type Inference: How Far Are We?;ACM Transactions on Software Engineering and Methodology;2024-06-03