FAUSTA: Scaling Dynamic Analysis with Traffic Generation at WhatsApp

We introduce Fausta, an algorithmic traffic gener-ation platform that enables analysis and testing at scale. Fausta has been deployed at Meta to analyze and test the WhatsApp plat-form infrastructure since September 2020, enabling WhatsApp developers to deploy reliable code changes to a code base of millions of lines of code, supporting over 2 billion users who rely on WhatsApp for their daily communications. Fausta covers expected and unexpected program behaviors in a privacy-safe controlled environment to support multiple use cases such as reliability testing, privacy analysis and performance regression detection. It currently supports three different algorithmic input generation strategies, each of which construct realistic backend server traffic that closely simulates production data, without replaying any real user data. Fausta has been deployed and closely integrated into the WhatsApp continuous integration process, catching bugs in development before they hit production. We report on the development and deployment of Fausta's reliability use case between September 2020 and August 2021. During this period it has found 1,876 unique reliability issues, with a fix rate of 74%, indicating a high degree of true positive fault revelation. We also report on the distribution of fault types revealed by Fausta, and the correlation between coverage and faults found. Overall, we do find evidence that higher coverage is correlated with fault revelation

Three-dimensional organotypic co-culture model of intestinal epithelial cells and macrophages to study Salmonella enterica colonization patterns

Three-dimensional models of human intestinal epithelium mimic the differentiated form and function of parental tissues often not exhibited by two-dimensional monolayers and respond to Salmonella in key ways that reflect in vivo infections. To further enhance the physiological relevance of three-dimensional models to more closely approximate in vivo intestinal microenvironments encountered by Salmonella, we developed and validated a novel three-dimensional co-culture infection model of colonic epithelial cells and macrophages using the NASA Rotating Wall Vessel bioreactor. First, U937 cells were activated upon collagen-coated scaffolds. HT-29 epithelial cells were then added and the three-dimensional model was cultured in the bioreactor until optimal differentiation was reached, as assessed by immunohistochemical profiling and bead uptake assays. The new co-culture model exhibited in vivo-like structural and phenotypic characteristics, including three-dimensional architecture, apical-basolateral polarity, well-formed tight/adherens junctions, mucin, multiple epithelial cell types, and functional macrophages. Phagocytic activity of macrophages was confirmed by uptake of inert, bacteria-sized beads. Contribution of macrophages to infection was assessed by colonization studies of Salmonella pathovars with different host adaptations and disease phenotypes (Typhimurium ST19 strain SL1344 and ST313 strain D23580; Typhi Ty2). In addition, Salmonella were cultured aerobically or microaerobically, recapitulating environments encountered prior to and during intestinal infection, respectively. All Salmonella strains exhibited decreased colonization in co-culture (HT-29-U937) relative to epithelial (HT-29) models, indicating antimicrobial function of macrophages. Interestingly, D23580 exhibited enhanced replication/survival in both models following invasion. Pathovar-specific differences in colonization and intracellular co-localization patterns were observed. These findings emphasize the power of incorporating a series of related three-dimensional models within a study to identify microenvironmental factors important for regulating infection

Semantic Fuzzing with Zest

Programs expecting structured inputs often consist of both a syntactic analysis stage, which parses raw input, and a semantic analysis stage, which conducts checks on the parsed input and executes the core logic of the program. Generator-based testing tools in the lineage of QuickCheck are a promising way to generate random syntactically valid test inputs for these programs. We present Zest, a technique which automatically guides QuickCheck-like randominput generators to better explore the semantic analysis stage of test programs. Zest converts random-input generators into deterministic parametric generators. We present the key insight that mutations in the untyped parameter domain map to structural mutations in the input domain. Zest leverages program feedback in the form of code coverage and input validity to perform feedback-directed parameter search. We evaluate Zest against AFL and QuickCheck on five Java programs: Maven, Ant, BCEL, Closure, and Rhino. Zest covers 1.03x-2.81x as many branches within the benchmarks semantic analysis stages as baseline techniques. Further, we find 10 new bugs in the semantic analysis stages of these benchmarks. Zest is the most effective technique in finding these bugs reliably and quickly, requiring at most 10 minutes on average to find each bug.Comment: To appear in Proceedings of 28th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'19

Colon cancer associated genes exhibit signatures of positive selection at functionally significant positions

