Automated Conformance Testing for JavaScript Engines via Deep Compiler Fuzzing

JavaScript (JS) is a popular, platform-independent programming language. To ensure the interoperability of JS programs across different platforms, the implementation of a JS engine should conform to the ECMAScript standard. However, doing so is challenging as there are many subtle definitions of API behaviors, and the definitions keep evolving. We present COMFORT, a new compiler fuzzing framework for detecting JS engine bugs and behaviors that deviate from the ECMAScript standard. COMFORT leverages the recent advance in deep learning-based language models to automatically generate JS test code. As a departure from prior fuzzers, COMFORT utilizes the well-structured ECMAScript specifications to automatically generate test data along with the test programs to expose bugs that could be overlooked by the developers or manually written test cases. COMFORT then applies differential testing methodologies on the generated test cases to expose standard conformance bugs. We apply COMFORT to ten mainstream JS engines. In 200 hours of automated concurrent testing runs, we discover bugs in all tested JS engines. We had identified 158 unique JS engine bugs, of which 129 have been verified, and 115 have already been fixed by the developers. Furthermore, 21 of the COMFORT-generated test cases have been added to Test262, the official ECMAScript conformance test suite

Expression of MuRF1 or MuRF2 is essential for the induction of skeletal muscle atrophy and dysfunction in a murine pulmonary hypertension model

Background Pulmonary hypertension leads to right ventricular heart failure and ultimately to cardiac cachexia. Cardiac cachexia induces skeletal muscles atrophy and contractile dysfunction. MAFbx and MuRF1 are two key proteins that have been implicated in chronic muscle atrophy of several wasting states. Methods Monocrotaline (MCT) was injected over eight weeks into mice to establish pulmonary hypertension as a murine model for cardiac cachexia. The effects on skeletal muscle atrophy, myofiber force, and selected muscle proteins were evaluated in wild-type (WT), MuRF1, and MuRF2-KO mice by determining muscle weights, in vitro muscle force and enzyme activities in soleus and tibialis anterior (TA) muscle. Results In WT, MCT treatment induced wasting of soleus and TA mass, loss of myofiber force, and depletion of citrate synthase (CS), creatine kinase (CK), and malate dehydrogenase (MDH) (all key metabolic enzymes). This suggests that the murine MCT model is useful to mimic peripheral myopathies as found in human cardiac cachexia. In MuRF1 and MuRF2-KO mice, soleus and TA muscles were protected from atrophy, contractile dysfunction, while metabolic enzymes were not lowered in MuRF1 or MuRF2-KO mice. Furthermore, MuRF2 expression was lower in MuRF1KO mice when compared to C57BL/6 mice. Conclusions In addition to MuRF1, inactivation of MuRF2 also provides a potent protection from peripheral myopathy in cardiac cachexia. The protection of metabolic enzymes in both MuRF1KO and MuRF2KO mice as well as the dependence of MuRF2 expression on MuRF1 suggests intimate relationships between MuRF1 and MuRF2 during muscle atrophy signaling

α-Adducin Gly460Trp Gene Mutation and Essential Hypertension in a Chinese Population: A Meta-Analysis including 10960 Subjects

BACKGROUND: The α-adducin Gly460Trp (G460W) gene polymorphism may be associated with susceptibility to essential hypertension (EH), but this relationship remains controversial. In an attempt to resolve this issue, we conducted a meta-analysis. METHODS: Twenty-three separated studies involving 5939 EH patients and 5021 controls were retrieved and analyzed. Four ethnicities were included: Han, Kazakh, Mongolian, and She. Eighteen studies with 5087 EH patients and 4183 controls were included in the Han subgroup. Three studies with 636 EH patients and 462 controls were included in the Kazakh subgroup. The Mongolian subgroup was represented by only one study with 100 EH patients and 50 controls; similarly, only one study with 116 EH patients and 326 controls was available for the She subgroup. The pooled and ethnic group odds ratios (ORs) along with the corresponding 95% confidence intervals (95% CI) were assessed using a random effects model. RESULTS: There was a significant association between the α-adducin G460W gene polymorphism and EH in the pooled Chinese population under both an allelic genetic model (OR: 1.12, 95% CI: 1.04-1.20, P = 0.002) and a recessive genetic model (OR: 1.40, 95% CI: 1.16-1.70, P = 0.0005). In contrast, no significant association between the α-adducin G460W gene polymorphism and EH was observed in the dominant genetic model (OR: 0.88, 95% CI: 0.72-1.09, P = 0.24). In stratified analysis by ethnicity, significantly increased risk was detected in the Han subgroup under an allelic genetic model (OR: 1.13, 95% CI: 1.04-1.23, P = 0.003) and a recessive genetic model (OR: 1.43, 95% CI: 1.17-1.75, P = 0.0006). CONCLUSIONS: In a Chinese population of mixed ethnicity, the α-adducin G460W gene polymorphism was linked to EH susceptibility, most strongly in Han Chinese

