Polyhedral Analysis using Parametric Objectives

The abstract domain of polyhedra lies at the heart of many program analysis techniques. However, its operations can be expensive, precluding their application to polyhedra that involve many variables. This paper describes a new approach to computing polyhedral domain operations. The core of this approach is an algorithm to calculate variable elimination (projection) based on parametric linear programming. The algorithm enumerates only non-redundant inequalities of the projection space, hence permits anytime approximation of the output

Global perspectives on observing ocean boundary current systems

Ocean boundary current systems are key components of the climate system, are home to highly productive ecosystems, and have numerous societal impacts. Establishment of a global network of boundary current observing systems is a critical part of ongoing development of the Global Ocean Observing System. The characteristics of boundary current systems are reviewed, focusing on scientific and societal motivations for sustained observing. Techniques currently used to observe boundary current systems are reviewed, followed by a census of the current state of boundary current observing systems globally. Next steps in the development of boundary current observing systems are considered, leading to several specific recommendations