Specializing Interpreters using Offline Partial Deduction

We present the latest version of the Logen partial evaluation system for logic programs. In particular we present new binding-types, and show how they can be used to effectively specialise a wide variety of interpreters.We show how to achieve Jones-optimality in a systematic way for several interpreters. Finally, we present and specialise a non-trivial interpreter for a small functional programming language. Experimental results are also presented, highlighting that the Logen system can be a good basis for generating compilers for high-level languages

Recurrent de novo SPTLC2 variant causes childhood-onset amyotrophic lateral sclerosis (ALS) by excess sphingolipid synthesis

BACKGROUND: Amyotrophic lateral sclerosis (ALS) is a neurodegenerative disease of the upper and lower motor neurons with varying ages of onset, progression and pathomechanisms. Monogenic childhood-onset ALS, although rare, forms an important subgroup of ALS. We recently reported specific SPTLC1 variants resulting in sphingolipid overproduction as a cause for juvenile ALS. Here, we report six patients from six independent families with a recurrent, de novo, heterozygous variant in SPTLC2 c.778G>A [p.Glu260Lys] manifesting with juvenile ALS. METHODS: Clinical examination of the patients along with ancillary and genetic testing, followed by biochemical investigation of patients' blood and fibroblasts, was performed. RESULTS: All patients presented with early-childhood-onset progressive weakness, with signs and symptoms of upper and lower motor neuron degeneration in multiple myotomes, without sensory neuropathy. These findings were supported on ancillary testing including nerve conduction studies and electromyography, muscle biopsies and muscle ultrasound studies. Biochemical investigations in plasma and fibroblasts showed elevated levels of ceramides and unrestrained de novo sphingolipid synthesis. Our studies indicate that SPTLC2 variant [c.778G>A, p.Glu260Lys] acts distinctly from hereditary sensory and autonomic neuropathy (HSAN)-causing SPTLC2 variants by causing excess canonical sphingolipid biosynthesis, similar to the recently reported SPTLC1 ALS associated pathogenic variants. Our studies also indicate that serine supplementation, which is a therapeutic in SPTLC1 and SPTCL2-associated HSAN, is expected to exacerbate the excess sphingolipid synthesis in serine palmitoyltransferase (SPT)-associated ALS. CONCLUSIONS: SPTLC2 is the second SPT-associated gene that underlies monogenic, juvenile ALS and further establishes alterations of sphingolipid metabolism in motor neuron disease pathogenesis. Our findings also have important therapeutic implications: serine supplementation must be avoided in SPT-associated ALS, as it is expected to drive pathogenesis further

Picking on the family: disrupting android malware triage by forcing misclassification

Machine learning classification algorithms are widely applied to different malware analysis problems because of their proven abilities to learn from examples and perform relatively well with little human input. Use cases include the labelling of malicious samples according to families during triage of suspected malware. However, automated algorithms are vulnerable to attacks. An attacker could carefully manipulate the sample to force the algorithm to produce a particular output. In this paper we discuss one such attack on Android malware classifiers. We design and implement a prototype tool, called IagoDroid, that takes as input a malware sample and a target family, and modifies the sample to cause it to be classified as belonging to this family while preserving its original semantics. Our technique relies on a search process that generates variants of the original sample without modifying their semantics. We tested IagoDroid against RevealDroid, a recent, open source, Android malware classifier based on a variety of static features. IagoDroid successfully forces misclassification for 28 of the 29 representative malware families present in the DREBIN dataset. Remarkably, it does so by modifying just a single feature of the original malware. On average, it finds the first evasive sample in the first search iteration, and converges to a 100% evasive population within 4 iterations. Finally, we introduce RevealDroid*, a more robust classifier that implements several techniques proposed in other adversarial learning domains. Our experiments suggest that RevealDroid* can correctly detect up to 99% of the variants generated by IagoDroid

Functional Conservation of Cis-Regulatory Elements of Heat-Shock Genes over Long Evolutionary Distances

Transcriptional control of gene regulation is an intricate process that requires precise orchestration of a number of molecular components. Studying its evolution can serve as a useful model for understanding how complex molecular machines evolve. One way to investigate evolution of transcriptional regulation is to test the functions of cis-elements from one species in a distant relative. Previous results suggested that few, if any, tissue-specific promoters from Drosophila are faithfully expressed in C. elegans. Here we show that, in contrast, promoters of fly and human heat-shock genes are upregulated in C. elegans upon exposure to heat. Inducibility under conditions of heat shock may represent a relatively simple “on-off” response, whereas complex expression patterns require integration of multiple signals. Our results suggest that simpler aspects of regulatory logic may be retained over longer periods of evolutionary time, while more complex ones may be diverging more rapidly

Adaptive Evolution of a Stress Response Protein

