Safe Concurrency Introduction through Slicing

Traditional refactoring is about modifying the structure of existing code without changing its behaviour, but with the aim of making code easier to understand, modify, or reuse. In this paper, we introduce three novel refactorings for retrofitting concurrency to Erlang applications, and demonstrate how the use of program slicing makes the automation of these refactorings possible

Simplifying Contract-Violating Traces

Contract conformance is hard to determine statically, prior to the deployment of large pieces of software. A scalable alternative is to monitor for contract violations post-deployment: once a violation is detected, the trace characterising the offending execution is analysed to pinpoint the source of the offence. A major drawback with this technique is that, often, contract violations take time to surface, resulting in long traces that are hard to analyse. This paper proposes a methodology together with an accompanying tool for simplifying traces and assisting contract-violation debugging.Comment: In Proceedings FLACOS 2012, arXiv:1209.169

A Statistical Analysis of Supersymmetric Dark Matter in the MSSM after WMAP

We study supersymmetric dark matter in the general flavor diagonal MSSM by means of an extensive random scan of its parameter space. We find that, in contrast with the standard mSUGRA lore, the large majority of viable models features either a higgsino or a wino-like lightest neutralino, and yields a relic abundance well below the WMAP bound. Among the models with neutralino relic density within the WMAP range, higgsino-like neutralinos are still dominant, though a sizeable fraction of binos is also present. In this latter case, relic density suppression mechanisms are shown to be essential in order to obtain the correct neutralino abundance. We then carry out a statistical analysis and a general discussion of neutralino dark matter direct detection and of indirect neutralino detection at neutrino telescopes and at antimatter search experiments. We point out that current data exclude only a marginal portion of the viable parameter space, and that models whose thermal relic abundance lies in the WMAP range will be significantly probed only at future direct detection experiments. Finally, we emphasize the importance of relic density enhancement mechanisms for indirect detection perspectives, in particular at future antimatter search experiments.Comment: 39 pages, 25 figure

Evidence for long-term Gamma-ray and X-ray variability from the unidentified TeV source HESS J0632+057

HESS J0632+057 is one of only two unidentified very-high-energy gamma-ray sources which appear to be point-like within experimental resolution. It is possibly associated with the massive Be star MWC 148 and has been suggested to resemble known TeV binary systems like LS I +61 303 or LS 5039. HESS J0632+057 was observed by VERITAS for 31 hours in 2006, 2008 and 2009. During these observations, no significant signal in gamma rays with energies above 1 TeV was detected from the direction of HESS J0632+057. A flux upper limit corresponding to 1.1% of the flux of the Crab Nebula has been derived from the VERITAS data. The non-detection by VERITAS excludes with a probability of 99.993% that HESS J0632+057 is a steady gamma-ray emitter. Contemporaneous X-ray observations with Swift XRT reveal a factor of 1.8+-0.4 higher flux in the 1-10 keV range than earlier X-ray observations of HESS J0632+057. The variability in the gamma-ray and X-ray fluxes supports interpretation of the ob ject as a gamma-ray emitting binary.Comment: 8 pages, 3 figures, Accepted for publication in The Astrophysical Journa

The Role of Antimatter Searches in the Hunt for Supersymmetric Dark Matter

We analyze the antimatter yield of supersymmetric (SUSY) models with large neutralino annihilation cross sections. We introduce three benchmark scenarios, respectively featuring bino, wino and higgsino-like lightest neutralinos, and we study in detail the resulting antimatter spectral features. We carry out a systematic and transparent comparison between current and future prospects for direct detection, neutrino telescopes and antimatter searches. We demonstrate that often, in the models we consider, antimatter searches are the only detection channel which already constrains the SUSY parameter space. Particularly large antiprotons fluxes are expected for wino-like lightest neutralinos, while significant antideuteron fluxes result from resonantly annihilating binos. We introduce a simple and general recipe which allows to assess the visibility of a given SUSY model at future antimatter search facilities. We provide evidence that upcoming space-based experiments, like PAMELA or AMS, are going to be, in many cases, the unique open road towards dark matter discovery.Comment: 34 pages, 18 figures; V2: misprints in the labels of fig. 2,3 and 5 correcte

Nudging Cooperation in a Crowd Experiment

We examine the hypothesis that driven by a competition heuristic, people don't even reflect or consider whether a cooperation strategy may be better. As a paradigmatic example of this behavior we propose the zero-sum game fallacy, according to which people believe that resources are fixed even when they are not. We demonstrate that people only cooperate if the competitive heuristic is explicitly overridden in an experiment in which participants play two rounds of a game in which competition is suboptimal. The observed spontaneous behavior for most players was to compete. Then participants were explicitly reminded that the competing strategy may not be optimal. This minor intervention boosted cooperation, implying that competition does not result from lack of trust or willingness to cooperate but instead from the inability to inhibit the competition bias. This activity was performed in a controlled laboratory setting and also as a crowd experiment. Understanding the psychological underpinnings of these behaviors may help us improve cooperation and thus may have vast practical consequences to our society.Fil: Niella, Tamara. Universidad Torcuato di Tella; ArgentinaFil: Stier, Nicolas. Universidad Torcuato di Tella; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Sigman, Mariano. Universidad Torcuato di Tella; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentin

VERITAS Observations of the gamma-Ray Binary LS I +61 303

LS I +61 303 is one of only a few high-mass X-ray binaries currently detected at high significance in very high energy gamma-rays. The system was observed over several orbital cycles (between September 2006 and February 2007) with the VERITAS array of imaging air-Cherenkov telescopes. A signal of gamma-rays with energies above 300 GeV is found with a statistical significance of 8.4 standard deviations. The detected flux is measured to be strongly variable; the maximum flux is found during most orbital cycles at apastron. The energy spectrum for the period of maximum emission can be characterized by a power law with a photon index of Gamma=2.40+-0.16_stat+-0.2_sys and a flux above 300 GeV corresponding to 15-20% of the flux from the Crab Nebula.Comment: accepted for publication in The Astrophysical Journa

VERITAS Observations of the BL Lac Object 1ES 1218+304

The VERITAS collaboration reports the detection of very-high-energy (VHE) gamma-ray emission from the high-frequency-peaked BL Lac object 1ES 1218+304 located at a redshift of z=0.182. A gamma-ray signal was detected with high statistical significance for the observations taken during several months in the 2006-2007 observing season. The photon spectrum between ~160 GeV and ~1.8 TeV is well described by a power law with an index of Gamma = 3.08 +/- 0.34(stat) +/- 0.2(sys). The integral flux above 200 GeV corresponds to ~6% of that of the Crab Nebula. The light curve does not show any evidence for VHE flux variability. Using lower limits on the density of the extragalactic background light (EBL) in the near-IR to mid-IR we are able to limit the range of intrinsic energy spectra for 1ES 1218+304. We show that the intrinsic photon spectrum is harder than a power law with an index of Gamma = 2.32 +/- 0.37. When including constraints from the spectra of 1ES 1101-232 and 1ES 0229+200, the spectrum of 1ES 1218+304 is likely to be harder than Gamma = 1.86 +/- 0.37.Comment: Submitted to Proceedings of "4th Heidelberg International Symposium on High Energy Gamma-Ray Astronomy 2008