Search NASA⌕ Search

SEARCH · Search NASA

Results for “Compilers”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 289 records · Page 16

fortfmt-fix

SF-25-126 **fortfmt‑fix** is a small, deterministic codemod that rewrites these descriptors to explicit, standard‑conforming forms (e.g., `I12`, `F25.16`), enabling clean builds on modern compilers without vendor‑specific options. The tool is designed to be idempotent and conservative, preserving semantics while reducing maintenance burden in research codebases.

Bross, David [Argonne National Laboratory (ANL), A↗

ROSE Castor

ROSE Castor is a tool enabling automated verification of C++, built off of the ROSE compiler framework and the Why3 framework. Castor defines a verification language for providing specifications of C++ code, letting users perform automated functional formal verification of their C++ code. Castor is designed to target C++17, and supports a subset of the language, including classes, functions, templates, integers and booleans, pointers and references, and single inheritance. Castor currently does not support multiple or virtual inheritance, virtual functions, floating-point, threading, lambda functions, or the C++ STL, though some of these are planned in future updates. Castor ships with an in-house parser for parsing verification conditions.

Lane, PhillipA [Lawrence Livermore National Labora↗

Cyote Insights

CyOTE Insights leverages React, Vite, Typescript, Tailwind, and Daisy UI for the Graphical User Interface. It was designed in a particular style with a dark mode and a light mode. All code is broken down into components and reusable wrapper components for efficiency. All data is stored in Deep Lynx as a central data repository using an ontology based schema. The application serves as a main endpoint for the data in the COREII and CyOTE programs. The main purpose of the application is to display historical attack data in the Operational Technology space. At the time of this writing, it supports 27 historical attack reports compiled from OSINT sources. All of the data is publicly available, but what this application offers is the ability to see many years worth of publications in a detailed dashboard. It will also support future reports that are written using the other applications in the COREII program.

Pluth, AdamJ [Idaho National Laboratory (INL), Ida↗

arco (Assembled Resource-Constrained Optimization) [SWR-26-030]

Arco (Assembled Resource-Constrained Optimization) is a memory-smart optimization DSL and solver for LP and MIP problems on constrained hardware. The software is an optimization framework built around a KDL-based domain-specific language and a CLI compiler/solver. You write optimization models in .kdl files, and the arco CLI compiles, validates, inspects, and solves them. Language bindings (Python today, more planned) provide programmatic access to the same engine. Built for harder optimization problems on constrained resources, Arco is intentional about every allocation, careful with stack and heap behavior, and relentless about minimizing memory usage so more systems can run real workloads. Arco is built primarily for internal use within our organization. You are welcome to try it, but we make no guarantees about API stability or robustness at this stage

Sanchez Perez, Pedro Andres [National Laboratory o↗

CodeScribe Agent

SF-26-086 CodeScribe introduces a structured, multi-stage pipeline that combines deterministic program analysis with LLM-powered translation to enable incremental, testable Fortran-to-C++ migration. First, `code-scribe index` traverses the project directory tree and produces `scribe.yaml` metadata files recording all modules, subroutines, and functions at each level, giving the LLM accurate structural context instead of a hallucinated codebase model. Second, `code-scribe draft` performs the deterministic portion of translation — converting Fortran types to C++ equivalents, replacing `use` statements with `#include` and `using namespace` directives, and detecting constructs requiring special handling — while embedding`scribe-prompt` annotations that guide the LLM through non-trivial cases such as statement-function-to-lambda conversions and `extern "C"` wrapper generation. Third, `code-scribe translate` applies project-specific TOML-based few-shot prompt templates and submits the composed prompt to a pluggable LLM backend (OpenAI, Anthropic, Argonne ARGO, any OpenAI-compatible endpoint, or local Hugging Face checkpoints), producing a C++ source file, a header, and a Fortran-C++ interface file for each translated routine so the codebase compiles and runs correctly throughout the migration. Beyond translation, CodeScribe includes a tool-using coding agent (`code-scribe agent`) with read, bash, edit, and write capabilities, and a bounded loop mode (`code-scribe loop`) that runs repeated stateless agent sessions over a task file with restricted tool access — enabling sustained, auditable software development workflows for broader scientific computing tasks.

Dhruv, Akash [Argonne National Laboratory (ANL), A↗

Estimating Fine-Resolution Shortwave Broadband Albedo of Croplands from Harmonized Landsat and Sentinel-2 Data

Altered surface albedo due to land-cover conversions and management is a significant driver of global climate change. Albedo can be directly measured at ground stations, and remote sensing data can be used to scale-up albedo values to regional and global levels. Some previous studies have retrieved fine-resolution (10–30 m) instantaneous albedo and coarse-resolution (500–1000 m) daily mean albedo from remote sensing data, but they all required the input of Moderate Resolution Imaging Spectroradiometer (MODIS) albedo information at 500-m resolution, and none have assembled both instantaneous and daily albedo based exclusively on fine-resolution satellite data. Here, to address this issue, we compiled 387 instantaneous and 346 daily albedo records using field net radiometer measurements from the bioenergy croplands at the W. K. Kellogg Biological Station in southwest Michigan. We then connected these albedo records with a suite of variables derived from harmonized Landsat and Sentinel-2 data through two machine learning algorithms (random forest regression and extreme gradient boosting) to retrieve clear-sky instantaneous and daily shortwave broadband albedo. The performance statistics indicate reasonable accuracy of model results [root-mean-square error (RMSE)] around or below 0.03 except for snow-covered surfaces), suggesting that the retrieval of both instantaneous and daily albedo based exclusively on fine-resolution satellite data is promising. To facilitate the use of fine-resolution albedo products at the global level, future efforts need to include more albedo records of diverse surface cover types, as well as to accurately model daily albedo for cloudy days to address the “clear-sky bias.”

Harmonized Landsat and Sentinel-2↗

Toward Understanding the Differences between Mesoscale and Large-Eddy Simulations of Tropical Cyclones

In this work, we investigate the ability of mesoscale and large-eddy simulation (LES) model configurations to predict the mean wind speed profile within the boundary layer of tropical cyclones (TCs). To this end, we perform idealized simulations of five hypothetical intense storms ranging from categories 1 to 5 on the Saffir–Simpson scale and extract time-averaged quantities near the eyewall region. We compare the model-generated data against mean wind speed profiles compiled from dropsondes launched from reconnaissance aircraft operating in the North Atlantic basin. Our analysis shows that mesoscale- and LES-generated mean wind fields display important differences in the boundary layer, including the magnitude of shear as well as the height where their low-level wind speed maxima are located. In addition, a comparison between the two model configurations with the dropsonde data shows that both modeling approaches are unable to capture the typical structure of mean winds in the lower part of the TC boundary layer (10–500 m), calling into question the use of simulations of near-axisymmetric storms for investigating the wind structure of past events. To better understand these differences, we conduct a momentum-budget analysis and show that modeled turbulent fluxes are underestimated in the mesoscale boundary layer parameterization compared to the LES model. Based on the analysis of the horizontal turbulent fluxes and their potential impact on mean flow quantities, a TC-specific boundary layer parameterization may be needed.

17 WIND ENERGY↗

Mechanical and Thermal Forcing for Upslope Flows and Cumulus Convection over the Sierras de Córdoba

Abstract The upslope flow processes affecting the vertical extent of orographic cumulus convection are examined using observations from the Cloud, Aerosol, and Complex Terrain Interactions (CACTI) field campaign. Specifically, clear air returns from the U.S. Department of Energy (DOE) second-generation C-band scanning Atmospheric Radiation Measurement (ARM) precipitation radar (CSAPR2) are used to characterize the structure and variability of the ridge-normal (i.e., up/downslope) flow components, which transport mass to the crest of Argentina’s Sierras de Córdoba and contribute to convective initiation. Data are compiled for the entire CACTI period (October–April), including days with clear skies, shallow cumuli, cumulus congestus, and deep convection. To examine shared variability among >70 000 radar scans, we use (i) a principal component analysis (PCA) to isolate modes of variability in the upslope flow and (ii) composite analysis based on convective outcomes, determined from GOES-16 satellite observations. These data are contextualized with observed surface sensible heat fluxes, thermodynamic profiles, and synoptic-scale analysis. Results indicate distinct thermally and mechanically forced upslope flow modes, modulated by diurnal heating and synoptic-scale variations, respectively. In some instances, there is a superposition of thermal and mechanical forcing, yielding either deeper or shallower upslope flow. The composite analyses based on satellite data show that successively deeper convective outcomes are associated with successively deeper upslope flow layers that more readily transport mass to the ridge crest in conjunction with lower lifting condensation levels, facilitating convective initiation. These results help to isolate the forcing mechanisms for orographic convection and thus provide a foundation for parameterizing orographic convective processes in coarse resolution models.

Meteorology & Atmospheric Sciences↗

Landmark Publications in Analytical Atomic Spectrometry: Fundamentals and Instrumentation Development

The almost-two-centuries history of spectrochemical analysis has generated a body of literature so vast that it has become nearly intractable for experts, much less for those wishing to enter the field. Authoritative, focused reviews help to address this problem but become so granular that the overall directions of the field are lost. This broader perspective can be provided partially by general overviews but then the thinking, experimental details, theoretical underpinnings, and instrumental innovations of the original work must be sacrificed. In the present compilation, this dilemma is overcome by assembling the most impactful publications in the area of analytical atomic spectrometry. Each entry was proposed by at least one current expert in the field and supported by a narrative that justifies its inclusion. The entries were then assembled into a coherent sequence and returned to contributors for a round-robin review. A total of 48 scientists participated in this endeavor, contributing a combined list of 1055 individual articles spanning 17 sub-disciplines of spectrochemical analysis into what the current community views as “key” publications. Of these cited articles, 60 received nominations from four or more scientists, establishing them as the most indispensable reading materials. The outcome of this collaborative effort is intended to serve as a valuable resource not only for current practitioners in atomic spectroscopy but also for present and future students who represent coming generations of analytical atomic spectroscopists.

Instruments & Instrumentation↗

Genetic tools for engineering Zymomonas mobilis , Cereibacter sphaeroides and Novosphingobium aromaticivorans to improve production of bioenergy compounds

Limited genetic tools for non-model bacteria are one of the limiting factors for genetic studies. This review compiles genetic tools used for three non-model alpha-proteobacteria, such as Zymomonas mobilis, Cereibacter (Rhodobacter) sphaeroides, and Novosphingobium aromaticivorans, which hold significant potential to produce industrially essential bioenergy compounds due to their distinctive metabolic pathways and resilience in extreme environments. Each of these strains has a unique genetic profile that enables them to efficiently carry out key reactions relevant to producing bioenergy compounds, such as converting sugars into bioenergy compounds and breaking down lignotoxins. Genetic tools can further optimize these strains for enhanced bioenergy compound production. This review explores the metabolic advantages of these organisms. It highlights the available array of genetic toolkits that can be shared among them to unlock their full potential for sustainable biofuel production.

Biofuel↗

Dataset for "A primer on forest structure measurement with lidar for ecologists"

This repository includes data and code accompanying the case study included in the manuscript "A primer on forest structure measurement with lidar for ecologists" (submitted to Ecosphere). We compiled lidar datasets from multiple platforms in a common area to: 1. Demonstrate how differences in sensor characteristics influence density and resolution of lidar data. 2. Provide open-source, co-located datasets for users to further inspect differences in lidar data. 3. Provide example code to perform basic lidar analysis. This case study is meant to allow readers to get hands-on experience with real-world data from different platforms. This case study is not meant to be a rigorous comparison of derived ecological metrics among all sensors; such comparisons can be found throughout other publications referenced throughout the main manuscript. Code includes basic functions in R commonly used to visualize and manipulate lidar data accessible with a normal laptop computer; more sophisticated algorithms for advanced users are also referenced throughout the main manuscript. Terrestrial laser scanning (TLS), mobile laser scanning (MLS), UAS laser scanning (ULS), airborne laser scanning (ALS), and spaceborne laser scanning (SLS) data were collected within the Smithsonian Environmental Research Center (SERC) forest dynamics plot in Maryland, USA. TLS, MLS, and ALS data were collected within 1 month of the 2021 growing season; ULS data were collected in November 2020 (“leaf-off” data) and July 2022 (“leaf-on” data).

54 ENVIRONMENTAL SCIENCES↗

2009 National Household Travel Survey - California Add-On

The California add-on survey supplements the 2009 National Household Travel Survey (NHTS) with additional household samples and detailed travel behavior for an assigned travel day. The NHTS was conducted by the Federal Highway Administration, which collected data on the demographic and socioeconomic composition of households, as well as detailed information on travel behavior nationwide. State transportation departments and metropolitan planning agencies had the opportunity to purchase extra household samples as part of the NHTS add-on program. These additional samples, along with national samples collected in the add-on areas, are compiled for use in transportation planning, forecasting, and research. The California Department of Transportation participated in the NHTS add-on program and received a total of 21,225 household samples in California, from March 2008 through May 2009.

1Hz data↗

2017 National Household Travel Survey - California Add-On

The California add-on survey supplements the 2017 National Household Travel Survey (NHTS) with additional household samples and detailed travel behavior for an assigned travel day. The NHTS was conducted by the Federal Highway Administration, which collected data on the demographic and socioeconomic composition of households, as well as detailed information on travel behavior nationwide. State transportation departments and metropolitan planning agencies had the opportunity to purchase extra household samples as part of the NHTS add-on program. These additional samples, along with national samples collected in the add-on areas, are compiled for use in transportation planning, forecasting, and research. The California Department of Transportation participated in the NHTS add-on program and received a total of 26,095 household samples in California, from April 2016 through April 2017.

1Hz data↗

2001 National Household Travel Survey - Wisconsin Add-On

The Wisconsin add-on survey supplements the 2001 National Household Travel Survey (NHTS) with additional household samples and detailed travel behavior for an assigned travel day. The Federal Highway Administration and Wisconsin Department of Transportation conducted the survey. The NHTS ran from March 2001 through May 2002, with data collection for the Wisconsin add-on occurring May 1, 2001, to May 6, 2002. The NHTS collected detailed information on travel behavior nationwide, as well as data on the demographic and socioeconomic composition of households. State transportation departments and metropolitan planning agencies had the opportunity to purchase extra household samples as part of the NHTS add-on program. These additional samples, along with national samples collected in the add-on areas, are compiled for use in transportation planning, forecasting, and research. The Wisconsin Department of Transportation participated in the NHTS add-on program and received a total of 17,610 household samples in Wisconsin. (The total number of household samples nationwide is 26,038.)

1Hz data↗

2009 National Household Travel Survey - Wisconsin Add-On

The Wisconsin add-on survey supplements the 2009 National Household Travel Survey (NHTS) with additional household samples and detailed travel behavior for an assigned travel day. The Federal Highway Administration and Wisconsin Department of Transportation conducted the survey from March 2008 through May 2009. It collected detailed information on travel behavior nationwide, as well as data on the demographic and socioeconomic composition of households. State transportation departments and metropolitan planning agencies had the opportunity to purchase extra household samples as part of the NHTS add-on program. These additional samples, along with national samples collected in the add-on areas, are compiled for use in transportation planning, forecasting, and research. The Wisconsin Department of Transportation participated in the NHTS add-on program and received a total of 1,707 household samples in Wisconsin. (The total number of household samples nationwide is 26,000.)

1Hz data↗

2017 National Household Travel Survey - Wisconsin Add-On

The Wisconsin add-on survey supplements the 2017 National Household Travel Survey (NHTS) with additional household samples and detailed travel behavior for an assigned travel day. The Federal Highway Administration and Wisconsin Department of Transportation conducted the survey. The NHTS ran from April 19, 2016, through April 25, 2017. It collected detailed information on travel behavior nationwide, as well as data on the demographic and socioeconomic composition of households. State transportation departments and metropolitan planning agencies had the opportunity to purchase extra household samples as part of the NHTS add-on program. These additional samples, along with national samples collected in the add-on areas, are compiled for use in transportation planning, forecasting, and research. The Wisconsin Department of Transportation participated in the NHTS add-on program and received a total of 11,675 household samples in Wisconsin. (The total number of household samples nationwide is 129,112.)

1Hz data↗

2017 National Household Travel Survey—Georgia Add-On

The National Household Travel Survey (NHTS) ran from April 19, 2016, through April 25, 2017. It collected data on the demographic and socioeconomic composition of households, as well as detailed information on travel behavior nationwide. State transportation departments and metropolitan planning agencies had the opportunity to purchase extra household samples as part of the NHTS add-on program. These additional samples, along with national samples collected in the add-on areas, are compiled for use in transportation planning, forecasting, and research. The Georgia Department of Transportation participated in the NHTS add-on program and received a total of 8,631 household samples in Georgia. (The total number of household samples nationwide is 129,112.)

1Hz data↗