Results for “Programming Language” — Page 35

DOE OSTI2023

CLC: A cross-level program characterization method

Characterization of program execution plays a key role in performance improvement. There are numerous transformations applied to each step that a program takes on its lowering from source code to a compiler intermediate representation to machine language to microarchitecture-specific execution. The unpredictable benefit of each transformation step could lead a notionally superior algorithm to exhibit inferior performance once actually run, and it can be hard to discern which step in the transformation path contradicted the code developer’s assumptions. Conventional approaches to program-execution characterization consider the behavior after only a single one of those steps, which limits the information that can be provided to the user. To help address the issue of myopic views of program execution, this paper presents a novel cross-level characterization approach for understanding the behavior of program execution at different levels in the process of writing, compiling, and running a program. We show that this approach provides a richer view of the sources of performance gains and losses and helps identify program execution in a more accurate manner.

97 MATHEMATICS AND COMPUTING↗

DOE OSTI2024

A Full-Stack Exploration of Language-Based Parallelism in Fortran 2023

This poster explores native parallel features in Fortran 2023 through the lens of supporting applications with libraries, compilers, and parallel runtimes. The language revision informally named Fortran 2008 introduced parallelism in the form of Single Program Multiple Data (SPMD) execution with two broad feature sets: (1) loop-level parallelism via do concurrent and (2) a Partitioned Global Address Space (PGAS) comprised of distributed “coarray” data structures. Fortran’s native parallelism has demonstrated high performance [1] and reduced the burden of inserting what sometimes amounts to more directives than code. Several compilers support both feature sets, typically by translating do concurrent into serial do loops annotated by parallel directives and by translating SPMD/PGAS features into direct calls to a communication library. Our research focuses primarily on two questions: (1) can the compiler’s parallel runtime library be developed in the language being compiled (Fortran) and (2) can we define an interface to the runtime that liberates compilers from being hardwired to one runtime and vice versa. We are answering these questions by developing the Parallel Runtime Interface for Fortran (PRIF) [2] and the Co-Array Fortran Framework of Efficient Interfaces to Network Environments (Caffeine) [3]. Caffeine is initially targeting adoption by LLVM Flang, a new open-source Fortran compiler developed by a broad community in industry, academia, and government labs. We are also exploring the use of these features in Inference-Engine, a deep learning library designed to facilitate neural network training and inference for high-performance computing applications written in modern Fortran.

Rasmussen, Katherine↗

DOE OSTI2024

Developing a Supply Chain Security Program

Amid growing concerns over foreign manufacturing for components and devices deployed in critical energy infrastructure, this research from the national labs will highlight best practices for developing and maintaining a supply chain security program. Tools for asset inventory, tips for developing and maintaining software- and hardware-bills-of-materials (SBOMs and HBOMs), recommended contractual language for vendor agreements, and identification of responsibilities will be shared. We discuss the one-time requirements to enable a successful supply chain security program and the best ways to operationalize this program for maximum impact, including development of robust practices for vulnerability tracking, patch management, and workarounds, with understanding of the reliability and uptime requirements for utilities. The recommendations shared are based on a cyber-informed engineering approach to identification of high-consequence impacts and the engineering controls related to supply chain management that can best mitigate these impacts. This approach allows for prioritization of resources. Additionally, we highlight relative up-front and ongoing costs associated with recommended controls. Viewers will leave with an understanding what a supply chain security program is, and what steps, prioritized for resource-constrained organizations, can build a robust program.

14 SOLAR ENERGY↗

DOE OSTI2015

TU-CD-213-00: Administrative Aspects of Medical Physics

