Users may now choose from a vast range of compiler optimizations. These optimizations
interact in a variety of sophisticated ways with one another and with the source code. The …

Performance is one of the most important qualities of software. Several techniques have thus
been proposed to improve it, such as program transformations, optimisation of software …

Identifying a binary's compiler configuration enables developers and analysts to locate
potential security issues caused by optimization side-effects, identify binary clones, and …

The general translator formalism and computing specific implementations are proposed. The
implementation of specific elements necessary to process the source and destination …

Recently, big data specific technologies have been emerging, including domain‐specific
languages, software frameworks, databases, third‐party libraries, and so forth. These …

Many different aspects of software system development and verification rely on precise
function identification in binary code. Recognition of the source Assembly functions in …

Energy modeling can enable energy-aware software development and assist the developer
in meeting an application's energy budget. Although many energy models for embedded …

Energy modelling can enable energy-aware software development and assist the developer
in meeting an application's energy budget. Although many energy models for embedded …

Optimizing compilers is a difficult and time-consuming task, especially when done by hand.
As far as we know, the compiler handles both translation and optimization. An efficient …

Abstract Low Level Virtual Machine (LLVM) is a widely adopted open source compiler
providing numerous optimization opportunities. The discovery of the best optimization …