funcX: A Federated Function Serving Fabric for Science

Exploding data volumes and velocities, new computational methods and platforms, and ubiquitous connectivity demand new approaches to computation in the sciences. These new approaches must enable computation to be mobile, so that, for example, it can occur near data, be triggered by events (e.g., arrival of new data), be offloaded to specialized accelerators, or run remotely where resources are available. They also require new design approaches in which monolithic applications can be decomposed into smaller components, that may in turn be executed separately and on the most suitable resources. To address these needs we present funcX---a distributed function as a service (FaaS) platform that enables flexible, scalable, and high performance remote function execution. funcX's endpoint software can transform existing clouds, clusters, and supercomputers into function serving systems, while funcX's cloud-hosted service provides transparent, secure, and reliable function execution across a federated ecosystem of endpoints. We motivate the need for funcX with several scientific case studies, present our prototype design and implementation, show optimizations that deliver throughput in excess of 1 million functions per second, and demonstrate, via experiments on two supercomputers, that funcX can scale to more than more than 130000 concurrent workers.Comment: Accepted to ACM Symposium on High-Performance Parallel and Distributed Computing (HPDC 2020). arXiv admin note: substantial text overlap with arXiv:1908.0490

On a Linear Program for Minimum-Weight Triangulation

Minimum-weight triangulation (MWT) is NP-hard. It has a polynomial-time constant-factor approximation algorithm, and a variety of effective polynomial- time heuristics that, for many instances, can find the exact MWT. Linear programs (LPs) for MWT are well-studied, but previously no connection was known between any LP and any approximation algorithm or heuristic for MWT. Here we show the first such connections: for an LP formulation due to Dantzig et al. (1985): (i) the integrality gap is bounded by a constant; (ii) given any instance, if the aforementioned heuristics find the MWT, then so does the LP.Comment: To appear in SICOMP. Extended abstract appeared in SODA 201

Recognizing Treelike k-Dissimilarities

A k-dissimilarity D on a finite set X, |X| >= k, is a map from the set of size k subsets of X to the real numbers. Such maps naturally arise from edge-weighted trees T with leaf-set X: Given a subset Y of X of size k, D(Y) is defined to be the total length of the smallest subtree of T with leaf-set Y . In case k = 2, it is well-known that 2-dissimilarities arising in this way can be characterized by the so-called "4-point condition". However, in case k > 2 Pachter and Speyer recently posed the following question: Given an arbitrary k-dissimilarity, how do we test whether this map comes from a tree? In this paper, we provide an answer to this question, showing that for k >= 3 a k-dissimilarity on a set X arises from a tree if and only if its restriction to every 2k-element subset of X arises from some tree, and that 2k is the least possible subset size to ensure that this is the case. As a corollary, we show that there exists a polynomial-time algorithm to determine when a k-dissimilarity arises from a tree. We also give a 6-point condition for determining when a 3-dissimilarity arises from a tree, that is similar to the aforementioned 4-point condition.Comment: 18 pages, 4 figure

Biallelic mutations in nucleoporin NUP88 cause lethal fetal akinesia deformation sequence

Nucleoporins build the nuclear pore complex (NPC), which, as sole gate for nuclear-cytoplasmic exchange, is of outmost importance for normal cell function. Defects in the process of nucleocytoplasmic transport or in its machinery have been frequently described in human diseases, such as cancer and neurodegenerative disorders, but only in a few cases of developmental disorders. Here we report biallelic mutations in the nucleoporin NUP88 as a novel cause of lethal fetal akinesia deformation sequence (FADS) in two families. FADS comprises a spectrum of clinically and genetically heterogeneous disorders with congenital malformations related to impaired fetal movement. We show that genetic disruption of nup88 in zebrafish results in pleiotropic developmental defects reminiscent of those seen in affected human fetuses, including locomotor defects as well as defects at neuromuscular junctions. Phenotypic alterations become visible at distinct developmental stages, both in affected human fetuses and in zebrafish, whereas early stages of development are apparently normal. The zebrafish phenotypes caused by nup88 deficiency are rescued by expressing wild-type Nup88 but not the disease-linked mutant forms of Nup88. Furthermore, using human and mouse cell lines as well as immunohistochemistry on fetal muscle tissue, we demonstrate that NUP88 depletion affects rapsyn, a key regulator of the muscle nicotinic acetylcholine receptor at the neuromuscular junction. Together, our studies provide the first characterization of NUP88 in vertebrate development, expand our understanding of the molecular events causing FADS, and suggest that variants in NUP88 should be investigated in cases of FADS

