Typing Copyless Message Passing

We present a calculus that models a form of process interaction based on copyless message passing, in the style of Singularity OS. The calculus is equipped with a type system ensuring that well-typed processes are free from memory faults, memory leaks, and communication errors. The type system is essentially linear, but we show that linearity alone is inadequate, because it leaves room for scenarios where well-typed processes leak significant amounts of memory. We address these problems basing the type system upon an original variant of session types.Comment: 50 page

De novo design of protein logic gates

The design of modular protein logic for regulating protein function at the posttranscriptional level is a challenge for synthetic biology. Here, we describe the design of two-input AND, OR, NAND, NOR, XNOR, and NOT gates built from de novo–designed proteins. These gates regulate the association of arbitrary protein units ranging from split enzymes to transcriptional machinery in vitro, in yeast and in primary human T cells, where they control the expression of the TIM3 gene related to T cell exhaustion. Designed binding interaction cooperativity, confirmed by native mass spectrometry, makes the gates largely insensitive to stoichiometric imbalances in the inputs, and the modularity of the approach enables ready extension to three-input OR, AND, and disjunctive normal form gates. The modularity and cooperativity of the control elements, coupled with the ability to de novo design an essentially unlimited number of protein components, should enable the design of sophisticated posttranslational control logic over a wide range of biological functions

LibrettOS: A Dynamically Adaptable Multiserver-Library OS

We present LibrettOS, an OS design that fuses two paradigms to simultaneously address issues of isolation, performance, compatibility, failure recoverability, and run-time upgrades. LibrettOS acts as a microkernel OS that runs servers in an isolated manner. LibrettOS can also act as a library OS when, for better performance, selected applications are granted exclusive access to virtual hardware resources such as storage and networking. Furthermore, applications can switch between the two OS modes with no interruption at run-time. LibrettOS has a uniquely distinguishing advantage in that, the two paradigms seamlessly coexist in the same OS, enabling users to simultaneously exploit their respective strengths (i.e., greater isolation, high performance). Systems code, such as device drivers, network stacks, and file systems remain identical in the two modes, enabling dynamic mode switching and reducing development and maintenance costs. To illustrate these design principles, we implemented a prototype of LibrettOS using rump kernels, allowing us to reuse existent, hardened NetBSD device drivers and a large ecosystem of POSIX/BSD-compatible applications. We use hardware (VM) virtualization to strongly isolate different rump kernel instances from each other. Because the original rumprun unikernel targeted a much simpler model for uniprocessor systems, we redesigned it to support multicore systems. Unlike kernel-bypass libraries such as DPDK, applications need not be modified to benefit from direct hardware access. LibrettOS also supports indirect access through a network server that we have developed. Applications remain uninterrupted even when network components fail or need to be upgraded. Finally, to efficiently use hardware resources, applications can dynamically switch between the indirect and direct modes based on their I/O load at run-time. [full abstract is in the paper]Comment: 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE '20), March 17, 2020, Lausanne, Switzerlan

Pest population dynamics are related to a continental overwintering gradient

Overwintering success is an important determinant of arthropod populations that must be considered as climate change continues to influence the spatiotemporal population dynamics of agricultural pests. Using a long-term monitoring database and biologically relevant overwintering zones, we modeled the annual and seasonal population dynamics of a common pest, Helicoverpa zea (Boddie), based on three overwintering suitability zones throughout North America using four decades of soil temperatures: the southern range (able to persist through winter), transitional zone (uncertain overwintering survivorship), and northern limits (unable to survive winter). Our model indicates H. zea population dynamics are hierarchically structured with continental-level effects that are partitioned into three geographic zones. Seasonal populations were initially detected in the southern range, where they experienced multiple large population peaks. All three zones experienced a final peak between late July (southern range) and mid-August to mid-September (transitional zone and northern limits). The southern range expanded by 3% since 1981 and is projected to increase by twofold by 2099 but the areas of other zones are expected to decrease in the future. These changes suggest larger populations may persist at higher latitudes in the future due to reduced low-temperature lethal events during winter. Because H. zea is a highly migratory pest, predicting when populations accumulate in one region can inform synchronous or lagged population development in other regions. We show the value of combining long-term datasets, remotely sensed data, and laboratory findings to inform forecasting of insect pests

Effects of climate and snow depth on Bromus tectorum population dynamics at high elevation

Invasive plants are thought to be especially capable of range shifts or expansion in response to climate change due to high dispersal and colonization abilities. Although highly invasive throughout the Intermountain West, the presence and impact of the grass Bromus tectorum has been limited at higher elevations in the eastern Sierra Nevada, potentially due to extreme wintertime conditions. However, climate models project an upward elevational shift of climate regimes in the Sierra Nevada that could favor B. tectorum expansion. This research specifically examined the effects of experimental snow depth manipulations and interannual climate variability over 5 years on B. tectorum populations at high elevation (2,175 m). Experimentally-increased snow depth had an effect on phenology and biomass, but no effect on individual fecundity. Instead an experimentally-increased snowpack inhibited population growth in 1 year by reducing seedling emergence and early survival. A similar negative effect of increased snow was observed 2 years later. However, a strong negative effect on B. tectorum was also associated with a naturally low-snow winter, when seedling emergence was reduced by 86%. Across 5 years, winters with greater snow cover and a slower accumulation of degree-days coincided with higher B. tectorum seedling density and population growth. Thus, we observed negative effects associated with both experimentally-increased and naturally-decreased snowpacks. It is likely that the effect of snow at high elevation is nonlinear and differs from lower elevations where wintertime germination can be favorable. Additionally, we observed a doubling of population size in 1 year, which is alarming at this elevation