Observation of a ppb mass threshoud enhancement in \psi^\prime\to\pi^+\pi^-J/\psi(J/\psi\to\gamma p\bar{p}) decay

The decay channel $\psi^\prime\to\pi^+\pi^-J/\psi(J/\psi\to\gamma p\bar{p})$ is studied using a sample of $1.06\times 10^8$ $\psi^\prime$ events collected by the BESIII experiment at BEPCII. A strong enhancement at threshold is observed in the $p\bar{p}$ invariant mass spectrum. The enhancement can be fit with an $S$-wave Breit-Wigner resonance function with a resulting peak mass of $M=1861^{+6}_{-13} {\rm (stat)}^{+7}_{-26} {\rm (syst)} {\rm MeV/}c^2$ and a narrow width that is $\Gamma<38 {\rm MeV/}c^2$ at the 90% confidence level. These results are consistent with published BESII results. These mass and width values do not match with those of any known meson resonance.Comment: 5 pages, 3 figures, submitted to Chinese Physics

Glucocorticoid Receptor and Sequential P53 Activation by Dexamethasone Mediates Apoptosis and Cell Cycle Arrest of Osteoblastic MC3T3-E1 Cells

Glucocorticoids play a pivotal role in the proliferation of osteoblasts, but the underlying mechanism has not been successfully elucidated. In this report, we have investigated the molecular mechanism which elucidates the inhibitory effects of dexamethasone on murine osteoblastic MC3T3-E1 cells. It was found that the inhibitory effects were largely attributed to apoptosis and G1 phase arrest. Both the cell cycle arrest and apoptosis were dependent on glucocorticoid receptor (GR), as they were abolished by GR blocker RU486 pre-treatment and GR interference. G1 phase arrest and apoptosis were accompanied with a p53-dependent up-regulation of p21 and pro-apoptotic genes NOXA and PUMA. We also proved that dexamethasone can’t induce apoptosis and cell cycle arrest when p53 was inhibited by p53 RNA interference. These data demonstrate that proliferation of MC3T3-E1 cell was significantly and directly inhibited by dexamethasone treatment via aberrant GR activation and subsequently P53 activation

Performance of CMS muon reconstruction in pp collision events at sqrt(s) = 7 TeV

The performance of muon reconstruction, identification, and triggering in CMS has been studied using 40 inverse picobarns of data collected in pp collisions at sqrt(s) = 7 TeV at the LHC in 2010. A few benchmark sets of selection criteria covering a wide range of physics analysis needs have been examined. For all considered selections, the efficiency to reconstruct and identify a muon with a transverse momentum pT larger than a few GeV is above 95% over the whole region of pseudorapidity covered by the CMS muon system, abs(eta) < 2.4, while the probability to misidentify a hadron as a muon is well below 1%. The efficiency to trigger on single muons with pT above a few GeV is higher than 90% over the full eta range, and typically substantially better. The overall momentum scale is measured to a precision of 0.2% with muons from Z decays. The transverse momentum resolution varies from 1% to 6% depending on pseudorapidity for muons with pT below 100 GeV and, using cosmic rays, it is shown to be better than 10% in the central region up to pT = 1 TeV. Observed distributions of all quantities are well reproduced by the Monte Carlo simulation.Comment: Replaced with published version. Added journal reference and DO

Performance of CMS muon reconstruction in pp collision events at sqrt(s) = 7 TeV

The performance of muon reconstruction, identification, and triggering in CMS has been studied using 40 inverse picobarns of data collected in pp collisions at sqrt(s) = 7 TeV at the LHC in 2010. A few benchmark sets of selection criteria covering a wide range of physics analysis needs have been examined. For all considered selections, the efficiency to reconstruct and identify a muon with a transverse momentum pT larger than a few GeV is above 95% over the whole region of pseudorapidity covered by the CMS muon system, abs(eta) < 2.4, while the probability to misidentify a hadron as a muon is well below 1%. The efficiency to trigger on single muons with pT above a few GeV is higher than 90% over the full eta range, and typically substantially better. The overall momentum scale is measured to a precision of 0.2% with muons from Z decays. The transverse momentum resolution varies from 1% to 6% depending on pseudorapidity for muons with pT below 100 GeV and, using cosmic rays, it is shown to be better than 10% in the central region up to pT = 1 TeV. Observed distributions of all quantities are well reproduced by the Monte Carlo simulation.Comment: Replaced with published version. Added journal reference and DO