As part of the AAPM’s Scope of Practice, medical physicists are expected to collaborate effectively with practioners and allied health care providers. Interpersonal skills such as communication, negotiation and persuasion are vital for successful collaboration to achieve shared goals. This session will provide some theoretical background of these interpersonal skills as well as specific techniques and practical tools to influence others. Applications of these interpersonal skills for administrative and human resource management purposes vital to medical physicists will be shared. Session attendees will gain knowledge and tools to help them effectively collaborate with administrative and physician leaders in areas such as capital and human resource selection, prioritization, and implementation. Participants will hear methods of how to articulate their goals and to understand the goals of administration, helping ensure alignment of purpose. Session speakers will present one of the topics: equipment selection, budget creation, contracts, and program-related policy development. Specifics may include designing a business case in language that administrators understand, calculating the prioritization of budget requests, and influencing policies for safe and effective care. Human resource topics may include staffing justification, recruitment for fit, employment contracts, and benefits. Speakers will provide examples in both radiation therapy and diagnostic imaging departments and will share experiences and outcomes of their approaches for better results. Learning Objectives: After this course attendees will be better able to Understand the shared goal between administrative and physicist leadership. Articulate the “why” of the technical or human resource need. Utilize communication, negotiation and persuasion tools to improve collaboration.

60 APPLIED LIFE SCIENCES↗

DOE OSTI2015

TU-CD-213-01: Communication, Negotiation, and Persuasion: Approaches for Better Results

As part of the AAPM’s Scope of Practice, medical physicists are expected to collaborate effectively with practioners and allied health care providers. Interpersonal skills such as communication, negotiation and persuasion are vital for successful collaboration to achieve shared goals. This session will provide some theoretical background of these interpersonal skills as well as specific techniques and practical tools to influence others. Applications of these interpersonal skills for administrative and human resource management purposes vital to medical physicists will be shared. Session attendees will gain knowledge and tools to help them effectively collaborate with administrative and physician leaders in areas such as capital and human resource selection, prioritization, and implementation. Participants will hear methods of how to articulate their goals and to understand the goals of administration, helping ensure alignment of purpose. Session speakers will present one of the topics: equipment selection, budget creation, contracts, and program-related policy development. Specifics may include designing a business case in language that administrators understand, calculating the prioritization of budget requests, and influencing policies for safe and effective care. Human resource topics may include staffing justification, recruitment for fit, employment contracts, and benefits. Speakers will provide examples in both radiation therapy and diagnostic imaging departments and will share experiences and outcomes of their approaches for better results. Learning Objectives: After this course attendees will be better able to Understand the shared goal between administrative and physicist leadership. Articulate the “why” of the technical or human resource need. Utilize communication, negotiation and persuasion tools to improve collaboration.

60 APPLIED LIFE SCIENCES↗

DOE OSTI2015

TU-CD-213-02: Communication, Negotiation, and Persuasion: Approaches for Better Results

As part of the AAPM’s Scope of Practice, medical physicists are expected to collaborate effectively with practioners and allied health care providers. Interpersonal skills such as communication, negotiation and persuasion are vital for successful collaboration to achieve shared goals. This session will provide some theoretical background of these interpersonal skills as well as specific techniques and practical tools to influence others. Applications of these interpersonal skills for administrative and human resource management purposes vital to medical physicists will be shared. Session attendees will gain knowledge and tools to help them effectively collaborate with administrative and physician leaders in areas such as capital and human resource selection, prioritization, and implementation. Participants will hear methods of how to articulate their goals and to understand the goals of administration, helping ensure alignment of purpose. Session speakers will present one of the topics: equipment selection, budget creation, contracts, and program-related policy development. Specifics may include designing a business case in language that administrators understand, calculating the prioritization of budget requests, and influencing policies for safe and effective care. Human resource topics may include staffing justification, recruitment for fit, employment contracts, and benefits. Speakers will provide examples in both radiation therapy and diagnostic imaging departments and will share experiences and outcomes of their approaches for better results. Learning Objectives: After this course attendees will be better able to Understand the shared goal between administrative and physicist leadership. Articulate the “why” of the technical or human resource need. Utilize communication, negotiation and persuasion tools to improve collaboration.

60 APPLIED LIFE SCIENCES↗

DOE OSTI2015

TU-CD-213-03: Communication, Negotiation, and Persuasion: Approaches for Better Results

