Liveness-Based Garbage Collection for Lazy Languages

We consider the problem of reducing the memory required to run lazy first-order functional programs. Our approach is to analyze programs for liveness of heap-allocated data. The result of the analysis is used to preserve only live data---a subset of reachable data---during garbage collection. The result is an increase in the garbage reclaimed and a reduction in the peak memory requirement of programs. While this technique has already been shown to yield benefits for eager first-order languages, the lack of a statically determinable execution order and the presence of closures pose new challenges for lazy languages. These require changes both in the liveness analysis itself and in the design of the garbage collector. To show the effectiveness of our method, we implemented a copying collector that uses the results of the liveness analysis to preserve live objects, both evaluated (i.e., in WHNF) and closures. Our experiments confirm that for programs running with a liveness-based garbage collector, there is a significant decrease in peak memory requirements. In addition, a sizable reduction in the number of collections ensures that in spite of using a more complex garbage collector, the execution times of programs running with liveness and reachability-based collectors remain comparable

Freeze-Dried Ham Promotes Azoxymethane-Induced Mucin-Depleted Foci and Aberrant Crypt Foci in Rat Colon

Processed and red meat consumption is associated with the risk of colorectal cancer. Meta-analyses have suggested that the risk associated with processed meat is higher. Most processed meats are cured and cooked, which leads to formation of free nitrosyl heme. We speculated that free nitrosyl heme is more toxic than native myoglobin. The promoting effect of a freeze-dried, cooked, cured ham diet was looked for in a 100-day study. Colon carcinogenesis endpoints were aberrant crypt foci and mucin depleted foci (MDF). A second study (14 days) was designed 1) to compare the effect of ham, hemoglobin, and hemin; and 2) to test the effect of sodium chloride, nitrite, and phosphate in diet on early biomarkers associated with heme-induced promotion. In the 100-day study, control and ham-fed rats had 3.5 and 8.5 MDF/colon, respectively (P < 0.0001). Promotion was associated with cytotoxicity and lipid peroxidation. In the short-term study, cytotoxicity and lipid peroxidation of fecal water, and the urinary marker of lipid peroxidation, increased dramatically in ham- and hemin-fed rat. In contrast, the hemoglobin diet, sodium chloride, nitrite, phosphate diet had no effect. Freeze-dried cooked ham can promote colon carcinogenesis in a rodent model. Hemin, but not hemoglobin, mimicked ham effect on early biochemical markers associated with carcinogenesis

BICEP3: a 95 GHz refracting telescope for degree-scale CMB polarization

BICEP3 is a 550 mm-aperture refracting telescope for polarimetry of radiation in the cosmic microwave background at 95 GHz. It adopts the methodology of BICEP1, BICEP2 and the Keck Array experiments - it possesses sufficient resolution to search for signatures of the inflation-induced cosmic gravitational-wave background while utilizing a compact design for ease of construction and to facilitate the characterization and mitigation of systematics. However, BICEP3 represents a significant breakthrough in per-receiver sensitivity, with a focal plane area 5$\times$ larger than a BICEP2/Keck Array receiver and faster optics ($f/1.6$ vs. $f/2.4$). Large-aperture infrared-reflective metal-mesh filters and infrared-absorptive cold alumina filters and lenses were developed and implemented for its optics. The camera consists of 1280 dual-polarization pixels; each is a pair of orthogonal antenna arrays coupled to transition-edge sensor bolometers and read out by multiplexed SQUIDs. Upon deployment at the South Pole during the 2014-15 season, BICEP3 will have survey speed comparable to Keck Array 150 GHz (2013), and will significantly enhance spectral separation of primordial B-mode power from that of possible galactic dust contamination in the BICEP2 observation patch.Comment: 12 pages, 5 figures. Presented at SPIE Astronomical Telescopes and Instrumentation 2014: Millimeter, Submillimeter, and Far-Infrared Detectors and Instrumentation for Astronomy VII. To be published in Proceedings of SPIE Volume 915

BICEP2 II: Experiment and Three-Year Data Set

We report on the design and performance of the BICEP2 instrument and on its three-year data set. BICEP2 was designed to measure the polarization of the cosmic microwave background (CMB) on angular scales of 1 to 5 degrees ($\ell$=40-200), near the expected peak of the B-mode polarization signature of primordial gravitational waves from cosmic inflation. Measuring B-modes requires dramatic improvements in sensitivity combined with exquisite control of systematics. The BICEP2 telescope observed from the South Pole with a 26~cm aperture and cold, on-axis, refractive optics. BICEP2 also adopted a new detector design in which beam-defining slot antenna arrays couple to transition-edge sensor (TES) bolometers, all fabricated on a common substrate. The antenna-coupled TES detectors supported scalable fabrication and multiplexed readout that allowed BICEP2 to achieve a high detector count of 500 bolometers at 150 GHz, giving unprecedented sensitivity to B-modes at degree angular scales. After optimization of detector and readout parameters, BICEP2 achieved an instrument noise-equivalent temperature of 15.8 $\mu$K sqrt(s). The full data set reached Stokes Q and U map depths of 87.2 nK in square-degree pixels (5.2 $\mu$K arcmin) over an effective area of 384 square degrees within a 1000 square degree field. These are the deepest CMB polarization maps at degree angular scales to date. The power spectrum analysis presented in a companion paper has resulted in a significant detection of B-mode polarization at degree scales.Comment: 30 pages, 24 figure

