Strategyproof Computing: Systems Infrastructures for Self-Interested Parties

The widespread deployment of high-speed internet access is ushering in a new era of distributed computing, in which parties both contribute to a global pool of shared resources and access the pooled resources to support their own computing needs. We argue that system designers must explicitly address the self-interest of individual parties if these next-generation computing systems are to flourish. We propose strategyproof computing, a vision for an open computing infrastructure in which resource allocation and negotiation schemes are incentive-compatible, and individual parties can treat other resources as their own. In this paper we outline key guiding principles for the vision of strategyproof computing, define the strategyproof computing paradigm, and lay out a systems-related research agenda.Engineering and Applied Science

Virtual Worlds: Fast and Strategyproof Auctions for Dynamic Resource Allocation

We consider the problem of designing fast and strategyproof exchanges for dynamic resource allocation problems in distributed systems. The exchange is implemented as a sequence of auctions, with dynamically arriving requests from agents matched with each auction. Each auction is associated with some consignment of the resources from a single seller. We provide a simple Virtual Worlds (VW) construction, that extends a fast and strategyproof mechanism for a single auction to apply to this sequence-of-auctions setting. Rather than match each buyer with a single auction, the VW mechanism allows buyers to be considered for multiple auctions while retaining strategyproofness.Engineering and Applied Science

Inhibition of Orai Channel Function Regulates Mas-Related G Protein-Coupled Receptor-Mediated Responses in Mast Cells

Mast cells (MCs) are tissue resident immune cells that play important roles in the pathogenesis of allergic disorders. These responses are mediated via the cross-linking of cell surface high affinity IgE receptor (FcϵRI) by antigen resulting in calcium (Ca2+) mobilization, followed by degranulation and release of proinflammatory mediators. In addition to FcϵRI, cutaneous MCs express Mas-related G protein-coupled receptor X2 (MRGPRX2; mouse ortholog MrgprB2). Activation of MRGPRX2/B2 by the neuropeptide substance P (SP) is implicated in neurogenic inflammation, chronic urticaria, mastocytosis and atopic dermatitis. Although Ca2+ entry is required for MRGPRX2/B2-mediated MC responses, the possibility that calcium release-activated calcium (CRAC/Orai) channels participate in these responses has not been tested. Lentiviral shRNA-mediated silencing of Orai1, Orai2 or Orai3 in a human MC line (LAD2 cells) resulted in partial inhibition of SP-induced Ca2+ mobilization, degranulation and cytokine/chemokine generation (TNF-α, IL-8, and CCL-3). Synta66, which blocks homo and hetero-dimerization of Orai channels, caused a more robust inhibition of SP-induced responses than knockdown of individual Orai channels. Synta66 also blocked SP-induced extracellular signal-regulated kinase 1/2 (ERK1/2) and Akt phosphorylation and abrogated cytokine/chemokine production. It also inhibited SP-induced Ca2+ mobilization and degranulation in primary human skin MCs and mouse peritoneal MCs. Furthermore, Synta66 attenuated both SP-induced cutaneous vascular permeability and leukocyte recruitment in mouse peritoneum. These findings demonstrate that Orai channels contribute to MRGPRX2/B2-mediated MC activation and suggest that their inhibition could provide a novel approach for the modulation of SP-induced MC/MRGPRX2-mediated disorders. Copyright © 2022 Chaki, Alkanfari, Roy, Amponnawarat, Hui, Oskeritzian and Ali

Egg: An Extensible and Economics-Inspired Open Grid Computing Platform

The Egg project provides a vision and implementation of how heterogeneous computational requirements will be supported within a single grid and a compelling reason to explain why computational grids will thrive. Environment computing, which allows a user to specify properties that a compute environment must satisfy in order to support the user’s computation, provides a how. Economic principles, allowing resource owners, users, and other stakeholders to make value and policy statements, provides a why. The Egg project introduces a language for defining software environments (egg shell), a general type for grid objects (the cache), and a currency (the egg). The Egg platform resembles an economically driven Internetwide Unix system with egg shell playing the role of a scripting language and caches playing the role of a global file system, including an initial collection of devices.Engineering and Applied Science

Impact of Community-Based Larviciding on the Prevalence of Malaria Infection in Dar es Salaam, Tanzania.

