518 research outputs found
Coz: Finding Code that Counts with Causal Profiling
Improving performance is a central concern for software developers. To locate
optimization opportunities, developers rely on software profilers. However,
these profilers only report where programs spent their time: optimizing that
code may have no impact on performance. Past profilers thus both waste
developer time and make it difficult for them to uncover significant
optimization opportunities.
This paper introduces causal profiling. Unlike past profiling approaches,
causal profiling indicates exactly where programmers should focus their
optimization efforts, and quantifies their potential impact. Causal profiling
works by running performance experiments during program execution. Each
experiment calculates the impact of any potential optimization by virtually
speeding up code: inserting pauses that slow down all other code running
concurrently. The key insight is that this slowdown has the same relative
effect as running that line faster, thus "virtually" speeding it up.
We present Coz, a causal profiler, which we evaluate on a range of
highly-tuned applications: Memcached, SQLite, and the PARSEC benchmark suite.
Coz identifies previously unknown optimization opportunities that are both
significant and targeted. Guided by Coz, we improve the performance of
Memcached by 9%, SQLite by 25%, and accelerate six PARSEC applications by as
much as 68%; in most cases, these optimizations involve modifying under 10
lines of code.Comment: Published at SOSP 2015 (Best Paper Award
A Spectroscopic Survey of the Fields of 28 Strong Gravitational Lenses: The Group Catalog
With a large, unique spectroscopic survey in the fields of 28 galaxy-scale
strong gravitational lenses, we identify groups of galaxies in the 26
adequately-sampled fields. Using a group finding algorithm, we find 210 groups
with at least five member galaxies; the median number of members is eight. Our
sample spans redshifts of 0.04 0.76 with a median of 0.31,
including 174 groups with . Groups have radial velocity
dispersions of 60 1200 km s with a median of 350
km s. We also discover a supergroup in field B0712+472 at 0.29
consisting of three main groups. We recover groups similar to 85% of
those previously reported in these fields within our redshift range of
sensitivity and find 187 new groups with at least five members. The properties
of our group catalog, specifically 1) the distribution of , 2)
the fraction of all sample galaxies that are group members, and 3) the fraction
of groups with significant substructure, are consistent with those for other
catalogs. The distribution of group virial masses agrees well with theoretical
expectations. Of the lens galaxies, 12 of 26 (46%) (B1422+231, B1600+434,
B2114+022, FBQS J0951+2635, HE0435-1223, HST J14113+5211, MG0751+2716,
MGJ1654+1346, PG 1115+080, Q ER 0047-2808, RXJ1131-1231, and WFI J2033-4723)
are members of groups with at least five galaxies, and one more (B0712+472)
belongs to an additional, visually identified group candidate. There are groups
not associated with the lens that still are likely to affect the lens model; in
six of 25 (24%) fields (excluding the supergroup), there is at least one
massive ( 500 km s) group or group candidate projected
within 2 of the lens.Comment: 87 pages, 8 figures, a version of this was published in Ap
First Frontier Field Constraints on the Cosmic Star-Formation Rate Density at z~10 - The Impact of Lensing Shear on Completeness of High-Redshift Galaxy Samples
We search the complete Hubble Frontier Field dataset of Abell 2744 and its
parallel field for z~10 sources to further refine the evolution of the cosmic
star-formation rate density (SFRD) at z>8. We independently confirm two images
of the recently discovered triply-imaged z~9.8 source by Zitrin et al. (2014)
and set an upper limit for similar z~10 galaxies with red colors of
J_125-H_160>1.2 in the parallel field of Abell 2744. We utilize extensive
simulations to derive the effective selection volume of Lyman-break galaxies at
z~10, both in the lensed cluster field and in the adjacent parallel field.
Particular care is taken to include position-dependent lensing shear to
accurately account for the expected sizes and morphologies of highly-magnified
sources. We show that both source blending and shear reduce the completeness at
a given observed magnitude in the cluster, particularly near the critical
curves. These effects have a significant, but largely overlooked, impact on the
detectability of high-redshift sources behind clusters, and substantially
reduce the expected number of highly-magnified sources. The detections and
limits from both pointings result in a SFRD which is higher by 0.4+-0.4 dex
than previous estimates at z~10 from blank fields. Nevertheless, the
combination of these new results with all other estimates remain consistent
with a rapidly declining SFRD in the 170 Myr from z~8 to z~10 as predicted by
cosmological simulations and dark-matter halo evolution in LambdaCDM. Once
biases introduced by magnification-dependent completeness are accounted for,
the full six cluster and parallel Frontier Field program will be an extremely
powerful new dataset to probe the evolution of the galaxy population at z>8
before the advent of the JWST.Comment: 10 pages, 7 figures, changed to match accepted version to appear in
Ap
A Similarity Measure for GPU Kernel Subgraph Matching
Accelerator architectures specialize in executing SIMD (single instruction,
multiple data) in lockstep. Because the majority of CUDA applications are
parallelized loops, control flow information can provide an in-depth
characterization of a kernel. CUDAflow is a tool that statically separates CUDA
binaries into basic block regions and dynamically measures instruction and
basic block frequencies. CUDAflow captures this information in a control flow
graph (CFG) and performs subgraph matching across various kernel's CFGs to gain
insights to an application's resource requirements, based on the shape and
traversal of the graph, instruction operations executed and registers
allocated, among other information. The utility of CUDAflow is demonstrated
with SHOC and Rodinia application case studies on a variety of GPU
architectures, revealing novel thread divergence characteristics that
facilitates end users, autotuners and compilers in generating high performing
code
Identifying Very Metal-Rich Stars with Low-Resolution Spectra: Finding Planet-Search Targets
We present empirical calibrations that estimate stellar metallicity,
effective temperature and surface gravity as a function of Lick/IDS indices.
These calibrations have been derived from a training set of 261 stars for which
(1) high-precision measurements of [Fe/H], T_eff and log g have been made using
spectral-synthesis analysis of HIRES spectra, and (2) Lick indices have also
been measured. Our [Fe/H] calibration, which has precision 0.07 dex, has
identified a number of bright (V < 9) metal-rich stars which are now being
screened for hot Jupiter-type planets. Using the Yonsei-Yale stellar models, we
show that the calibrations provide distance estimates accurate to 20% for
nearby stars.
This paper outlines the second tier of the screening of planet-search targets
by the N2K Consortium, a project designed to identify the stars most likely to
harbor extrasolar planets. Discoveries by the N2K Consortium include the
transiting hot Saturn HD 149026 b (Sato et al. 2005, astro-ph/0507009) and HD
88133 b (Fischer et al. 2005). See Ammons et al. (2005, In Press) for a
description of the first tier of N2K metallicity screening, calibrations using
broadband photometry.Comment: Accepted for publication in the Astrophysical Journa
Using Verification Technology to Specify and Detect Malware
Computer viruses and worms are major threats for our computer infrastructure, and thus, for economy and society at large. Recent work has demonstrated that a model checking based approach to malware detection can capture the semantics of security exploits more accurately than traditional approaches, and consequently achieve higher detection rates. In this approach, malicious behavior is formalized using the expressive specification language CTPL based on classic CTL. This paper gives an overview of our toolchain for malware detection and presents our new system for computer assisted generation of malicious code specifications
Adaptive Optics Imaging of QSOs with Double-Peaked Narrow Lines: Are they Dual AGNs?
Active galaxies hosting two accreting and merging super-massive black holes
(SMBHs) -- dual Active Galactic Nuclei (AGN) -- are predicted by many current
and popular models of black hole-galaxy co-evolution. We present here the
results of a program that has identified a set of probable dual AGN candidates
based on near Infra-red (NIR) Laser Guide-Star Adaptive Optics (LGS AO) imaging
with the Keck II telescope. These candidates are selected from a complete
sample of radio-quiet Quasi-stellar Objects (QSOs) drawn from the Sloan Digital
Sky Survey (SDSS), which show double-peaked narrow AGN emission lines. Of the
twelve AGNs imaged, we find six with double galaxy structure, of which four are
in galaxy mergers. We measure the ionization of the two velocity components in
the narrow AGN lines to test the hypothesis that both velocity components come
from an active nucleus. The combination of a well-defined parent sample and
high-quality imaging allows us to place constraints on the fraction of SDSS
QSOs that host dual accreting black holes separated on kiloparsec (kpc) scales:
~0.3%-0.65%. We derive from this fraction the time spent in a QSO phase during
a typical merger and find a value that is much lower than estimates that arise
from QSO space densities and galaxy merger statistics. We discuss possible
reasons for this difference. Finally, we compare the SMBH mass distributions of
single and dual AGN and find little difference between the two within the
limited statistics of our program, hinting that most SMBH growth happens in the
later stages of a merger process.Comment: 9 pages, 4 figures, 1 table; accepted to the Astrophysical Journa
Investigation of gene and protein expression based on Honey Bee (Apis mellifera) aging, flight experience, and behavior
Honeybees undergo a process of adult behavioral development, spending their first 2-3 weeks working inside the constant environment of the hive. At about 3 weeks of age workers leave the hive as foragers who gather pollen and nectar. Previous research found that bees show an enormous decline in immunity as a result of their transition from regular hive jobs to more difficult foraging activities. Foragers can be forced to go back into hive-tasks, thus becoming “reverted nurses” which may also allow a reversal of immunosenescence. Understanding how this happens could prove to be useful because if there is flexibility in honeybee immunity it could lead us to a better understanding of the human immune response since the honeybee has a very similar genome to that of humans. I plan to use protein and gene expression analysis, along with other measurements to understand how forager bees change back into nurses and how this effects their immune response and their process of senescence and aging
The N2K Consortium. II. A Transiting Hot Saturn Around HD 149026 With a Large Dense Core
Doppler measurements from Subaru and Keck have revealed radial velocity
variations in the V=8.15, G0IV star HD 149026 consistent with a Saturn-Mass
planet in a 2.8766 day orbit. Photometric observations at Fairborn Observatory
have detected three complete transit events with depths of 0.003 mag at the
predicted times of conjunction. HD 149026 is now the second brightest star with
a transiting extrasolar planet. The mass of the star, based on interpolation of
stellar evolutionary models, is 1.3 +/- 0.1 solar masses; together with the
Doppler amplitude, K=43.3 m s^-1, we derive a planet mass Msin(i)=0.36 Mjup,
and orbital radius of 0.042 AU. HD 149026 is chromospherically inactive and
metal-rich with spectroscopically derived [Fe/H]=+0.36, Teff=6147 K, log g=4.26
and vsin(i)=6.0 km s^-1. Based on Teff and the stellar luminosity of 2.72 Lsun,
we derive a stellar radius of 1.45 Rsun. Modeling of the three photometric
transits provides an orbital inclination of 85.3 +/- 1.0 degrees and (including
the uncertainty in the stellar radius) a planet radius of 0.725 +/- 0.05 Rjup.
Models for this planet mass and radius suggest the presence of a ~67 Mearth
core composed of elements heavier than hydrogen and helium. This substantial
planet core would be difficult to construct by gravitational instability.Comment: 25 pages, 5 figures, accepted by the Astrophysical Journa
- …