EAGER: A Python Program Analysis Infrastructure to Facilitate Better Data Processing

EAGER：Python 程序分析基础设施，促进更好的数据处理

• 批准号: 1748764
• 负责人: Xiangyu Zhang
• 金额: $ 14.7万
• 依托单位: Purdue University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2017
• 资助国家: 美国
• 起止时间: 2017-09-15 至 2019-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1748764&HistoricalAwards=false
• 关键词: EAGER; Python; Program; Analysis; Infrastructure

Python is the third most popular programming language, after C and Java,  and the most widely used language in Machine Learning and Data Science. Applications in Python are prone to human errors as much as those in other languages, or maybe more so due to the dynamic nature of Python. Therefore, tools to analyze, test, verify, and optimize Python applications are in a pressing need. Such tools are lagging or non-existent for Python. The root cause is the lack of infrastructure to support building practical and effective tools, which entails addressing the dynamic features of Python, such as dynamic typing, dynamic code loading/execution, and pervasive invocations to external library functions implemented in other languages. This project aims to explore the feasibility of building a Python program analysis infrastructure by developing two sample tools that rely upon a common set of infrastructural capabilities including the instrumentation, static analysis and symbolic analysis capabilities. The two sample tools are a data provenance tracking tool for machine learning applications and a bug finding tool to detect data format inconsistencies, which are the most dominant type of bugs in data processing. The provenance tool will demonstrate the importance of static analysis and program instrumentation, and the bug finding tool will demonstrate the importance of symbolic analysis. Both tools will illustrate the great benefits that can be brought to data scientists by advanced tools. In addition, they will illustrate that the aforementioned capabilities cannot be simply ported from existing infrastructures for other languages such as C and Java. The infrastructure will meet the pressing need of comprehensive tool building support for Python. A lot of cutting-edge synergistic research will be enabled across the CISE research community to serve data application programmers, data scientists and even end users.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.

Python 是继 C 和 Java 之后第三大流行的编程语言，也是机器学习和数据科学中使用最广泛的语言，Python 中的应用程序与其他语言中的应用程序一样容易出现人为错误，或者由于以下原因更容易出现人为错误。因此，分析、测试、验证和优化Python应用程序的工具对于Python来说是滞后的或不存在的，根本原因是缺乏支持构建实用和有效的基础设施。工具，这需要解决动态特征Python 的功能，例如动态类型、动态代码加载/执行以及对其他语言实现的外部库函数的普遍调用。​该项目旨在通过开发两个依赖于通用的基础设施功能集，包括检测、静态分析和符号分析功能，这两个示例工具是用于机器学习应用程序的经过数据验证的跟踪工具，以及用于检测数据格式不一致的错误查找工具，数据格式不一致是最常见的错误类型。数据来源工具将展示静态分析和程序检测的重要性，而错误查找工具将展示符号分析的重要性。此外，这两种工具都将展示高级工具可以给数据科学家带来的巨大好处。他们将说明，上述功能不能简单地从 C 和 Java 等其他语言的现有基础设施中移植，该基础设施将满足 Python 全面工具构建支持的迫切需求。使整个 CISE 研究社区能够服务该奖项反映了 NSF 的法定使命，并通过使用基金会的智力价值和更广泛的影响审查标准进行评估，被认为值得支持。

项目成果

ABS: Scanning Neural Networks for Back-doors by Artificial Brain Stimulation

ABS：通过人工大脑刺激扫描神经网络是否存在后门

• DOI: 10.1145/3319535.3363216
• 发表时间: 2019-11-06
• 期刊: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security
• 作者: Yingqi Liu;Wen;Guanhong Tao;Shiqing Ma;Yousra Aafer;X. Zhang
• 通讯作者: X. Zhang

LAMP: data provenance for graph based machine learning algorithms through derivative computation

LAMP：通过导数计算实现基于图的机器学习算法的数据来源

• DOI: 10.1145/3106237.3106291
• 发表时间: 2017-08-21
• 期刊: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering
• 作者: Shiqing Ma;Yousra Aafer;Zhaogui Xu;Wen;Juan Zhai;Yingqi Liu;X. Zhang
• 通讯作者: X. Zhang

NIC: Detecting Adversarial Samples with Neural Network Invariant Checking

NIC：通过神经网络不变检查检测对抗性样本

• DOI: 10.14722/ndss.2019.23415
• 发表时间: 2024-09-13
• 期刊: Proceedings 2019 Network and Distributed System Security Symposium
• 作者: Shiqing Ma;Yingqi Liu;Guanhong Tao;Wen;X. Zhang
• 通讯作者: X. Zhang