Background Cancer, much like most human disease, is routinely studied by utilizing model organisms. Of these model organisms, mice are often dominant. However, our assumptions of functional equivalence fail to consider the opportunity for divergence conferred by ~180 Million Years (MY) of independent evolution between these species. For a given set of human disease related genes, it is therefore important to determine if functional equivalency has been retained between species. In this study we test the hypothesis that cancer associated genes have different patterns of substitution akin to adaptive evolution in different mammal lineages. Results Our analysis of the current literature and colon cancer databases identified 22 genes exhibiting colon cancer associated germline mutations. We identified orthologs for these 22 genes across a set of high coverage (>6X) vertebrate genomes. Analysis of these orthologous datasets revealed significant levels of positive selection. Evidence of lineage-specific positive selection was identified in 14 genes in both ancestral and extant lineages. Lineage-specific positive selection was detected in the ancestral Euarchontoglires and Hominidae lineages for STK11, in the ancestral primate lineage for CDH1, in the ancestral Murinae lineage for both SDHC and MSH6 genes and the ancestral Muridae lineage for TSC1. Conclusion Identifying positive selection in the Primate, Hominidae, Muridae and Murinae lineages suggests an ancestral functional shift in these genes between the rodent and primate lineages. Analyses such as this, combining evolutionary theory and predictions - along with medically relevant data, can thus provide us with important clues for modeling human diseases

Antiepileptic drugs’ tolerability and safety – a systematic review and meta-analysis of adverse effects in dogs

<p>Various anti-epileptic drugs (AEDs) are used for the management of idiopathic epilepsy (IE) in dogs. Their safety profile is an important consideration for regulatory bodies, owners and prescribing clinicians. However, information on their adverse effects still remains limited with most of it derived from non-blinded non-randomized uncontrolled trials and case reports.</p><p><span>This poster won third place, which was presented at the Veterinary Evidence Today conference, Edinburgh November 1-3, 2016. </span></p><br /> <img src="https://www.veterinaryevidence.org/rcvskmod/icons/oa-icon.jpg" alt="Open Access" /

Polarized P-glycoprotein expression by the immortalised human brain endothelial cell line, hCMEC/D3, restricts apical-to-basolateral permeability to rhodamine 123

P-glycoprotein (P-gp) expression at the blood-brain barrier prevents unwanted blood-borne toxins and signalling molecules from entering the brain. Primary and immortalised human brain endothelial cells (BECs) represent two suitable options for studying P-gp function in vitro. The limited supply of primary human BECs and their instability over passage number makes this choice unattractive for medium/high throughput studies. The aim of this study was to further characterise the expression of P-gp by an immortalised human BEC line, hCMEC/D3, in order to evaluate their use as an in vitro human blood-brain barrier model. P-gp expression was stable over a high passage number (up to passage 38) and was polarised on the apical plasma membrane, consistent with human BECs in vivo. In addition, hCMEC/D3 cell P-gp expression was comparable, albeit slightly lower to that observed in primary isolated human BECs although P-gp function was similar in both cell lines. The P-gp inhibitors tariquidar and vinblastine prevented the efflux of rhodamine 123 (rh123) from hCMEC/D3 cells, indicative of functional P-gp expression. hCMEC/D3 cells also displayed polarised P-gp transport, since both tariquidar and vinblasine selectively increased the apical-to-basolateral permeability of hCMEC/D3 cells to rh123. The results presented here demonstrate that hCMEC/D3 cells are a suitable model to investigate substrate specificity of P-gp in BECs of human origin

Drosophila KCNQ Channel Displays Evolutionarily Conserved Electrophysiology and Pharmacology with Mammalian KCNQ Channels

Of the five human KCNQ (Kv7) channels, KCNQ1 with auxiliary subunit KCNE1 mediates the native cardiac IKs current with mutations causing short and long QT cardiac arrhythmias. KCNQ4 mutations cause deafness. KCNQ2/3 channels form the native M-current controlling excitability of most neurons, with mutations causing benign neonatal febrile convulsions. Drosophila contains a single KCNQ (dKCNQ) that appears to serve alone the functions of all the duplicated mammalian neuronal and cardiac KCNQ channels sharing roughly 50–60% amino acid identity therefore offering a route to investigate these channels. Current information about the functional properties of dKCNQ is lacking therefore we have investigated these properties here. Using whole cell patch clamp electrophysiology we compare the biophysical and pharmacological properties of dKCNQ with the mammalian neuronal and cardiac KCNQ channels expressed in HEK cells. We show that Drosophila KCNQ (dKCNQ) is a slowly activating and slowly-deactivating K+ current open at sub-threshold potentials that has similar properties to neuronal KCNQ2/3 with some features of the cardiac KCNQ1/KCNE1 accompanied by conserved sensitivity to a number of clinically relevant KCNQ blockers (chromanol 293B, XE991, linopirdine) and opener (zinc pyrithione). We also investigate the molecular basis of the differential selectivity of KCNQ channels to the opener retigabine and show a single amino acid substitution (M217W) can confer sensitivity to dKCNQ. We show dKCNQ has similar electrophysiological and pharmacological properties as the mammalian KCNQ channels, allowing future study of physiological and pathological roles of KCNQ in Drosophila and whole organism screening for new modulators of KCNQ channelopathies