Structural Basis for Distinct Binding Properties of the Human Galectins to Thomsen-Friedenreich Antigen

The Thomsen-Friedenreich (TF or T) antigen, Galβ1-3GalNAcα1-O-Ser/Thr, is the core 1 structure of O-linked mucin type glycans appearing in tumor-associated glycosylation. The TF antigen occurs in about 90% of human cancer cells and is a potential ligand for the human endogenous galectins. It has been reported that human galectin-1 (Gal-1) and galectin-3 (Gal-3) can perform their cancer-related functions via specifically recognizing TF antigen. However, the detailed binding properties have not been clarified and structurally characterized. In this work, first we identified the distinct TF-binding abilities of Gal-1 and Gal-3. The affinity to TF antigen for Gal-3 is two orders of magnitude higher than that for Gal-1. The structures of Gal-3 carbohydrate recognition domain (CRD) complexed with TF antigen and derivatives, TFN and GM1, were then determined. These structures show a unique Glu-water-Arg-water motif-based mode as previously observed in the mushroom galectin AAL. The observation demonstrates that this recognition mode is commonly adopted by TF-binding galectins, either as endogenous or exogenous ones. The detailed structural comparisons between Gal-1 and Gal-3 CRD and mutagenesis experiments reveal that a pentad residue motif (51AHGDA55) at the loop (g1-L4) connecting β-strands 4 and 5 of Gal-1 produces a serious steric hindrance for TF binding. This motif is the main structural basis for Gal-1 with the low affinity to TF antigen. These findings provide the intrinsic structural elements for regulating the TF-binding activity of Gal-1 in some special conditions and also show certain target and approach for mediating some tumor-related bioactivities of human galectins

X-ray emission from the Sombrero galaxy: discrete sources

We present a study of discrete X-ray sources in and around the bulge-dominated, massive Sa galaxy, Sombrero (M104), based on new and archival Chandra observations with a total exposure of ~200 ks. With a detection limit of L_X = 1E37 erg/s and a field of view covering a galactocentric radius of ~30 kpc (11.5 arcminute), 383 sources are detected. Cross-correlation with Spitler et al.'s catalogue of Sombrero globular clusters (GCs) identified from HST/ACS observations reveals 41 X-rays sources in GCs, presumably low-mass X-ray binaries (LMXBs). We quantify the differential luminosity functions (LFs) for both the detected GC and field LMXBs, whose power-low indices (~1.1 for the GC-LF and ~1.6 for field-LF) are consistent with previous studies for elliptical galaxies. With precise sky positions of the GCs without a detected X-ray source, we further quantify, through a fluctuation analysis, the GC LF at fainter luminosities down to 1E35 erg/s. The derived index rules out a faint-end slope flatter than 1.1 at a 2 sigma significance, contrary to recent findings in several elliptical galaxies and the bulge of M31. On the other hand, the 2-6 keV unresolved emission places a tight constraint on the field LF, implying a flattened index of ~1.0 below 1E37 erg/s. We also detect 101 sources in the halo of Sombrero. The presence of these sources cannot be interpreted as galactic LMXBs whose spatial distribution empirically follows the starlight. Their number is also higher than the expected number of cosmic AGNs (52+/-11 [1 sigma]) whose surface density is constrained by deep X-ray surveys. We suggest that either the cosmic X-ray background is unusually high in the direction of Sombrero, or a distinct population of X-ray sources is present in the halo of Sombrero.Comment: 11 figures, 5 tables, ApJ in pres

Azimuthal anisotropy of charged particles at high transverse momenta in PbPb collisions at sqrt(s[NN]) = 2.76 TeV

The azimuthal anisotropy of charged particles in PbPb collisions at nucleon-nucleon center-of-mass energy of 2.76 TeV is measured with the CMS detector at the LHC over an extended transverse momentum (pt) range up to approximately 60 GeV. The data cover both the low-pt region associated with hydrodynamic flow phenomena and the high-pt region where the anisotropies may reflect the path-length dependence of parton energy loss in the created medium. The anisotropy parameter (v2) of the particles is extracted by correlating charged tracks with respect to the event-plane reconstructed by using the energy deposited in forward-angle calorimeters. For the six bins of collision centrality studied, spanning the range of 0-60% most-central events, the observed v2 values are found to first increase with pt, reaching a maximum around pt = 3 GeV, and then to gradually decrease to almost zero, with the decline persisting up to at least pt = 40 GeV over the full centrality range measured.Comment: Replaced with published version. Added journal reference and DO