Engineering a Compiler, Third Edition covers the latest developments in compiler
technology, with new chapters focusing on semantic elaboration (the problems that arise in …

Data flow analysis is used to discover information for a wide variety of useful applications,
ranging from compiler optimizations to software engineering and verification. Modern …

This paper introduces the concept of dynamic instruction reuse. Empirical observations
suggest that many instructions, and groups of instructions, having the same inputs, are …

To guarantee typesafe execution, Java and other strongly typed languages require bounds
checking of array accesses. Because array-bounds checks may raise exceptions, they block …

This paper describes a decentralized consistency protocol for survivable storage that
exploits local data versioning within each storage-node. Such versioning enables the …

CompCert (ACM Software System Award 2021) is the first industrial-strength compiler with a
mechanically checked proof of correctness. Yet, CompCert remains a moderately optimizing …

The widespread use of object-oriented languages and Internet security concerns are just the
beginning. Add embedded systems, multiple memory banks, highly pipelined units …

Data-flow analysis computes its solutions over the paths in a control-flow graph. These paths-
--whether feasible or infeasible, heavily or rarely executed---contribute equally to a solution …

Operator strength reduction is a technique that improves compiler-generated code by
reformulating certain costly computations in terms of less expensive ones. A common case …

Compilers perform a variety of advanced optimizations to improve the quality of the
generated machine code. However, optimizations that depend on the data flow of a program …