As part of the AAPM’s Scope of Practice, medical physicists are expected to collaborate effectively with practioners and allied health care providers. Interpersonal skills such as communication, negotiation and persuasion are vital for successful collaboration to achieve shared goals. This session will provide some theoretical background of these interpersonal skills as well as specific techniques and practical tools to influence others. Applications of these interpersonal skills for administrative and human resource management purposes vital to medical physicists will be shared. Session attendees will gain knowledge and tools to help them effectively collaborate with administrative and physician leaders in areas such as capital and human resource selection, prioritization, and implementation. Participants will hear methods of how to articulate their goals and to understand the goals of administration, helping ensure alignment of purpose. Session speakers will present one of the topics: equipment selection, budget creation, contracts, and program-related policy development. Specifics may include designing a business case in language that administrators understand, calculating the prioritization of budget requests, and influencing policies for safe and effective care. Human resource topics may include staffing justification, recruitment for fit, employment contracts, and benefits. Speakers will provide examples in both radiation therapy and diagnostic imaging departments and will share experiences and outcomes of their approaches for better results. Learning Objectives: After this course attendees will be better able to Understand the shared goal between administrative and physicist leadership. Articulate the “why” of the technical or human resource need. Utilize communication, negotiation and persuasion tools to improve collaboration.

60 APPLIED LIFE SCIENCES↗

DOE OSTI2015

TU-CD-213-04: Panel Discussion

As part of the AAPM’s Scope of Practice, medical physicists are expected to collaborate effectively with practioners and allied health care providers. Interpersonal skills such as communication, negotiation and persuasion are vital for successful collaboration to achieve shared goals. This session will provide some theoretical background of these interpersonal skills as well as specific techniques and practical tools to influence others. Applications of these interpersonal skills for administrative and human resource management purposes vital to medical physicists will be shared. Session attendees will gain knowledge and tools to help them effectively collaborate with administrative and physician leaders in areas such as capital and human resource selection, prioritization, and implementation. Participants will hear methods of how to articulate their goals and to understand the goals of administration, helping ensure alignment of purpose. Session speakers will present one of the topics: equipment selection, budget creation, contracts, and program-related policy development. Specifics may include designing a business case in language that administrators understand, calculating the prioritization of budget requests, and influencing policies for safe and effective care. Human resource topics may include staffing justification, recruitment for fit, employment contracts, and benefits. Speakers will provide examples in both radiation therapy and diagnostic imaging departments and will share experiences and outcomes of their approaches for better results. Learning Objectives: After this course attendees will be better able to Understand the shared goal between administrative and physicist leadership. Articulate the “why” of the technical or human resource need. Utilize communication, negotiation and persuasion tools to improve collaboration.

61 RADIATION PROTECTION AND DOSIMETRY↗

DOE OSTI2024

A Formalization of Core Why3 in Coq

Intermediate verification languages like Why3 and Boogie have made it much easier to build program verifiers, transforming the process into a logic compilation problem rather than a proof automation one. Why3 in particular implements a rich logic for program specification with polymorphism, algebraic data types, recursive functions and predicates, and inductive predicates; it translates this logic to over a dozen solvers and proof assistants. Accordingly, it serves as a backend for many tools, including Frama-C, EasyCrypt, and GNATProve for Ada SPARK. But how can we be sure that these tools are correct? The alternate foundational approach, taken by tools like VST and CakeML, provides strong guarantees by implementing the entire toolchain in a proof assistant, but these tools are harder to build and cannot directly take advantage of SMT solver automation. As a first step toward enabling automated tools with similar foundational guarantees, we give a formal semantics in Coq for the logic fragment of Why3. We show that our semantics are useful by giving a correct-by-construction natural deduction proof system for this logic, using this proof system to verify parts of Why3's standard library, and proving sound two of Why3's transformations used to convert terms and formulas into the simpler logics supported by the backend solvers.

97 MATHEMATICS AND COMPUTING↗

DOE OSTI2021

Accessing Microsoft Access Databases Using ODBC and RODBC

ODBC (Open Database Connectivity) is an industry-standard API (Application Program Interface) that provides a standard interface, based on SQL (Structured Query Language) between applications and databases. This insulates applications from specific details of different database management systems (DBMS). Microsoft Windows TM provides an implementation of ODBC, which, along with drivers for various databases, supports the API. Windows also provides a driver for Access databases.

97 MATHEMATICS AND COMPUTING↗

DOE OSTI2024

