SHF: Medium: Spectral Profiling: Understanding Software Performance without Code Instrumentation
SHF: Medium: Spectral Profiling: Understanding Software Performance without Code Instrumentation
批准号:
1563991
负责人:
Alessandro Orso
金额:
$85.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2016
资助国家:
美国
项目状态:
已结题
起止时间:
2016-07-15 至 2022-06-30
中文摘要
诸如剖析程序执行的动态分析被广泛使用,因为它们可以度量软件系统运行时行为的各个方面,并且在软件工程中有广泛的应用。这些分析通常通过向软件添加探测来执行,这会增加空间/时间开销,具有侵入性,并可能对软件行为产生负面影响。为了解决这些问题,我们提出了一种新的方法,通过利用计算机在执行代码时产生的电磁辐射,允许准确和非侵入性地分析软件行为。我们的方法可以通过简单地将设备放在系统旁边来收集关于软件系统的运行时信息。该项目将结合各种机器学习和静态分析技术,为不同的代码模式构建可能的电磁签名,调查哪种代码粒度提供了最准确的电磁发射与代码匹配,并探索在运行时执行这种匹配的自适应和分层技术。这项研究本质上是跨学科的,有望在软件工程、编程语言、计算机体系结构和电磁学等几个结合领域开辟新天地并产生更广泛的影响。与以前的电磁发射分析工作不同,我们的方法将收集足够细粒度的运行时信息,以衡量短语句序列的执行情况,如果不是单个指令的话。这将使我们能够将我们的方法应用于几个软件工程任务。事实上,如果成功,这项研究将提供坚实的概念基础,其他研究人员将能够利用这一基础,并研究一套建立在此基础上的特定技术和工具,以支持零开销性能测量、调试和异常检测等任务。
英文摘要
Dynamic analyses such as profiling program execution are widely used because they can measure various aspects of the runtime behavior of a software system and have a wide range of applications in software engineering. These analyses are typically carried out by adding probes to the software, which imposes space/time overhead, is intrusive, and can negatively affect software behavior. To address these issues, we propose a novel approach that allows for analyzing software behavior accurately and non-intrusively by leveraging the electromagnetic emissions produced by a computer as it executes code. Our approach can collect runtime information about a software system by simply placing a device next to the system. It can thus not only enable profiling for a variety of software systems for which this was previously impossible (e.g., embedded systems), but also benefit dynamic analyses in more traditional contexts.This project will combine various machine learning and static analysis techniques to build likely electromagnetic signatures for different code patterns, investigate which code granularity provides the most accurate matching of electromagnetic emissions to code, and explore adaptive and hierarchical techniques for performing this matching at runtime. This research is inherently interdisciplinary and promises to break new ground and have broader impact in several combined areas, including software engineering, programming languages, computer architecture, and electromagnetics. Unlike previous work on electromagnetic emissions analysis, our approach will collect runtime information that is fine-grained enough to measure the execution of short sequences of statements, if not individual instructions. This will let us apply our approach to several software engineering tasks. In fact, if successful, this research will both provide a solid conceptual foundation, which other researchers will be able to leverage, and investigate a set of specific techniques and tools that build on this foundation to support tasks such as zero-overhead performance measurement, debugging, and anomaly detection.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Collaborative Research: SHF: Medium: A General Framework for Automated Test Transfer
-
批准号:2107125
-
项目类别:Continuing Grant
-
资助金额:$40.0万
-
财政年份:2021
-
负责人:Alessandro Orso
-
依托单位:
EAGER: Collaborative Research: Leveraging Graph Databases for Incremental and Scalable Symbolic Analysis and Verification of Web Applications
-
批准号:1548856
-
项目类别:Standard Grant
-
资助金额:$10.0万
-
财政年份:2015
-
负责人:Alessandro Orso
-
依托单位:
I-Corps: Capturing Field Data for Mobile Applications
-
批准号:1522518
-
项目类别:Standard Grant
-
资助金额:$5.0万
-
财政年份:2015
-
负责人:Alessandro Orso
-
依托单位:
SHF: Small: BugX: In-house Debugging of Field Failures to Improve Software Quality
-
批准号:1320783
-
项目类别:Standard Grant
-
资助金额:$43.5万
-
财政年份:2013
-
负责人:Alessandro Orso
-
依托单位:
SHF: Medium: Collaborative Research: Regression Testing Techniques for Real-world Software Systems
-
批准号:1161821
-
项目类别:Continuing Grant
-
资助金额:$87.51万
-
财政年份:2012
-
负责人:Alessandro Orso
-
依托单位:
TC: Small: Collaborative Research: Viewpoints: Discovering Client- and Server-side Input Validation Inconsistencies to Improve Web Application Security
-
批准号:1117167
-
项目类别:Standard Grant
-
资助金额:$20.0万
-
财政年份:2011
-
负责人:Alessandro Orso
-
依托单位:
SHF: Medium: MEDITA - Multi-Layer Enterprise-Wide Dynamic Information-Flow Tracking and Assurance
-
批准号:0964647
-
项目类别:Standard Grant
-
资助金额:$90.0万
-
财政年份:2010
-
负责人:Alessandro Orso
-
依托单位:
SHF: Small: Automated Debugging Techniques for Modern Software Systems
-
批准号:0916605
-
项目类别:Standard Grant
-
资助金额:$44.52万
-
财政年份:2009
-
负责人:Alessandro Orso
-
依托单位:
Collaborative Research: SoD-TEAM: Designing Tests for Evolving Software Systems
-
批准号:0725202
-
项目类别:Standard Grant
-
资助金额:$34.2万
-
财政年份:2008
-
负责人:Alessandro Orso
-
依托单位:
Collaborative Research: Software and Hardware Support for Efficient Monitoring of Program Behavior
-
批准号:0541080
-
项目类别:Standard Grant
-
资助金额:$35.0万
-
财政年份:2006
-
负责人:Alessandro Orso
-
依托单位:
海外基金