More Like this

1. Reusing Just-in-Time Compiled Code

   https://doi.org/10.1145/3622839  

   Mehta, Meetesh Kalpesh ; Krynski, Sebastián ; Gualandi, Hugo Musso ; Thakur, Manas ; Vitek, Jan ( October 2023 , Proceedings of the ACM on Programming Languages)

   Most code is executed more than once. If not entire programs then libraries remain unchanged from one run to the next. Just-in-time compilers expend considerable effort gathering insights about code they compiled many times, and often end up generating the same binary over and over again. We explore how to reuse compiled code across runs of different programs to reduce warm-up costs of dynamic languages. We propose to usespeculative contextual dispatchto select versions of functions from anoff-line curated code repository. That repository is a persistent database of previously compiled functions indexed by the context under which they were compiled. The repository is curated to remove redundant code and to optimize dispatch. We assess practicality by extending Ř, a compiler for the R language, and evaluating its performance. Our results suggest that the approach improves warmup times while preserving peak performance.

    

   more » « less
2. Compiled, Extensible, Multi-language DSLs (Functional Pearl)

   https://doi.org/10.1145/3674627  

   Ballantyne, Michael ; Gamburg, Mitch ; Hemann, Jason ( August 2024 , Proceedings of the ACM on Programming Languages)

   Implementations of domain-specific languages should offer both extensibility and performance optimizations. With the new syntax-spec metalanguage in Racket, programmers can easily create DSL implementations that are both automatically macro-extensible and subject to conventional compiler optimizations. This pearl illustrates this approach through a new implementation of miniKanren, a widely used relational programming DSL. The miniKanren community has explored, in separate implementations, optimization techniques and a wide range of extensions. We demonstrate how our new miniKanren implementation with syntax-spec reconciles these features in a single implementation that comes with both an optimizing compiler and an extension mechanism. Furthermore, programmers using the new implementation benefit from the same seamless integration between Racket and miniKanren as in existing shallow embeddings.

    

   more » « less
3. Ixodes Scapularis monitoring data compiled from 6 studies

   https://doi.org/10.5281/zenodo.6540831  

   Christie, Rowan ; Stack, Kaitlin Whitney ; Perrone, Julia ; Bahlai, Christie ( January 2022 , Zenodo)

   This dataset lists 289 blacklegged tick population datasets from 6 studies that record abundance. These datasets were found by inputing keywords Ixodes Scapularis and tick in data repositories including Long Term Ecological Research data portal, National Ecological Observatory Network data portal, Google Datasets, Data Dryad, and Data One. The types of tick data recorded from these studies include density (number per square meter for example), proportion of ticks, count of ticks found on people. The locations of the datasets range from New York, New Jersey, Iowa, Massachusetts, and Connecticut, and range from 9 to 24 years in length. These datasets vary in that some record different life stages, geographic scope (county/town/plot), sampling technique (dragging/surveying), and different study length. The impact of these study factors on study results is analyzed in our research.

   Funding:

   RMC is supported by the National Institute of General Medical Sciences of the National Institutes of the Health under Award Number R25GM122672. CAB, JP, and KSW are supported by the Office of Advanced Cyberinfrastructure in the National Science Foundation under Award Number #1838807. The content is solely the responsibility of the authors and does not necessarily represent the official views of the National Institutes of Health or the National Science Foundation.

   {"references": ["Ellison A. 2017. Incidence of Ticks and Tick Bites at Harvard Forest since 2006. Environmental Data Initiative. https://doi.org/10.6073/pasta/71f12a4ffb7658e71a010866d1805a84. Dataset accessed 6/25/2019", "New York State Department of Health Office of Public Health. 2019. Deer Tick Surveillance: Adults (Oct to Dec) excluding Powassan virus: Beginning 2008. https://health.data.ny.gov/Health/Deer-Tick-Surveillance-Nymphs-May-to-Sept-excludin/kibp-u2ip", "New York State Department of Health Office of Public Health. 2019. Access Nymph Deer Tick Collection Data by County (Excluding Powassan Virus). https://health.data.ny.gov/Health/Deer-Tick-Surveillance-Nymphs-May-to-Sept-excludin/kibp-u2ip", "Ostfeld RS, Levi T, Keesing F, Oggenfuss K, Canham CD (2018) Data from: Tick-borne disease risk in a forest food web. Dryad Digital Repository. https://doi.org/10.5061/dryad.d1c8046", "Oliver JD, Bennett SW, Beati L, Bartholomay LC (2017) Range Expansion and Increasing Borrelia burgdorferi Infection of the Tick Ixodes scapularis (Acari: Ixodidae) in Iowa, 1990\u20132013. Journal of Medical Entomology 54(6): 1727-1734. https://doi.org/10.1093/jme/tjx121", "The Connecticut Agricultural Experiment Station. (n.d.). Summaries of tick testing. CT.gov. Retrieved May 12, 2022, from https://portal.ct.gov/CAES/Fact-Sheets/Tick-Summary/Summaries-of-Tick-Testing", "Jordan, R. A., & Egizi, A. (2019). The growing importance of lone star ticks in a Lyme disease endemic county: Passive tick surveillance in Monmouth County, NJ, 2006 - 2016. PloS one, 14(2), e0211778. https://doi.org/10.1371/journal.pone.0211778"]} 

   more » « less