The use of larval source management is not prioritized by contemporary malaria control programs in sub-Saharan Africa despite historical success. Larviciding, in particular, could be effective in urban areas where transmission is focal and accessibility to Anopheles breeding habitats is generally easier than in rural settings. The objective of this study is to assess the effectiveness of a community-based microbial larviciding intervention to reduce the prevalence of malaria infection in Dar es Salaam, United Republic of Tanzania. Larviciding was implemented in 3 out of 15 targeted wards of Dar es Salaam in 2006 after two years of baseline data collection. This intervention was subsequently scaled up to 9 wards a year later, and to all 15 targeted wards in 2008. Continuous randomized cluster sampling of malaria prevalence and socio-demographic characteristics was carried out during 6 survey rounds (2004-2008), which included both cross-sectional and longitudinal data (N = 64,537). Bayesian random effects logistic regression models were used to quantify the effect of the intervention on malaria prevalence at the individual level. Effect size estimates suggest a significant protective effect of the larviciding intervention. After adjustment for confounders, the odds of individuals living in areas treated with larviciding being infected with malaria were 21% lower (Odds Ratio = 0.79; 95% Credible Intervals: 0.66-0.93) than those who lived in areas not treated. The larviciding intervention was most effective during dry seasons and had synergistic effects with other protective measures such as use of insecticide-treated bed nets and house proofing (i.e., complete ceiling or window screens). A large-scale community-based larviciding intervention significantly reduced the prevalence of malaria infection in urban Dar es Salaam

A Hybrid Approach to Causality Analysis

In component-based safety-critical systems, when a system safety property is violated, it is necessary to analyze which components are the cause. Given a system execution trace that exhibits component faults leading to a property violation, our causality analysis formalizes a notion of counterfactual reasoning (\what would the system behavior be if a component had been correct? ) and algorithmically derives such alternative system behaviors, without re-executing the system itself. In this paper, we show that we can improve precision of the analysis if 1) we can emulate execution of components instead of relying on their contracts, and 2) take into consideration input/output dependencies between components to avoid blaming components for faults induced by other components. We demonstrate the utility of the extended analysis with a case study for a closed-loop patient-controlled analgesia system

An affordable, quality-assured community-based system for high-resolution entomological surveillance of vector mosquitoes that reflects human malaria infection risk patterns.

ABSTRACT: BACKGROUND: More sensitive and scalable entomological surveillance tools are required to monitor low levels of transmission that are increasingly common across the tropics, particularly where vector control has been successful. A large-scale larviciding programme in urban Dar es Salaam, Tanzania is supported by a community-based (CB) system for trapping adult mosquito densities to monitor programme performance. Methodology An intensive and extensive CB system for routine, longitudinal, programmatic surveillance of malaria vectors and other mosquitoes using the Ifakara Tent Trap (ITT-C) was developed in Urban Dar es Salaam, Tanzania, and validated by comparison with quality assurance (QA) surveys using either ITT-C or human landing catches (HLC), as well as a cross-sectional survey of malaria parasite prevalence in the same housing compounds. RESULTS: Community-based ITT-C had much lower sensitivity per person-night of sampling than HLC (Relative Rate (RR) [95% Confidence Interval (CI)] = 0.079 [0.051, 0.121], P < 0.001 for Anopheles gambiae s.l. and 0.153 [0.137, 0.171], P < 0.001 for Culicines) but only moderately differed from QA surveys with the same trap (0.536 [0.406,0.617], P = 0.001 and 0.747 [0.677,0.824], P < 0.001, for An. gambiae or Culex respectively). Despite the poor sensitivity of the ITT per night of sampling, when CB-ITT was compared with QA-HLC, it proved at least comparably sensitive in absolute terms (171 versus 169 primary vectors caught) and cost-effective (153US$versus 187US$ per An. gambiae caught) because it allowed more spatially extensive and temporally intensive sampling (4284 versus 335 trap nights distributed over 615 versus 240 locations with a mean number of samples per year of 143 versus 141). Despite the very low vectors densities (Annual estimate of about 170 An gambiae s.l bites per person per year), CB-ITT was the only entomological predictor of parasite infection risk (Odds Ratio [95% CI] = 4.43[3.027,7. 454] per An. gambiae or Anopheles funestus caught per night, P =0.0373). Discussion and conclusion CB trapping approaches could be improved with more sensitive traps, but already offer a practical, safe and affordable system for routine programmatic mosquito surveillance and clusters could be distributed across entire countries by adapting the sample submission and quality assurance procedures accordingly

The epidemiology of residual Plasmodium falciparum malaria transmission and infection burden in an African city with high coverage of multiple vector control measures.