Hyperoxemia and excess oxygen use in early acute respiratory distress syndrome : Insights from the LUNG SAFE study

Publisher Copyright: © 2020 The Author(s). Copyright: Copyright 2020 Elsevier B.V., All rights reserved.Background: Concerns exist regarding the prevalence and impact of unnecessary oxygen use in patients with acute respiratory distress syndrome (ARDS). We examined this issue in patients with ARDS enrolled in the Large observational study to UNderstand the Global impact of Severe Acute respiratory FailurE (LUNG SAFE) study. Methods: In this secondary analysis of the LUNG SAFE study, we wished to determine the prevalence and the outcomes associated with hyperoxemia on day 1, sustained hyperoxemia, and excessive oxygen use in patients with early ARDS. Patients who fulfilled criteria of ARDS on day 1 and day 2 of acute hypoxemic respiratory failure were categorized based on the presence of hyperoxemia (PaO2 > 100 mmHg) on day 1, sustained (i.e., present on day 1 and day 2) hyperoxemia, or excessive oxygen use (FIO2 ≥ 0.60 during hyperoxemia). Results: Of 2005 patients that met the inclusion criteria, 131 (6.5%) were hypoxemic (PaO2 < 55 mmHg), 607 (30%) had hyperoxemia on day 1, and 250 (12%) had sustained hyperoxemia. Excess FIO2 use occurred in 400 (66%) out of 607 patients with hyperoxemia. Excess FIO2 use decreased from day 1 to day 2 of ARDS, with most hyperoxemic patients on day 2 receiving relatively low FIO2. Multivariate analyses found no independent relationship between day 1 hyperoxemia, sustained hyperoxemia, or excess FIO2 use and adverse clinical outcomes. Mortality was 42% in patients with excess FIO2 use, compared to 39% in a propensity-matched sample of normoxemic (PaO2 55-100 mmHg) patients (P = 0.47). Conclusions: Hyperoxemia and excess oxygen use are both prevalent in early ARDS but are most often non-sustained. No relationship was found between hyperoxemia or excessive oxygen use and patient outcome in this cohort. Trial registration: LUNG-SAFE is registered with ClinicalTrials.gov, NCT02010073publishersversionPeer reviewe

Heterogeneous treatment effects of therapeutic-dose heparin in patients hospitalized for COVID-19

Importance Randomized clinical trials (RCTs) of therapeutic-dose heparin in patients hospitalized with COVID-19 produced conflicting results, possibly due to heterogeneity of treatment effect (HTE) across individuals. Better understanding of HTE could facilitate individualized clinical decision-making. Objective To evaluate HTE of therapeutic-dose heparin for patients hospitalized for COVID-19 and to compare approaches to assessing HTE. Design, Setting, and Participants Exploratory analysis of a multiplatform adaptive RCT of therapeutic-dose heparin vs usual care pharmacologic thromboprophylaxis in 3320 patients hospitalized for COVID-19 enrolled in North America, South America, Europe, Asia, and Australia between April 2020 and January 2021. Heterogeneity of treatment effect was assessed 3 ways: using (1) conventional subgroup analyses of baseline characteristics, (2) a multivariable outcome prediction model (risk-based approach), and (3) a multivariable causal forest model (effect-based approach). Analyses primarily used bayesian statistics, consistent with the original trial. Exposures Participants were randomized to therapeutic-dose heparin or usual care pharmacologic thromboprophylaxis. Main Outcomes and Measures Organ support–free days, assigning a value of −1 to those who died in the hospital and the number of days free of cardiovascular or respiratory organ support up to day 21 for those who survived to hospital discharge; and hospital survival. Results Baseline demographic characteristics were similar between patients randomized to therapeutic-dose heparin or usual care (median age, 60 years; 38% female; 32% known non-White race; 45% Hispanic). In the overall multiplatform RCT population, therapeutic-dose heparin was not associated with an increase in organ support–free days (median value for the posterior distribution of the OR, 1.05; 95% credible interval, 0.91-1.22). In conventional subgroup analyses, the effect of therapeutic-dose heparin on organ support–free days differed between patients requiring organ support at baseline or not (median OR, 0.85 vs 1.30; posterior probability of difference in OR, 99.8%), between females and males (median OR, 0.87 vs 1.16; posterior probability of difference in OR, 96.4%), and between patients with lower body mass index (BMI 90% for all comparisons). In risk-based analysis, patients at lowest risk of poor outcome had the highest propensity for benefit from heparin (lowest risk decile: posterior probability of OR >1, 92%) while those at highest risk were most likely to be harmed (highest risk decile: posterior probability of OR <1, 87%). In effect-based analysis, a subset of patients identified at high risk of harm (P = .05 for difference in treatment effect) tended to have high BMI and were more likely to require organ support at baseline. Conclusions and Relevance Among patients hospitalized for COVID-19, the effect of therapeutic-dose heparin was heterogeneous. In all 3 approaches to assessing HTE, heparin was more likely to be beneficial in those who were less severely ill at presentation or had lower BMI and more likely to be harmful in sicker patients and those with higher BMI. The findings illustrate the importance of considering HTE in the design and analysis of RCTs. Trial Registration ClinicalTrials.gov Identifiers: NCT02735707, NCT04505774, NCT04359277, NCT0437258