Leveraging Program Analysis to Reduce User-Perceived Latency in Mobile Applications

Reducing network latency in mobile applications is an effective way of improving the mobile user experience and has tangible economic benefits. This paper presents PALOMA, a novel client-centric technique for reducing the network latency by prefetching HTTP requests in Android apps. Our work leverages string analysis and callback control-flow analysis to automatically instrument apps using PALOMA's rigorous formulation of scenarios that address "what" and "when" to prefetch. PALOMA has been shown to incur significant runtime savings (several hundred milliseconds per prefetchable HTTP request), both when applied on a reusable evaluation benchmark we have developed and on real applicationsComment: ICSE 201

ArgoNeuT, a liquid argon time projection chamber in a low energy neutrino beam

ArgoNeuT (Argon Neutrino Test), a NSF/DOE project at Fermilab, is the first LArTPC to go in a low energy neutrino beam and just the second LArTPC to go in a neutrino beam ever. ArgoNeuT sits just upstream of the on-axis MINOS near detector in the NuMI beamline, about 1 km from the target station and 100 m underground. The detector features a 47X40X90 cm (169 L) active volume TPC with a fully contained recirculation and purification system. Among other physics, ArgoNeuT will measure the charged-current quasi-elastic (anti-) neutrino cross section on argon at an energy of ~3 GeV.Comment: 3 pages, 2 figures, to appear in the proceedings of the 11th International Conference on Topics in Astroparticle and Underground Physics (TAUP 2009), Rome, Italy, 1-5 July 200

Toric Calabi-Yau Fourfolds, Duality Between N=1 Theories and Divisors that Contribute to the Superpotential

We study issues related to F-theory on Calabi-Yau fourfolds and its duality to heterotic theory for Calabi-Yau threefolds. We discuss principally fourfolds that are described by reflexive polyhedra and show how to read off some of the data for the heterotic theory from the polyhedron. We give a procedure for constructing examples with given gauge groups and describe some of these examples in detail. Interesting features arise when the local pieces are fitted into a global manifold. An important issue is how to compute the superpotential explicitly. Witten has shown that the condition for a divisor to contribute to the superpotential is that it have arithmetic genus 1. Divisors associated with the short roots of non-simply laced gauge groups do not always satisfy this condition while the divisors associated to all other roots do. For such a `dissident' divisor we distinguish cases for which the arithmetic genus is greater than unity corresponding to an X that is not general in moduli (in the toric case this corresponds to the existence of non-toric parameters). In these cases the `dissident' divisor D does not remain an effective divisor for general complex structure. If however the arithmetic genus is less than or equal to 0, then the divisor is general in moduli and there is a genuine instability

ArgoNeuT and the Neutrino-Argon Charged Current Quasi-Elastic Cross Section

ArgoNeuT, a Liquid Argon Time Projection Chamber in the NuMI beamline at Fermilab, has recently collected thousands of neutrino and anti-neutrino events between 0.1 and 10 GeV. The experiment will, among other things, measure the cross section of the neutrino and anti-neutrino Charged Current Quasi-Elastic interaction and analyze the vertex activity associated with such events. These topics are discussed along with ArgoNeuT's automated reconstruction software, currently capable of fully reconstructing the muon and finding the event vertex in neutrino interactions.Comment: 6 pages, 4 figures, presented at the International Nuclear Physics Conference, Vancouver, Canada, July 4-9, 2010, to be published in Journal of Physics: Conference Series (JPCS

Poisson-Lie T-duality

A description of dual non-Abelian duality is given, based on the notion of the Drinfeld double. The presentation basically follows the original paper \cite{KS2}, written in collaboration with P. \v Severa, but here the emphasis is put on the algebraic rather than the geometric aspect of the construction and a concrete example of the Borelian double is worked out in detail.Comment: 11 pages, LaTeX, Lecture given at Trieste conference on S-duality and mirror symmetry, June 1995, (signs in Eqs. (10,11) corrected, 1 reference added

Chirp mitigation of plasma-accelerated beams using a modulated plasma density

Plasma-based accelerators offer the possibility to drive future compact light sources and high-energy physics applications. Achieving good beam quality, especially a small beam energy spread, is still one of the major challenges. For stable transport, the beam is located in the focusing region of the wakefield which covers only the slope of the accelerating field. This, however, imprints a longitudinal energy correlation (chirp) along the bunch. Here, we propose an alternating focusing scheme in the plasma to mitigate the development of this chirp and thus maintain a small energy spread

Zika virus epidemiology: From Uganda to world pandemic, an update

Zika virus (ZIKV) infection is an emergent worldwide public health problem. Historically, 84 countries have reported vector-borne ZIKV transmission, 61 of which report on-going transmission. It is a Flavivirus transmitted through arthropods belonging to the Aedes genus. Since 2015, ZIKV infections have increased dramatically; with 1.3 million people infected during 2015 in Brazil alone. This paper's objective is to highlight the conjectural epidemiological points of the virus' dissemination. The digital archives Pubmed, MEDLINE, EMBASE and Cochrane were searched for papers that assessed aspects of ZIKV transmission and epidemiology. The first isolation occurred in Uganda in 1947. Since then, important outbreaks were documented globally. Consequently, an emergent public health problem arose from a rapidly increasing incidence and its association with the development of neurological diseases such as microcephaly and Guillain-Barré syndrome. Key factors in the successful containment of outbreaks include surveillance of mosquitos in the neighbourhood, an early mosquito control treatment, an assertive information campaign, and the involvement of the local population and healthcare workers. As such, while ZIKV seems to be spreading globally in a similar manner to other arboviruses, such as Dengue and Chikungunya viruses, it can also be rapidly contained due to the pre-existing availability of necessary resources and regulatory tools as control measures. This review aims to provide a description of those characteristics of ZIKV infection that may be useful in the construction of effective outbreak control strategies. Copyright © Cambridge University Press 2018