Towards reverse mode automatic differentiation of Kokkos-based codes

Derivative computation is a key component of optimization, sensitivity analysis, uncertainty quantification, and the solving of nonlinear problems. Automatic differentiation (AD) is a powerful technique for evaluating such derivatives, and in recent years, has been integrated into programming environments such as Jax, PyTorch, and TensorFlow to support derivative computations needed for training of machine learning models, facilitating wide-spread use of these technologies. The C++ language has become the de facto standard for scientific computing due to numerous factors, yet language complexity has made the wide-spread adoption of AD technologies for C++ difficult, hampering the incorporation of powerful differentiable programming approaches into C++ scientific simulations. This is exacerbated by the increasing emergence of architectures, such as GPUs, with limited memory capabilities and requiring massive thread-level concurrency. C++ AD tools must effectively use these environments to bring novel scientific simulations to next-generation DOE experimental and observational facilities. In this project, we investigated source transformation-based automatic differentiation using LLVM compiler infrastructure to automatically generate portable and efficient gradient computations of Kokkos-based code. We have demonstrated that our proposed strategy is feasible by investigating the usage of a prototype LLVM-based source transformation tool to generate gradients of simple functions made of sequences of simple Kokkos parallel regions. Speedups of up to 500x compared to Sacado were observed on NVIDIA V100 GPU.

97 MATHEMATICS AND COMPUTING↗

DOE OSTI2020

XACC: a system-level software infrastructure for heterogeneous quantum–classical computing

Quantum programming techniques and software have advanced significantly over the past five years, with a majority focusing on high-level language frameworks targeting remote REST library APIs. As quantum computing architectures advance and become more widely available, lower-level, system software infrastructures will be needed to enable tighter, co-processor programming and access models. In this work, we present XACC, a system-level software infrastructure for quantum–classical computing that promotes a service-oriented architecture to expose interfaces for core quantum programming, compilation, and execution tasks. Additionally, we detail XACC's interfaces, their interactions, and its implementation as a hardware-agnostic framework for both near-term and future quantum–classical architectures. We provide concrete examples demonstrating the utility of this framework with paradigmatic tasks. Our approach lays the foundation for the development of compilers, associated runtimes, and low-level system tools tightly integrating quantum and classical workflows.

97 MATHEMATICS AND COMPUTING↗

DOE OSTI2012

Nye County Nevada Perspectives on the State of the Yucca Mountain Project - 12388

Responding to the Department of Energy decision to try to withdraw the Yucca Mountain license application and the Administration actions to close down the Yucca Mountain project, Nye County undertook a number of activities to articulate its support for continuing the Yucca Mountain project. The activities included responding to inquiries from federal agencies, including investigations undertaken by the Government Accountability Office addressing other potential uses for the Yucca Mountain site, responding to a Draft Environmental Impact Statement on the possible use of Yucca Mountain for disposal of Greater than Class C wastes, testifying in hearings, and interacting with the President's Blue Ribbon Commission on America's Nuclear Future. The paper summarizes Nye County's position on the Yucca Mountain repository, Nye County's perspectives on the various activities that were developed and considered by the Government Accountability Office, Nye County's concerns with the use of the Nevada National Security Site for Disposal of Greater than Class C Low-Level Radioactive Wastes, testimony of Nye County officials expressing local community support for the Yucca Mountain project, and Nye County's perspectives on recommendations provided by the Blue Ribbon Commission to move the nation's high-level radioactive waste disposal programs forward without consideration of the role Yucca Mountain could have served in those recommendations. Nye County believes that every effort should be made to, at a minimum, fund the Nuclear Regulatory Commission to complete the license application review. Then, if Congress does decide to change the Nuclear Waste Policy Act, there will be valuable information available to support new policy development. This administration contends that Congressional language associated with the FY2010 and FY2011 appropriations and authorization process is sufficient evidence of its intent to terminate the Yucca Mountain repository program. The appropriation process needs to be explicit that, absent explicit language to the contrary, the Nuclear Waste Policy Act stands. It also should include language that requires the Department of Energy to preserve all necessary records until the Nuclear Waste Policy Act is amended or rescinded by specific Congressional action. (authors)

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗

