Search NASA⌕ Search

Engineering topics

Sottile, Matthew

Publications and source records attributed to Sottile, Matthew.

PastoralScape: An Environment-Driven Model of Vaccination Decision Making Within Pastoralist Groups in East Africa

Economic and cultural resilience among pastoralists in East Africa is threatened by the interconnected forces of climate change, contagious diseases spread and evolving national and international trade. A key factor in the resilience of livestock that communities depend on is human decision making regarding vaccination against prevalent diseases such as Rift Valley fever and Contagious Bovine Pleuropneumonia. This paper describes an agent-based model that couples models of disease propagation, animal health, human decision making, and external GIS data sources capturing measures of foraging condition. We describe the design of the sub-models, their coupling, and demonstrate the sensitivity of the model to parameters that relate to controllable factors such as government and NGO information sources that can influence human decision making patterns. This model is intended to form the basis upon which richer economic and human factor models can be built.

97 MATHEMATICS AND COMPUTING↗

Static analysis techniques for semiautomatic synthesis of message passing software skeletons

The design of high-performance computing architectures demands performance analysis of large-scale parallel applications to derive various parameters concerning hardware design and software development. The process of performance analysis and benchmarking an application can be done in several ways with varying degrees of fidelity. One of the most cost-effective ways is to do a coarse-grained study of large-scale parallel applications through the use of program skeletons. The concept of a “program skeleton” that we discuss in this article is an abstracted program that is derived from a larger program where source code that is determined to be irrelevant is removed for the purposes of the skeleton. In this work, we develop a semiautomatic approach for extracting program skeletons based on compiler program analysis. Finally, we demonstrate correctness of our skeleton extraction process by comparing details from communication traces, as well as show the performance speedup of using skeletons by running simulations in the SST/macro simulator.

97 MATHEMATICS AND COMPUTING↗

COMPOSE-HPC: Software Composition for Extreme Scale Computational Science and Engineering

Software composition is an important aspect of computational science software engineering due to large scale production science codes involving multiple programming languages, execution and concurrency models. To date, programmers must manage the complexity of building and maintaining such systems largely by hand with minimal (if any) automated assistance. As such, a great deal of programmer time is spent generating and maintaining code which leads to a high maintenance and development cost, as well as an increased risk of errors being introduced by hand than would be expected in an automated system. COMPOSE-HPC was a multi-institutional effort, with the Galois contribution focused on a specific area of code analysis and software infrastructure. Specifically, Galois led the design and implementation for the Parser for Annotations in a User-specified Language (PAUL), as well as collaborating with SNL and LLNL on the Retargetable Open Transformation Engine (ROTE). Both components were built on top of the ROSE compiler infrastructure from LLNL. All artifacts developed under the COMPOSE-HPC program are available on the github.com and sourceforge.net open source hosting sites under permissive BSD3 software licenses.

97 MATHEMATICS AND COMPUTING↗