The design and characterization of a 300 channel, optimized full-band millimeter filterbank for science with SuperSpec

SuperSpec is an integrated, on-chip spectrometer for millimeter and sub-millimeter astronomy. We report the approach, design optimization, and partial characterization of a 300 channel filterbank covering the 185 to 315 GHz frequency band that targets a resolving power R ~ 310, and fits on a 3.5×5.5 cm chip. SuperSpec uses a lens and broadband antenna to couple radiation into a niobium microstrip that feeds a bank of niobium microstrip half-wave resonators for frequency selectivity. Each half-wave resonator is coupled to the inductor of a titanium nitride lumped-element kinetic inductance detector (LEKID) that detects the incident radiation. The device was designed for use in a demonstration instrument at the Large Millimeter Telescope (LMT)

Keck array and BICEP3: spectral characterization of 5000+ detectors

The inflationary paradigm of the early universe predicts a stochastic background of gravitational waves which would generate a B-mode polarization pattern in the cosmic microwave background (CMB) at degree angular scales. Precise measurement of B-modes is one of the most compelling observational goals in modern cosmology. Since 2011, the Keck Array has deployed over 2500 transition edge sensor (TES) bolometer detectors at 100 and 150 GHz to the South Pole in pursuit of degree-scale B-modes, and Bicep3 will follow in 2015 with 2500 more at 100 GHz. Characterizing the spectral response of these detectors is important for controlling systematic effects that could lead to leakage from the temperature to polarization signal, and for understanding potential coupling to atmospheric and astrophysical emission lines. We present complete spectral characterization of the Keck Array detectors, made with a Martin-Puplett Fourier Transform Spectrometer at the South Pole, and preliminary spectra of Bicep3 detectors taken in lab. We show band centers and effective bandwidths for both Keck Array bands, and use models of the atmosphere at the South Pole to cross check our absolute calibration. Our procedure for obtaining interferograms in the field with automated 4-axis coupling to the focal plane represents an important step towards efficient and complete spectral characterization of next-generation instruments more than 10000 detectors

Antenna-coupled TES bolometers used in BICEP2, Keck array, and SPIDER

We have developed antenna-coupled transition-edge sensor (TES) bolometers for a wide range of cosmic microwave background (CMB) polarimetry experiments, including BICEP2, Keck Array, and the balloon borne SPIDER. These detectors have reached maturity and this paper reports on their design principles, overall performance, and key challenges associated with design and production. Our detector arrays repeatedly produce spectral bands with 20%-30% bandwidth at 95, 150, or 220~GHz. The integrated antenna arrays synthesize symmetric co-aligned beams with controlled side-lobe levels. Cross-polarized response on boresight is typically ~0.5%, consistent with cross-talk in our multiplexed readout system. End-to-end optical efficiencies in our cameras are routinely 35% or higher, with per detector sensitivities of NET~300 uKrts. Thanks to the scalability of this design, we have deployed 2560 detectors as 1280 matched pairs in Keck Array with a combined instantaneous sensitivity of ~9 uKrts, as measured directly from CMB maps in the 2013 season. Similar arrays have recently flown in the SPIDER instrument, and development of this technology is ongoing.Comment: 16 pgs, 20 fig

BICEP2 / Keck Array V: Measurements of B-mode Polarization at Degree Angular Scales and 150 GHz by the Keck Array

The Keck Array is a system of cosmic microwave background (CMB) polarimeters, each similar to the BICEP2 experiment. In this paper we report results from the 2012 and 2013 observing seasons, during which the Keck Array consisted of five receivers all operating in the same (150 GHz) frequency band and observing field as BICEP2. We again find an excess of B-mode power over the lensed-$\Lambda$CDM expectation of $> 5 \sigma$ in the range $30 < \ell < 150$ and confirm that this is not due to systematics using jackknife tests and simulations based on detailed calibration measurements. In map difference and spectral difference tests these new data are shown to be consistent with BICEP2. Finally, we combine the maps from the two experiments to produce final Q and U maps which have a depth of 57 nK deg (3.4 $\mu$K arcmin) over an effective area of 400 deg$^2$ for an equivalent survey weight of 250,000 $\mu$K$^{-2}$. The final BB band powers have noise uncertainty a factor of 2.3 times better than the previous results, and a significance of detection of excess power of $> 6\sigma$.Comment: 13 pages, 9 figure

Full-Array Noise Performance of Deployment-Grade SuperSpec mm-Wave On-Chip Spectrometers

SuperSpec is an on-chip filter bank spectrometer designed for wideband moderate-resolution spectroscopy at millimeter wavelengths, employing TiN kinetic inductance detectors. SuperSpec technology will enable large-format spectroscopic integral field units suitable for high-redshift line intensity mapping and multi-object spectrographs. In previous results, we have demonstrated noise performance in individual detectors suitable for photon noise-limited ground-based observations at excellent mm-wave sites. In these proceedings, we present the noise performance of a full R∼275 spectrometer measured using deployment-ready RF hardware and software. We report typical noise equivalent powers through the full device of ∼3×10⁻¹⁶ W Hz^(−1/2) at expected sky loadings, which are photon noise dominated. Based on these results, we plan to deploy a six-spectrometer demonstration instrument to the Large Millimeter Telescope in early 2020