Some cancers are mediated by an interplay between tissue damage, pathogens and localised innate immune responses, but the mechanisms that underlie these linkages are only beginning to be unravelled.Here we identify a strong signature of adaptive evolution on the DNA sequence of the mammalian stress response gene SEP53, a member of the epidermal differentiation complex fused-gene family known for its role in suppressing cancers. The SEP53 gene appears to have been subject to adaptive evolution of a type that is commonly (though not exclusively) associated with coevolutionary arms races. A similar pattern of molecular evolution was not evident in the p53 cancer-suppressing gene.Our data thus raises the possibility that SEP53 is a component of the mucosal/epithelial innate immune response engaged in an ongoing interaction with a pathogen. Although the pathogenic stress mediating adaptive evolution of SEP53 is not known, there are a number of well-known candidates, in particular viruses with established links to carcinoma

Common variants in CLDN2 and MORC4 genes confer disease susceptibility in patients with chronic pancreatitis

A recent Genome-wide Association Study (GWAS) identified association with variants in X-linked CLDN2 and MORC4 and PRSS1-PRSS2 loci with Chronic Pancreatitis (CP) in North American patients of European ancestry. We selected 9 variants from the reported GWAS and replicated the association with CP in Indian patients by genotyping 1807 unrelated Indians of Indo-European ethnicity, including 519 patients with CP and 1288 controls. The etiology of CP was idiopathic in 83.62% and alcoholic in 16.38% of 519 patients. Our study confirmed a significant association of 2 variants in CLDN2 gene (rs4409525—OR 1.71, P = 1.38 x 10-09; rs12008279—OR 1.56, P = 1.53 x 10-04) and 2 variants in MORC4 gene (rs12688220—OR 1.72, P = 9.20 x 10-09; rs6622126—OR 1.75, P = 4.04x10-05) in Indian patients with CP. We also found significant association at PRSS1-PRSS2 locus (OR 0.60; P = 9.92 x 10-06) and SAMD12-TNFRSF11B (OR 0.49, 95% CI [0.31–0.78], P = 0.0027). A variant in the gene MORC4 (rs12688220) showed significant interaction with alcohol (OR for homozygous and heterozygous risk allele -14.62 and 1.51 respectively, P = 0.0068) suggesting gene-environment interaction. A combined analysis of the genes CLDN2 and MORC4 based on an effective risk allele score revealed a higher percentage of individuals homozygous for the risk allele in CP cases with 5.09 fold enhanced risk in individuals with 7 or more effective risk alleles compared with individuals with 3 or less risk alleles (P = 1.88 x 10-14). Genetic variants in CLDN2 and MORC4 genes were associated with CP in Indian patients

Deploying Search Based Software Engineering with Sapienz at Facebook

We describe the deployment of the Sapienz Search Based Software Engineering (SBSE) testing system. Sapienz has been deployed in production at Facebook since September 2017 to design test cases, localise and triage crashes to developers and to monitor their fixes. Since then, running in fully continuous integration within Facebook’s production development process, Sapienz has been testing Facebook’s Android app, which consists of millions of lines of code and is used daily by hundreds of millions of people around the globe. We continue to build on the Sapienz infrastructure, extending it to provide other software engineering services, applying it to other apps and platforms, and hope this will yield further industrial interest in and uptake of SBSE (and hybridisations of SBSE) as a result

An animal model to evaluate the function and regulation of the adaptively evolving stress protein SEP53 in oesophageal bile damage responses

Squamous epithelium in mammals has evolved an atypical stress response involving down-regulation of the classic HSP70 protein and induction of sets of proteins including one named SEP53. This atypical stress response might be due to the unusual environmental pressures placed on squamous tissue. In fact, SEP53 plays a role as an anti-apoptotic factor in response to DNA damage induced by deoxycholic acid stresses implicated in oesophageal reflux disease. SEP53 also has a genetic signature characteristic of an adaptively and rapidly evolving gene, and this observation has been used to imply a role for SEP53 in immunity. Physiological models of squamous tissue are required to further define the regulation and function of SEP53. We examined whether porcine squamous epithelium would be a good model to study SEP53, since this animal suffers from a bile-reflux disease in squamous oesophageal tissue. We have (1) cloned and sequenced the porcine SEP53 locus from porcine bacterial artificial chromosome genomic DNA, (2) confirmed the strikingly divergent nature of the C-terminal portion of the SEP53 gene amongst mammals, (3) discovered that a function of the conserved N-terminal domain of the gene is to maintain cytoplasmic localisation, and (4) examined SEP53 expression in normal and diseased porcine pars oesophagea. SEP53 expression in porcine tissue was relatively confined to gastric squamous epithelium, consistent with its expression in normal human squamous epithelium. Immunohistochemical staining for SEP53 protein in normal and damaged pars oesophagea demonstrated significant stabilisation of SEP53 protein in the injured tissue. These results suggest that porcine squamous epithelium would be a robust physiological model to examine the evolution and function of the SEP53 stress pathway in modulating stress-induced responses in squamous tissue