Acute pressure overload of the right ventricle. Comparison of two models of right-left shunt. Pulmonary artery to left atrium and right atrium to left atrium: experimental study

<p>Abtract</p> <p>Background</p> <p>In right ventricular failure (RVF), an interatrial shunt can relieve symptoms of severe pulmonary hypertension by reducing right ventricular preload and increasing systemic flow. Using a pig model to determine if a pulmonary artery - left atrium shunt (PA-LA) is better than a right atrial - left atrial shunt (RA-LA), we compared the hemodynamic effects and blood gases between the two shunts.</p> <p>Methods</p> <p>Thirty, male Large White pigs weighting in average 21.3 kg ± 0.7 (SEM) were divided into two groups (15 pigs per group): In group 1, banding of the pulmonary artery and a pulmonary artery to left atrium shunt with an 8 mm graft (PA-LA) was performed and in group 2 banding of the pulmonary artery and right atrial to left atrial shunt (RA-LA) with a similar graft was performed. Hemodynamic parameters and blood gases were measured from all cardiac chambers in 10 and 20 minutes, half and one hour interval from the baseline (30 min from the banding). Cardiac output and flow of at the left anterior descending artery was also monitored.</p> <p>Results</p> <p>In both groups, a stable RVF was generated. The PA-LA shunt compared to the RA-LA shunt has better hemodynamic performance concerning the decreased right ventricle afterload, the 4 fold higher mean pressure of the shunt, the better flow in left anterior descending artery and the decreased systemic vascular resistance. Favorable to the PA-LA shunt is also the tendency - although not statistically significant - in relation to central venous pressure, left atrial filling and cardiac output.</p> <p>Conclusion</p> <p>The PA-LA shunt can effectively reverse the catastrophic effects of acute RVF offering better hemodynamic characteristics than an interatrial shunt.</p

Stereotypical Chronic Lymphocytic Leukemia B-Cell Receptors Recognize Survival Promoting Antigens on Stromal Cells

Chronic lymphocytic leukemia (CLL) is the most common leukemia in the Western world. Survival of CLL cells depends on their close contact with stromal cells in lymphatic tissues, bone marrow and blood. This microenvironmental regulation of CLL cell survival involves the stromal secretion of chemo- and cytokines as well as the expression of adhesion molecules. Since CLL survival may also be driven by antigenic stimulation through the B-cell antigen receptor (BCR), we explored the hypothesis that these processes may be linked to each other. We tested if stromal cells could serve as an antigen reservoir for CLL cells, thus promoting CLL cell survival by stimulation through the BCR. As a proof of principle, we found that two CLL BCRs with a common stereotyped heavy chain complementarity-determining region 3 (previously characterized as “subset 1”) recognize antigens highly expressed in stromal cells – vimentin and calreticulin. Both antigens are well-documented targets of autoantibodies in autoimmune disorders. We demonstrated that vimentin is displayed on the surface of viable stromal cells and that it is present and bound by the stereotyped CLL BCR in CLL-stroma co-culture supernatant. Blocking the vimentin antigen by recombinant soluble CLL BCR under CLL-stromal cell co-culture conditions reduces stroma-mediated anti-apoptotic effects by 20–45%. We therefore conclude that CLL BCR stimulation by stroma-derived antigens can contribute to the protective effect that the stroma exerts on CLL cells. This finding sheds a new light on the understanding of the pathobiology of this so far mostly incurable disease

Using UML Collaboration Diagrams for Static Checking and Test Generation

Software testing can only be formalized and quantified when a solid basis for test generation can be defined. Tests are commonly generated from program source code, graphical models of software (such as control flow graphs), and specifications/requirements. UML collaboration diagrams represent a significant opportunity for testing because they precisely describe how the functions the software provides are connected in a form that can be easily manipulated by automated means. This paper presents novel test criteria that are based on UML collaboration diagrams. The most novel aspect of this is that tests can be generated automatically from the software design, rather than the code or the specifications. Criteria are defined for both static and dynamic testing of specification-level and instance-level collaboration diagrams. These criteria allow a formal integration tests to be based on high level design notations, which can help lead to software that is significantly more reliable.