The automated and semi-automated analysis of source code has remained a topic of
intense research for more than thirty years. During this period, algorithms and techniques for …

With the growth of network applications such as 5G and artificial intelligence, network
security techniques, ie, the techniques that detect various attacks (eg, well-known denial-of …

Large language models (LLMs) are leading significant progress in code generation. Beyond
one-pass code generation, recent works further integrate unit tests and program verifiers into …

Performance problems in software can arise unexpectedly when programs are provided with
inputs that exhibit worst-case behavior. A large body of work has focused on diagnosing …

Optimizing the energy efficiency of mobile applications can greatly increase user
satisfaction. However, developers lack viable techniques for estimating the energy …

We describe the design and implementation of Dynamo, a software dynamic optimization
system that is capable of transparently improving the performance of a native instruction …

This thesis addresses the challenges of building a software system for general-purpose
runtime code manipulation. Modern applications, with dynamically-loaded modules and …

Modern programming languages and software engineering principles are causing
increasing problems for compiler systems. Traditional approaches, which use a simple …

Dynamic analysis is the analysis of the properties of a running program. In this paper, we
explore two new dynamic analyses based on program profiling: Frequency Spectrum …

A program profile attributes run-time costs to portions of a program's execution. Most
profiling systems suffer from two major deficiencies: first, they only apportion simple metrics …