A novel chalcone derivative which acts as a microtubule depolymerising agent and an inhibitor of P-gp and BCRP in in-vitro and in-vivo glioblastoma models

<p>Abstract</p> <p>Background</p> <p>Over the past decades, in spite of intensive search, no significant increase in the survival of patients with glioblastoma has been obtained. The role of the blood-brain barrier (BBB) and especially the activity of efflux pumps belonging to the ATP Binding Cassette (ABC) family may, in part, explain this defect.</p> <p>Methods</p> <p>The <it>in-vitro </it>activities of JAI-51 on cell proliferation were assessed by various experimental approaches in four human and a murine glioblastoma cell lines. Using drug exclusion assays and flow-cytometry, potential inhibitory effects of JAI-51 on P-gp and BCRP were evaluated in sensitive or resistant cell lines. JAI-51 activity on <it>in-vitro </it>microtubule polymerization was assessed by tubulin polymerization assay and direct binding measurements by analytical ultracentrifugation. Finally, a model of C57BL/6 mice bearing subcutaneous GL26 glioblastoma xenografts was used to assess the activity of the title compound <it>in vivo</it>. An HPLC method was designed to detect JAI-51 in the brain and other target organs of the treated animals, as well as in the tumours.</p> <p>Results</p> <p>In the four human and the murine glioblastoma cell lines tested, 10 μM JAI-51 inhibited proliferation and blocked cells in the M phase of the cell cycle, via its activity as a microtubule depolymerising agent. This ligand binds to tubulin with an association constant of 2 × 10⁵M^-1, overlapping the colchicine binding site. JAI-51 also inhibited the activity of P-gp and BCRP, without being a substrate of these efflux pumps. These <it>in vitro </it>studies were reinforced by our <it>in vivo </it>investigations of C57BL/6 mice bearing GL26 glioblastoma xenografts, in which JAI-51 induced a delay in tumour onset and a tumour growth inhibition, following intraperitoneal administration of 96 mg/kg once a week. In accordance with these results, JAI-51 was detected by HPLC in the tumours of the treated animals. Moreover, JAI-51 was detected in the brain, showing that the molecule is also able to cross the BBB.</p> <p>Conclusion</p> <p>These <it>in vitro </it>and <it>in vivo </it>data suggest that JAI-51 could be a good candidate for a new treatment of tumours of the CNS. Further investigations are in progress to associate the title compound chemotherapy to radiotherapy in a rat model.</p

A closed loop brain-machine interface for epilepsy control using dorsal column electrical stimulation

Although electrical neurostimulation has been proposed as an alternative treatment for drug-resistant cases of epilepsy, current procedures such as deep brain stimulation, vagus, and trigeminal nerve stimulation are effective only in a fraction of the patients. Here we demonstrate a closed loop brain-machine interface that delivers electrical stimulation to the dorsal column (DCS) of the spinal cord to suppress epileptic seizures. Rats were implanted with cortical recording microelectrodes and spinal cord stimulating electrodes, and then injected with pentylenetetrazole to induce seizures. Seizures were detected in real time from cortical local field potentials, after which DCS was applied. This method decreased seizure episode frequency by 44% and seizure duration by 38%. We argue that the therapeutic effect of DCS is related to modulation of cortical theta waves, and propose that this closed-loop interface has the potential to become an effective and semi-invasive treatment for refractory epilepsy and other neurological disorders.We are grateful for the assistance from Jim Meloy for the design and production of the multielectrode arrays as well as setup development and maintenance, Laura Oliveira, Terry Jones, and Susan Halkiotis for administrative assistance and preparation of the manuscript. This work was funded by a grant from The Hartwell Foundation.info:eu-repo/semantics/publishedVersio