Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java (Artifact)

Evaluating pointer analyses with respect to soundness and precision has been a tedious task. Within this artifact we present PointerBench, the benchmark suite used in the paper to compare the pointer analysis Boomerang with two other demand-driven pointer analyses, SB [Sridharan and Bodik, 2006] and DA [Yan et al., 2011]. We show PointerBench can be used to test different pointer analyses. In addition to that, the artifact contains usage examples for Boomerang on simple test programs. The test programs and the input on these programs to Boomerang can be changed to experiment with the algorithm and its features. Additionally, the artifact contains the integration of Boomerang, SB, and DA into FlowDroid, which can then be executed on arbitrary Android applications

High-throughput continuous dielectrophoretic separation of neural stem cells.

We created an integrated microfluidic cell separation system that incorporates hydrophoresis and dielectrophoresis modules to facilitate high-throughput continuous cell separation. The hydrophoresis module consists of a serpentine channel with ridges and trenches to generate a diverging fluid flow that focuses cells into two streams along the channel edges. The dielectrophoresis module is composed of a chevron-shaped electrode array. Separation in the dielectrophoresis module is driven by inherent cell electrophysiological properties and does not require cell-type-specific labels. The chevron shape of the electrode array couples with fluid flow in the channel to enable continuous sorting of cells to increase throughput. We tested the new system with mouse neural stem cells since their electrophysiological properties reflect their differentiation capacity (e.g., whether they will differentiate into astrocytes or neurons). The goal of our experiments was to enrich astrocyte-biased cells. Sorting parameters were optimized for each batch of neural stem cells to ensure effective and consistent separations. The continuous sorting design of the device significantly improved sorting throughput and reproducibility. Sorting yielded two cell fractions, and we found that astrocyte-biased cells were enriched in one fraction and depleted from the other. This is an advantage of the new continuous sorting device over traditional dielectrophoresis-based sorting platforms that target a subset of cells for enrichment but do not provide a corresponding depleted population. The new microfluidic dielectrophoresis cell separation system improves label-free cell sorting by increasing throughput and delivering enriched and depleted cell subpopulations in a single sort

Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java

Many current program analyses require highly precise pointer information about small, tar- geted parts of a given program. This motivates the need for demand-driven pointer analyses that compute information only where required. Pointer analyses generally compute points-to sets of program variables or answer boolean alias queries. However, many client analyses require richer pointer information. For example, taint and typestate analyses often need to know the set of all aliases of a given variable under a certain calling context. With most current pointer analyses, clients must compute such information through repeated points-to or alias queries, increasing complexity and computation time for them. This paper presents Boomerang, a demand-driven, flow-, field-, and context-sensitive pointer analysis for Java programs. Boomerang computes rich results that include both the possible allocation sites of a given pointer (points-to information) and all pointers that can point to those allocation sites (alias information). For increased precision and scalability, clients can query Boomerang with respect to particular calling contexts of interest. Our experiments show that Boomerang is more precise than existing demand-driven pointer analyses. Additionally, using Boomerang, the taint analysis FlowDroid issues up to 29.4x fewer pointer queries compared to using other pointer analyses that return simpler pointer infor- mation. Furthermore, the search space of Boomerang can be significantly reduced by requesting calling contexts from the client analysis

Global Sentry: NASA/USRA high altitude reconnaissance aircraft design, volume 2

The Global Sentry is a high altitude reconnaissance aircraft design for the NASA/USRA design project. The Global Sentry uses proven technologies, light-weight composites, and meets the R.F.P. requirements. The mission requirements for the Global Sentry are described. The configuration option is discussed and a description of the final design is given. Preliminary sizing analyses and the mass properties of the design are presented. The aerodynamic features of the Global Sentry are described along with the stability and control characteristics designed into the flight control system. The performance characteristics are discussed as is the propulsion installation and system layout. The Global Sentry structural design is examined, including a wing structural analysis. The cockpit, controls and display layouts are covered. Manufacturing is covered and the life cost estimation. Reliability is discussed. Conclusions about the current Global Sentry design are presented, along with suggested areas for future engineering work

Case series of volar juvenile xanthogranuloma: Clinical observation of a peripheral rim of hyperkeratosis

Juvenile xanthogranuloma is a benign histiocytic tumor predominantly occurring in children as yellowish papules on the head and trunk. Presentations on the volar surfaces are rare and may cause diagnostic confusion with pyogenic granuloma, eccrine poroma and digital fibrokeratoma. We report two patients with unusual presentations of solitary juvenile xanthogranuloma on the palm or sole. Both had lesions lacking the classic yellowish color and demonstrating a well‐defined, peripheral hyperkeratotic rim. Histopathological evaluation revealed prominent orthokeratosis corresponding to the rim. Additional histological features, including dermal histiocytes and Touton giant cells, were consistent with the diagnosis of juvenile xanthogranuloma. Given the unusual locations and colors of the lesions, we conclude that histopathological evaluation is central to diagnosing volar juvenile xanthogranuloma. We additionally suggest that juvenile xanthogranuloma should be included in the differential diagnoses of volar lesions displaying a peripheral hyperkeratotic rim.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/108660/1/jde12617.pd

Implantation of a three-dimensional fibroblast matrix improves left ventricular function and blood flow after acute myocardial infarction