BACKGROUND In the Tanzanian city of Dar es Salaam, high coverage of long-lasting insecticidal nets (LLINs), larvicide application (LA) and mosquito-proofed housing, was complemented with improved access to artemisinin-based combination therapy and rapid diagnostic tests by the end of 2012. METHODS Three rounds of city-wide, cluster-sampled cross-sectional surveys of malaria parasite infection status, spanning 2010 to 2012, were complemented by two series of high-resolution, longitudinal surveys of vector density. RESULTS Larvicide application using a granule formulation of Bacillus thuringiensis var. israelensis (Bti) had no effect upon either vector density (P = 0.820) or infection prevalence (P = 0.325) when managed by a private-sector contractor. Infection prevalence rebounded back to 13.8 % in 2010, compared with <2 % at the end of a previous Bti LA evaluation in 2008. Following transition to management by the Ministry of Health and Social Welfare (MoHSW), LA consistently reduced vector densities, first using the same Bti granule in early 2011 [odds ratio (OR) (95 % confidence interval (CI)) = 0.31 (0.14, 0.71), P = 0.0053] and then a pre-diluted aqueous suspension formulation from mid 2011 onwards [OR (95 % CI) = 0.15 (0.07, 0.30), P ≪ 0.000001]. While LA by MoHSW with the granule formulation was associated with reduced infection prevalence [OR (95 % CI) = 0.26 (0.12, 0.56), P = 0.00040], subsequent liquid suspension use, following a mass distribution to achieve universal coverage of LLINs that reduced vector density [OR (95 % CI) = 0.72 (0.51, 1.01), P = 0.057] and prevalence [OR (95 % CI) = 0.80 (0.69, 0.91), P = 0.0013], was not associated with further prevalence reduction (P = 0.836). Sleeping inside houses with complete window screens only reduced infection risk [OR (95 % CI) = 0.71 (0.62, 0.82), P = 0.0000036] if the evenings and mornings were also spent indoors. Furthermore, infection risk was only associated with local vector density [OR (95 % CI) = 6.99 (1.12, 43.7) at one vector mosquito per trap per night, P = 0.037] among the minority (14 %) of households lacking screening. Despite attenuation of malaria transmission and immunity, 88 % of infected residents experienced no recent fever, only 0.4 % of these afebrile cases had been treated for malaria, and prevalence remained high (9.9 %) at the end of the study. CONCLUSIONS While existing vector control interventions have dramatically attenuated malaria transmission in Dar es Salaam, further scale-up and additional measures to protect against mosquito bites outdoors are desirable. Accelerated elimination of chronic human infections persisting at high prevalence will require active, population-wide campaigns with curative drugs

Evaluation of alternative mosquito sampling methods for malaria vectors in Lowland South - East Zambia.

Sampling malaria vectors and measuring their biting density is of paramount importance for entomological surveys of malaria transmission. Human landing catch (HLC) has been traditionally regarded as a gold standard method for surveying human exposure to mosquito bites. However, due to the risk of human participant exposure to mosquito-borne parasites and viruses, a variety of alternative, exposure-free trapping methods were compared in lowland, south-east Zambia. Centres for Disease Control and Prevention miniature light trap (CDC-LT), Ifakara Tent Trap model C (ITT-C), resting boxes (RB) and window exit traps (WET) were all compared with HLC using a 3 × 3 Latin Squares design replicated in 4 blocks of 3 houses with long lasting insecticidal nets, half of which were also sprayed with a residual deltamethrin formulation, which was repeated for 10 rounds of 3 nights of rotation each during both the dry and wet seasons. The mean catches of HLC indoor, HLC outdoor, CDC-LT, ITT-C, WET, RB indoor and RB outdoor, were 1.687, 1.004, 3.267, 0.088, 0.004, 0.000 and 0.008 for Anopheles quadriannulatus Theobald respectively, and 7.287, 6.784, 10.958, 5.875, 0.296, 0.158 and 0.458, for An. funestus Giles, respectively. Indoor CDC-LT was more efficient in sampling An. quadriannulatus and An. funestus than HLC indoor (Relative rate [95% Confidence Interval] = 1.873 [1.653, 2.122] and 1.532 [1.441, 1.628], respectively, P < 0.001 for both). ITT-C was the only other alternative which had comparable sensitivity (RR = 0.821 [0.765, 0.881], P < 0.001), relative to HLC indoor other than CDC-LT for sampling An. funestus. While the two most sensitive exposure-free techniques primarily capture host-seeking mosquitoes, both have substantial disadvantages for routine community-based surveillance applications: the CDC-LT requires regular recharging of batteries while the bulkiness of ITT-C makes it difficult to move between sampling locations. RB placed indoors or outdoors and WET had consistently poor sensitivity so it may be useful to evaluate additional alternative methods, such as pyrethrum spray catches and back packer aspirators, for catching resting mosquitoes

Shuffle–based verification of component compatibility

An extension of earlier work on component compatibility is described in this paper. Similarly as before, the behavior of components is specified by component interface languages, and the shuffle operation is introduced to represent possible interleavings of service requests that originate at several concurrent components. The paper shows that the verification of component compatibility is possible without the exhaustive analysis of the state space of interacting components. Exhaustive analysis of state spaces was the basis of earlier approaches to compatibility verification