5,353 research outputs found
Learning a Static Analyzer from Data
To be practically useful, modern static analyzers must precisely model the
effect of both, statements in the programming language as well as frameworks
used by the program under analysis. While important, manually addressing these
challenges is difficult for at least two reasons: (i) the effects on the
overall analysis can be non-trivial, and (ii) as the size and complexity of
modern libraries increase, so is the number of cases the analysis must handle.
In this paper we present a new, automated approach for creating static
analyzers: instead of manually providing the various inference rules of the
analyzer, the key idea is to learn these rules from a dataset of programs. Our
method consists of two ingredients: (i) a synthesis algorithm capable of
learning a candidate analyzer from a given dataset, and (ii) a counter-example
guided learning procedure which generates new programs beyond those in the
initial dataset, critical for discovering corner cases and ensuring the learned
analysis generalizes to unseen programs.
We implemented and instantiated our approach to the task of learning
JavaScript static analysis rules for a subset of points-to analysis and for
allocation sites analysis. These are challenging yet important problems that
have received significant research attention. We show that our approach is
effective: our system automatically discovered practical and useful inference
rules for many cases that are tricky to manually identify and are missed by
state-of-the-art, manually tuned analyzers
Spacecraft System Integration and Test: SSTI Lewis critical design audit
The Critical Design Audit package is the final detailed design package which provides a comprehensive description of the SSTI mission. This package includes the program overview, the system requirements, the science and applications activities, the ground segment development, the assembly, integration and test description, the payload and technology demonstrations, and the spacecraft bus subsystems. Publication and presentation of this document marks the final requirements and design freeze for SSTI
Who Contributes to the Knowledge Sharing Economy?
Information sharing dynamics of social networks rely on a small set of
influencers to effectively reach a large audience. Our recent results and
observations demonstrate that the shape and identity of this elite, especially
those contributing \emph{original} content, is difficult to predict.
Information acquisition is often cited as an example of a public good. However,
this emerging and powerful theory has yet to provably offer qualitative
insights on how specialization of users into active and passive participants
occurs.
This paper bridges, for the first time, the theory of public goods and the
analysis of diffusion in social media. We introduce a non-linear model of
\emph{perishable} public goods, leveraging new observations about sharing of
media sources. The primary contribution of this work is to show that
\emph{shelf time}, which characterizes the rate at which content get renewed,
is a critical factor in audience participation. Our model proves a fundamental
\emph{dichotomy} in information diffusion: While short-lived content has simple
and predictable diffusion, long-lived content has complex specialization. This
occurs even when all information seekers are \emph{ex ante} identical and could
be a contributing factor to the difficulty of predicting social network
participation and evolution.Comment: 15 pages in ACM Conference on Online Social Networks 201
N_pN_n dependence of empirical formula for the lowest excitation energy of the 2^+ states in even-even nuclei
We examine the effects of the additional term of the type on the recently proposed empirical formula for the lowest excitation
energy of the states in even-even nuclei. This study is motivated by the
fact that this term carries the favorable dependence of the valence nucleon
numbers dictated by the scheme. We show explicitly that there is not
any improvement in reproducing by including the extra
term. However, our study also reveals that the excitation energies
, when calculated by the term alone (with the mass number
dependent term), are quite comparable to those calculated by the original
empirical formula.Comment: 14 pages, 5 figure
Localized ferromagnetic resonance force microscopy in permalloy-cobalt films
We report Ferromagnetic Resonance Force Microscopy (FMRFM) experiments on a
justaposed continuous films of permalloy and cobalt. Our studies demonstrate
the capability of FMRFM to perform local spectroscopy of different
ferromagnetic materials. Theoretical analysis of the uniform resonance mode
near the edge of the film agrees quantitatively with experimental data. Our
experiments demonstrate the micron scale lateral resolution in determining
local magnetic properties in continuous ferromagnetic samples.Comment: 7 pages, 3 figure
Effect of in-plane line defects on field-tuned superconductor-insulator transition behavior in homogeneous thin film
Field-tuned superconductor-insulator transition (FSIT) behavior in 2D
isotropic and homogeneous thin films is usually accompanied by a nonvanishing
critical resistance at low . It is shown that, in a 2D film including line
defects paralle to each other but with random positions perpendicular to them,
the (apparent) critical resistance in low limit vanishes, as in the 1D
quantum superconducting (SC) transition, under a current parallel to the line
defects. This 1D-like critical resistive behavior is more clearly seen in
systems with weaker point disorder and may be useful in clarifying whether the
true origin of FSIT behavior in the parent superconductor is the glass
fluctuation or the quantum SC fluctuation. As a by-product of the present
calculation, it is also pointed out that, in 2D films with line-like defects
with a long but {\it finite} correlation length parallel to the lines, a
quantum metallic behavior intervening the insulating and SC ones appears in the
resistivity curves.Comment: 16 pages, 14 figure
Superfluid-insulator transition of the Josephson junction array model with commensurate frustration
We have studied the rationally frustrated Josephson-junction array model in
the square lattice through Monte Carlo simulations of D XY-model. For
frustration , the model at zero temperature shows a continuous
superfluid-insulator transition. From the measurement of the correlation
function and the superfluid stiffness, we obtain the dynamical critical
exponent and the correlation length critical exponent . While the dynamical critical exponent is the same as that for cases
, 1/2, and 1/3, the correlation length critical exponent is surprisingly
quite different. When , we have the nature of a first-order transition.Comment: RevTex 4, to appear in PR
Phase Transitions in the Two-Dimensional XY Model with Random Phases: a Monte Carlo Study
We study the two-dimensional XY model with quenched random phases by Monte
Carlo simulation and finite-size scaling analysis. We determine the phase
diagram of the model and study its critical behavior as a function of disorder
and temperature. If the strength of the randomness is less than a critical
value, , the system has a Kosterlitz-Thouless (KT) phase transition
from the paramagnetic phase to a state with quasi-long-range order. Our data
suggest that the latter exists down to T=0 in contradiction with theories that
predict the appearance of a low-temperature reentrant phase. At the critical
disorder and for there is no
quasi-ordered phase. At zero temperature there is a phase transition between
two different glassy states at . The functional dependence of the
correlation length on suggests that this transition corresponds to the
disorder-driven unbinding of vortex pairs.Comment: LaTex file and 18 figure
Omnivorousness in sport: The importance of social capital and networks
There has been for some time a significant and growing body of research around the relationship between sport and social capital. Similarly, within sociology there has been a corpus of work that has acknowledged the emergence of the omnivore–univore relationship. Surprisingly, relatively few studies examining sport and social capital have taken the omnivore–univore framework as a basis for understanding the relationship between sport and social capital. This gap in the sociology of sport literature and knowledge is rectified by this study that takes not Putnam, Coleman or Bourdieu, but Lin’s social network approach to social capital. The implications of this article are that researchers investigating sport and social capital need to understand more about how social networks and places for sport work to create social capital and, in particular, influence participating in sporting activities. The results indicate that social networks both facilitate and constrain sports participation; whilst family and friendship networks are central in active lifestyles, those who are less active have limited networks
Inaccuracy of Density Functional Theory Calculations for Dihydrogen Binding Energetics onto Ca Cation Centers
We investigate the mechanism of dihydrogen adsorption onto Ca cation centers, which has been the significant focus of recent research for hydrogen storage. We particularly concentrate on reliability of commonly used density-functional theories, in comparison with correlated wave function theories. It is shown that, irrespective of the chosen exchange-correlation potentials, density-functional theories result in unphysical binding of H2 molecules onto Ca1+ system. This suggests that several previous publications could contain a serious overestimation of storage capacity at least in part of their results.open262
- …