4. Доверя́й, но проверя́й: SFI safety for native-compiled Wasm

   https://doi.org/10.14722/ndss.2021.24078  

   Johnson, Evan ; Thien, David ; Alhessi, Yousef ; Narayan, Shravan ; Brown, Fraser ; Lerner, Sorin ; McMullen, Tyler ; Savage, Stefan ; Stefan, Deian ( February 2021 , Network and Distributed Systems Security (NDSS) Symposium)

   null (Ed.)

   WebAssembly (Wasm) is a platform-independent bytecode that offers both good performance and runtime isolation. To implement isolation, the compiler inserts safety checks when it compiles Wasm to native machine code. While this approach is cheap, it also requires trust in the compiler's correctness---trust that the compiler has inserted each necessary check, correctly formed, in each proper place. Unfortunately, subtle bugs in the Wasm compiler can break---and have broken---isolation guarantees. To address this problem, we propose verifying memory isolation of Wasm binaries post-compilation. We implement this approach in VeriWasm, a static offline verifier for native x86-64 binaries compiled from Wasm; we prove the verifier's soundness, and find that it can detect bugs with no false positives. Finally, we describe our deployment of VeriWasm at Fastly. 

   more » « less
5. CPT-based liquefaction case histories compiled from three earthquakes in Canterbury, New Zealand

   https://doi.org/10.1177/8755293021996367  

   Geyin, Mertcan ; Maurer, Brett W ; Bradley, Brendon A ; Green, Russell A ; van Ballegooy, Sjoerd ( January 2021 , Earthquake Spectra)

   null (Ed.)

   Earthquakes occurring over the past decade in the Canterbury region of New Zealand have resulted in liquefaction case-history data of unprecedented quantity. This provides the profession with a unique opportunity to advance the prediction of liquefaction occurrence and consequences. Toward that end, this article presents a curated dataset containing ∼15,000 cone-penetration-test-based liquefaction case histories compiled from three earthquakes in Canterbury. The compiled, post-processed data are presented in a dense array structure, allowing researchers to easily access and analyze a wealth of information pertinent to free-field liquefaction response (i.e. triggering and surface manifestation). Research opportunities using these data include, but are not limited to, the training or testing of new and existing liquefaction-prediction models. The many methods used to obtain and process the case-history data are detailed herein, as is the structure of the compiled digital file. Finally, recommendations for analyzing the data are outlined, including nuances and limitations that users should carefully consider. 

   more » « less