Practical Run-time Checking via Unobtrusive Property Caching

The use of annotations, referred to as assertions or contracts, to describe program properties for which run-time tests are to be generated, has become frequent in dynamic programing languages. However, the frameworks proposed to support such run-time testing generally incur high time and/or space overheads over standard program execution. We present an approach for reducing this overhead that is based on the use of memoization to cache intermediate results of check evaluation, avoiding repeated checking of previously verified properties. Compared to approaches that reduce checking frequency, our proposal has the advantage of being exhaustive (i.e., all tests are checked at all points) while still being much more efficient than standard run-time checking. Compared to the limited previous work on memoization, it performs the task without requiring modifications to data structure representation or checking code. While the approach is general and system-independent, we present it for concreteness in the context of the Ciao run-time checking framework, which allows us to provide an operational semantics with checks and caching. We also report on a prototype implementation and provide some experimental results that support that using a relatively small cache leads to significant decreases in run-time checking overhead.

Adding Context to JWST Surveys with Current and Future 21cm Radio Observations

Infrared and radio observations of the Epoch of Reionization promise to revolutionize our understanding of the cosmic dawn, and major efforts with the JWST, MWA and HERA are underway. While measurements of the ionizing sources with infrared telescopes and the effect of these sources on the intergalactic medium with radio telescopes emph{should} be complementary, to date the wildly disparate angular resolutions and survey speeds have made connecting proposed observations difficult. In this paper we develop a method to bridge the gap between radio and infrared studies. While the radio images may not have the sensitivity and resolution to identify individual bubbles with high fidelity, by leveraging knowledge of the measured power spectrum we are able to separate regions that are likely ionized from largely neutral, providing context for the JWST observations of galaxy counts and properties in each. By providing the ionization context for infrared galaxy observations, this method can significantly enhance the science returns of JWST and other infrared observations.

Deformed Seiberg-Witten Curves for ADE Quivers

We derive Seiberg-Witten like equations encoding the dynamics of N=2 ADE quiver gauge theories in presence of a non-trivial Omega-background along a two dimensional plane. The epsilon-deformed prepotential and the chiral correlators of the gauge theory are extracted from difference equations that can be thought as a non-commutative (or quantum) version of the Seiberg-Witten curves for the quiver.

Lightweight compilation of (C)LP to JavaScript

We present and evaluate a compiler from Prolog (and extensions) to JavaScript which makes it possible to use (constraint) logic programming to develop the client side of web applications while being compliant with current industry standards. Targeting JavaScript makes (C)LP programs executable in virtually every modern computing device with no additional software requirements from the point of view of the user. In turn, the use of a very high-level language facilitates the development of high-quality, complex software. The compiler is a back end of the Ciao system and supports most of its features, including its module system and its rich language extension mechanism based on packages. We present an overview of the compilation process and a detailed description of the run-time system, including the support for modular compilation into separate JavaScript code. We demonstrate the maturity of the compiler by testing it with complex code such as a CLP(FD) library written in Prolog with attributed variables. Finally, we validate our proposal by measuring the performance of some LP and CLP(FD) benchmarks running on top of major JavaScript engines.

Branes, U-folds and hyperelliptic fibrations

We construct a class of supersymmetric vacua of type IIB string theory describing systems of three- and seven-branes non-perturbatively completed by brane instantons. The vacua are specified by a set of holomorphic functions defined over a complex plane up to non-trivial U-duality monodromies around the brane locations. In the simplest setting, the solutions can be seen as a generalization of F-theory elliptic fibrations, where the torus fiber is replaced by a genus two Riemann surface with periods encoding the information on the axio-dilaton, the warp factor and the NS-NS and R-R fluxes.

A new layout optimization technique for interferometric arrays, applied to the MWA

Antenna layout is an important design consideration for radio interferometers because it determines the quality of the snapshot point spread function (PSF, or array beam). This is particularly true for experiments targeting the 21 cm Epoch of Reionization signal as the quality of the foreground subtraction depends directly on the spatial dynamic range and thus the smoothness of the baseline distribution. Nearly all sites have constraints on where antennas can be placed---even at the remote Australian location of the MWA (Murchison Widefield Array) there are rock outcrops, flood zones, heritages areas, emergency runways and trees. These exclusion areas can introduce spatial structure into the baseline distribution that enhance the PSF sidelobes and reduce the angular dynamic range. In this paper we present a new method of constrained antenna placement that reduces the spatial structure in the baseline distribution. This method not only outperforms random placement algorithms that avoid exclusion zones, but surprisingly outperforms random placement algorithms without constraints to provide what we believe are the smoothest constrained baseline distributions developed to date. We use our new algorithm to determine antenna placements for the originally planned MWA, and present the antenna locations, baseline distribution, and snapshot PSF for this array choice.

Four Fundamental Foreground Power Spectrum Shapes for 21 cm Cosmology Observations

Contamination from instrumental effects interacting with bright astrophysical sources is the primary impediment to measuring Epoch of Reionization and BAO 21 cm power spectra---an effect called mode-mixing. In this paper we identify four fundamental power spectrum shapes produced by mode-mixing that will affect all upcoming observations. We are able, for the first time, to explain the wedge-like structure seen in advanced simulations and to forecast the shape of an EoR window that is mostly free of contamination. Understanding the origins of these contaminations also enables us to identify calibration and foreground subtraction errors below the imaging limit, providing a powerful new tool for precision observations.

Enabling Next Generation Dark Energy and Epoch of Reionization Radio Observatories with the MOFF Correlator

Proposed 21 cm cosmology observatories for studying the epoch of reionization (z ~6-15) and dark energy (z ~0-6) envision compact arrays with tens of thousands of antenna elements. Fully correlating this many elements is computationally expensive using traditional XF or FX correlators, and has led some groups to reconsider direct imaging/FFT correlators. In this paper we develop a variation of the direct imaging correlator we call the MOFF correlator. The MOFF correlator shares the computational advantages of a direct imaging correlator, while avoiding a number of its shortcomings. In particular the MOFF correlator makes no constraints on the antenna arrangement or type, provides a fully calibrated output image including widefield polarimetry and non-coplanar baseline effects, and can be orders-of-magnitude more efficient than XF or FX correlators for compact radio cosmology arrays.

Multi instanton tests of holography

Gauge theories living on stacks of D7-branes are holographically related to IIB gravitational backgrounds with a varying axion-dilaton field (F-theory). The axion-dilaton field is generated by D7, O7 and D-instanton sources and can be written in terms of the chiral correlators of the eight dimensional gauge theory living on the D7-branes. Using localization techniques, we prove that the same correlators determine the gauge coupling of the four-dimensional N=2 supersymmetric SU(2) gauge theories living on the elementary D3-brane which probes the F-theory geometries.

Gauge theories on Omega-backgrounds from non commutative Seiberg-Witten curves

We study the dynamics of a N=2 supersymmetric SU(N) gauge theory with fundamental or adjoint matter in presence of a non trivial Omega-background along a two dimensional plane. The prepotential and chiral correlators of the gauge theory can be obtained, via a saddle point analysis, from an equation which can be viewed as a non commutative version of the standard Seiberg and Witten curve.