Search for: All records

The representation of functions in higher-order languages includes both the function’s code and anenvironmentstructure that captures the bindings of the function’s free variables. This paper explores caller-provided environments, where instead ofpackagingthe entirety of a function’s environment in its closure, a function can beprovidedwith a portion of its environment by its caller. In higher-order languages, it is difficult to determine where functions are called, let alone what pieces of the function’s environment are available to be provided by the caller, thus we need a higher-order control-flow analysis to enable caller-provided environments. In this paper, we present a new abstract-interpretation-based analysis that discovers which pieces of a function’s environment are always shared between its definition and its callers. In such cases, the caller can provide the environment to the callee. Our analysis has been formalized in the Rocq proof assistant. We evaluate our analysis on a collection of programs demonstrating that it is both scalable and provides significantly better information over the common syntactic approach and better information thanlightweight closure conversion. In fact, it yields the theoretical upper-bound for many programs. For caller-provided environments, deciding how to transform the program based on these revealed facts is also non-trivial and has the potential to incur extra runtime cost over standard strategies. We discuss how to make these decisions in a way that avoids the extra costs and how to transform a program accordingly. We also propose other uses of the analysis results beyond enabling caller-provided environments. We evaluate our transformation using an instrumented interpreter, showing that our approach is effective in reducing dynamic allocations for environments. 

Abstract Sea level rise is leading to the rapid migration of marshes into coastal forests and other terrestrial ecosystems. Although complex biophysical interactions likely govern these ecosystem transitions, projections of sea level driven land conversion commonly rely on a simplified “threshold elevation” that represents the elevation of the marsh‐upland boundary based on tidal datums alone. To determine the influence of biophysical drivers on threshold elevations, and their implication for land conversion, we examined almost 100,000 high‐resolution marsh‐forest boundary elevation points, determined independently from tidal datums, alongside hydrologic, ecologic, and geomorphic data in the Chesapeake Bay, the largest estuary in the U.S. located along the mid‐Atlantic coast. We find five‐fold variations in threshold elevation across the entire estuary, driven not only by tidal range, but also salinity and slope. However, more than half of the variability is unexplained by these variables, which we attribute largely to uncaptured local factors including groundwater discharge, microtopography, and anthropogenic impacts. In the Chesapeake Bay, observed threshold elevations deviate from predicted elevations used to determine sea level driven land conversion by as much as the amount of projected regional sea level rise by 2050. These results suggest that local drivers strongly mediate coastal ecosystem transitions, and that predictions based on elevation and tidal datums alone may misrepresent future land conversion. 

Abstract The frequency of salt marsh dieback events has increased over the last 25 years with unknown consequences to the resilience of the ecosystem to accelerated sea level rise (SLR). Salt marsh ecosystems impacted by sudden vegetation dieback events were previously thought to recover naturally within a few months to years. In this study, we used a 13‐year collection of remotely sensed imagery to provide evidence that approximately 14% of total marsh area has not revegetated 10 years after a dieback event in Charleston, SC. Dieback onset coincided with a severe drought in 2012, as indicated by the Palmer drought stress index. A second dieback event occurred in 2016 after a historic flood influenced by Hurricane Joaquin in 2015. Unvegetated zones reached nearly 30% of the total marsh area in 2017. We used a light detection and ranging‐derived digital elevation model to determine that most affected areas were associated with lower elevation zones in the interior of the marsh. Further, restoration by grass planting was effective, with pilot‐scale restored plots having greater aboveground biomass than reference sites after two years of transplanting. A positive outcome indicated that the stressors that caused the dieback are no longer present. Despite that, many affected areas have not recovered naturally, even though they are located within the typical elevation range of healthy marshes. A mechanistic modeling approach was used to assess the effects of vegetation dieback on salt marsh resilience to SLR. Predictions indicate that a highly productive restored marsh (2000 g m⁻² year⁻¹) would persist at a moderate SLR rate of 60 cm in 100 years, whereas a nonrestored mudflat would lose all its elevation capital after 100 years. Thus, rapid restoration of marsh dieback is critical to avoid further degradation. Also, failure to incorporate the increasing frequency and intensity of extreme climatic events that trigger irreversible marsh diebacks underestimates salt marsh vulnerability to climate change. Finally, at an elevated SLR rate of 122 cm in 100 years, which is most likely an extreme climate change scenario, even highly productive ecosystems augmented by sediment placement would not keep pace with SLR. Thus, climate change mitigation actions are also urgently needed to preserve present‐day marsh ecosystems. 

Abstract In the quest for high-energy neutrino sources, the Astrophysical Multimessenger Observatory Network has implemented a new search by combining data from the High Altitude Water Cherenkov (HAWC) Observatory and the Astronomy with a Neutrino Telescope and Abyss environmental RESearch (ANTARES) neutrino telescope. Using the same analysis strategy as in a previous detector combination of HAWC and IceCube data, we perform a search for coincidences in HAWC and ANTARES events that are below the threshold for sending public alerts in each individual detector. Data were collected between 2015 July and 2020 February with a live time of 4.39 yr. Over this time period, three coincident events with an estimated false-alarm rate of <1 coincidence per year were found. This number is consistent with background expectations. 

Abstract For several decades, the origin of ultra-high-energy cosmic rays (UHECRs) has been an unsolved question of high-energy astrophysics. One approach for solving this puzzle is to correlate UHECRs with high-energy neutrinos, since neutrinos are a direct probe of hadronic interactions of cosmic rays and are not deflected by magnetic fields. In this paper, we present three different approaches for correlating the arrival directions of neutrinos with the arrival directions of UHECRs. The neutrino data are provided by the IceCube Neutrino Observatory and ANTARES, while the UHECR data with energies above ∼50 EeV are provided by the Pierre Auger Observatory and the Telescope Array. All experiments provide increased statistics and improved reconstructions with respect to our previous results reported in 2015. The first analysis uses a high-statistics neutrino sample optimized for point-source searches to search for excesses of neutrino clustering in the vicinity of UHECR directions. The second analysis searches for an excess of UHECRs in the direction of the highest-energy neutrinos. The third analysis searches for an excess of pairs of UHECRs and highest-energy neutrinos on different angular scales. None of the analyses have found a significant excess, and previously reported overfluctuations are reduced in significance. Based on these results, we further constrain the neutrino flux spatially correlated with UHECRs.