This study was designed to determine if a viable biodegradable three-dimensional fibroblast construct (3DFC) patch implanted on the left ventricle after myocardial infarction (MI) improves left ventricular (LV) function and blood flow. We ligated the left coronary artery of adult male Sprague-Dawley rats and implanted the 3DFC at the time of the infarct. Three weeks after MI, the 3DFC improved LV systolic function by increasing (p < 0.05) ejection fraction (37 +/- 3% to 62 +/- 5%), increasing regional systolic displacement of the infarcted wall (0.04 +/- 0.02 to 0.11 +/- 0.03 cm), and shifting the passive LV diastolic pressure volume relationship toward the pressure axis. The 3FDC improved LV remodeling by decreasing (p < 0.05) LV end-systolic and end-diastolic diameters with no change in LV systolic pressure. The 3DFC did not change LV end-diastolic pressure (LV EDP; 25 +/- 2 vs. 23 +/- 2 mmHg) but the addition of captopril (2mg/L drinking water) lowered (p < 0.05) LV EDP to 12.9 +/- 2.5 mmHg and shifted the pressure-volume relationship toward the pressure axis and decreased (p < 0.05) the LV operating end-diastolic volume from 0.49 +/- 0.02 to 0.34 +/- 0.03 ml. The 3DFC increased myocardial blood flow to the infarcted anterior wall after MI over threefold (p < 0.05). This biodegradable 3DFC patch improves LV function and myocardial blood flow 3 weeks after MI. This is a potentially new approach to cell-based therapy for heart failure after MI

Inclusive charged hadron elliptic flow in Au + Au collisions at sNN\sqrt{s_{NN}} = 7.7 - 39 GeV

A systematic study is presented for centrality, transverse momentum ($p_T$) and pseudorapidity ($\eta$) dependence of the inclusive charged hadron elliptic flow ($v_2$) at midrapidity($|\eta| < 1.0$) in Au+Au collisions at $\sqrt{s_{NN}}$ = 7.7, 11.5, 19.6, 27 and 39 GeV. The results obtained with different methods, including correlations with the event plane reconstructed in a region separated by a large pseudorapidity gap and 4-particle cumulants ($v_2{4}$), are presented in order to investigate non-flow correlations and $v_2$ fluctuations. We observe that the difference between $v_2{2}$ and $v_2{4}$ is smaller at the lower collision energies. Values of $v_2$, scaled by the initial coordinate space eccentricity, $v_{2}/\varepsilon$, as a function of $p_T$ are larger in more central collisions, suggesting stronger collective flow develops in more central collisions, similar to the results at higher collision energies. These results are compared to measurements at higher energies at the Relativistic Heavy Ion Collider ($\sqrt{s_{NN}}$ = 62.4 and 200 GeV) and at the Large Hadron Collider (Pb + Pb collisions at $\sqrt{s_{NN}}$ = 2.76 TeV). The $v_2(p_T)$ values for fixed $p_T$ rise with increasing collision energy within the $p_T$ range studied ($< 2 {\rm GeV}/c$). A comparison to viscous hydrodynamic simulations is made to potentially help understand the energy dependence of $v_{2}(p_{T})$. We also compare the $v_2$ results to UrQMD and AMPT transport model calculations, and physics implications on the dominance of partonic versus hadronic phases in the system created at Beam Energy Scan (BES) energies are discussed.Comment: 20 pages, 12 figures. Version accepted by PR

Observation of the antimatter helium-4 nucleus

High-energy nuclear collisions create an energy density similar to that of the universe microseconds after the Big Bang, and in both cases, matter and antimatter are formed with comparable abundance. However, the relatively short-lived expansion in nuclear collisions allows antimatter to decouple quickly from matter, and avoid annihilation. Thus, a high energy accelerator of heavy nuclei is an efficient means of producing and studying antimatter. The antimatter helium-4 nucleus ($^4\bar{He}$), also known as the anti-{\alpha} ($\bar{\alpha}$), consists of two antiprotons and two antineutrons (baryon number B=-4). It has not been observed previously, although the {\alpha} particle was identified a century ago by Rutherford and is present in cosmic radiation at the 10% level. Antimatter nuclei with B < -1 have been observed only as rare products of interactions at particle accelerators, where the rate of antinucleus production in high-energy collisions decreases by about 1000 with each additional antinucleon. We present the observation of the antimatter helium-4 nucleus, the heaviest observed antinucleus. In total 18 $^4\bar{He}$ counts were detected at the STAR experiment at RHIC in 10$^9$ recorded Au+Au collisions at center-of-mass energies of 200 GeV and 62 GeV per nucleon-nucleon pair. The yield is consistent with expectations from thermodynamic and coalescent nucleosynthesis models, which has implications beyond nuclear physics.Comment: 19 pages, 4 figures. Submitted to Nature. Under media embarg

Forward Neutral Pion Transverse Single Spin Asymmetries in p+p Collisions at \sqrt{s}=200 GeV

We report precision measurements of the Feynman-x dependence, and first measurements of the transverse momentum dependence, of transverse single spin asymmetries for the production of \pi^0 mesons from polarized proton collisions at \sqrt{s}=200 GeV. The x_F dependence of the results is in fair agreement with perturbative QCD model calculations that identify orbital motion of quarks and gluons within the proton as the origin of the spin effects. Results for the p_T dependence at fixed x_F are not consistent with pQCD-based calculations.Comment: 6 pages, 4 figure