DOE OSTI2017

Cross-instrument Analysis Correlation Software

This program has been designed to assist with the tracking of a sample from one analytical instrument to another such as SEM, microscopes, micro x-ray diffraction and other instruments where particular positions/locations on the sample are examined, photographed, etc. The software is designed to easily enter the position of fiducials and locations of interest such that in a future session in the same of different instrument the positions of interest can be re-found through using the known location fiducials in the current and reference session to transform the point into the current sessions coordinate system. The software is dialog box driven guiding the user through the necessary data entry and program choices. Information is stored in a series of text based extensible markup language (XML) files.

McJunkin, TimothyR.↗

DOE OSTI2018

Visualizing Macro-Dataflow Graph Final Report CRADA No. TSB-0725-93

The goal of this collaborative effort was to develop a data-flow graphics tool (DFG) to visualize the execution of macro-dataflow graphs. LSI incorporated DFG into their graphic user interface to support parallel code development_ and text handling for natural language applications. The CRADA applied LLNL' s expertise in high-performance parallel programming systems based on the dataflow paradigm.

97 MATHEMATICS AND COMPUTING↗

DOE OSTI2020

An Integrated Two-Factor Authentication Solution Using Pulse Connect Secure and Apache HTTP Server

Complex system requirements can often lead to a situation wherein no single product or platform can provide a solution. In these cases, a solution integrating the features of multiple products and platforms is needed. Recently, a program sponsor required discontinued use of a third-party Security Assertion Markup Language Identity Provider that was being used to implement a two-factor authentication (2FA) solution that fully integrated with Pulse Connect Secure (PCS). PCS alone could not provide the features necessary to meet all the requirements of a new 2FA solution. The challenge was to leverage the features of additional platforms to design an integrated solution to meet all requirements. This paper presents a solution that integrates the features of PCS, Apache HyperText Transfer Protocol Server, and a custom application that meets all requirements, including a requirement to defend against Uniform Resource Locator manipulation as means to gain unauthorized access to backend applications.

97 MATHEMATICS AND COMPUTING↗

DOE OSTI2017

Cross-instrument Analysis Correlation Software

This program has been designed to assist with the tracking of a sample from one analytical instrument to another such as SEM, microscopes, micro x-ray diffraction and other instruments where particular positions/locations on the sample are examined, photographed, etc. The software is designed to easily enter the position of fiducials and locations of interest such that in a future session in the same of different instrument the positions of interest can be re-found through using the known location fiducials in the current and reference session to transform the point into the current sessions coordinate system. The software is dialog box driven guiding the user through the necessary data entry and program choices. Information is stored in a series of text based extensible markup language (XML) files.

McJunkin, Timothy R.↗

DOE OSTI2025

Business Case Analysis for Artificial Intelligence-Large Language Model Technology Integration

AI-assisted processes are expected to enhance operational efficiency and improve decision-making, supporting the long-term economic viability of nuclear power plants. However, detailed business analyses of AI-generated cost savings are rarely performed. Given the recent industry interest in Large Language Model (LLM), the U.S. Department of Energy (DOE) Light Water Reactor Sustainability (LWRS) Program has conducted a comprehensive business case analysis of LLM Artificial Intelligence (AI) implementation in nuclear plant engineering workflows. The research employed three complementary business case approaches to evaluate impact of an LLM, using three representative engineering processes as use-cases: Boric Acid Corrosion (BAC) Evaluations, Maintenance Rule Evaluations, and 10 CFR 50.59 Screenings. Through detailed workload analyses and structured interviews, the study quantified significant efficiency improvements ranging from 11% to 59% across these processes. The research further considers how these efficiency gains could translate into tangible reliability improvements through enhanced engineering capacity. Analysis of historical plant trip data indicates that enabling engineers to focus on proactive reliability activities could provide substantial financial benefits through avoided outages, potentially generating greater value than the direct efficiency improvements alone. By documenting successful applications, implementation challenges, and strategic opportunities, this research provides nuclear utilities with a practical framework for evaluating the value of AI technology to support long-term operations through advanced digital technologies.

97 MATHEMATICS AND COMPUTING↗