Publications

Journal articles | Conference papers | Books | Book sections | Technical reports | Tutorials | Abstracts | Preprints

ExaSGD Performance Profiling
This is a report of the runtime performance profiling efforts and results for the ECP ExaSGD project (Exascale Computing Program – Stochastic Grid Dynamics at Exascale.
PDF
ExaSGD Performance Profiling
Design of a Novel Information System for Semi-Automated Management of Cybersecurity in Industrial Control Systems
This paper presents new methodology and algorithms to automatically identify cybersecurity-related claims expressed in natural language form in ICS device documents. The verification pipeline includes automated vendor identification, device document curation, and feature claim identification via sentiment analysis. Our novel matching engine represents the first automated information system available in the cybersecurity domain to directly aid ICS compliance reporting.
PDF DOI
Design of a Novel Information System for Semi-Automated Management of Cybersecurity in Industrial Control Systems
An Accuracy-Maximization Approach for Claims Classifiers in Document Content Analytics for Cybersecurity
Our classifier of feature claims for cybersecurity literature analytics is introduced in our new model called ClaimsBERT. ClaimsBERT outperforms all other evaluated framework aiming to improve the cybersecurity of industrial control systems (ICS).
PDF Cite DOI
An Accuracy-Maximization Approach for Claims Classifiers in Document Content Analytics for Cybersecurity
Computer Science Research Needs for Parallel Discrete Event Simulation (PDES)
This report captures a computer science-oriented view of research in PDES and important PDES applications. Needs are outlined in core areas of PDES research as well as cross-cutting directions that positively impact scientific advancements. A selection of priority research directions in advanced computing for PDES is identified for scientific advancements.
PDF Cite DOI
Computer Science Research Needs for Parallel Discrete Event Simulation (PDES)
Extending the Naming Game in Social Networks to Multiple Hearers per Speaker
We extend the classic Naming Game to multiple hearers per speaker in each conversation even while allowing simultaneous speaking and hearing. We simulate the impact on the rate of convergence by varying the number of hearers and investigate the impact of different network types on the global convergence. Multiple network types and agent population sizes are used in the simulation experiments.
PDF
Extending the Naming Game in Social Networks to Multiple Hearers per Speaker
ZeroIn: Characterizing the Data Distributions of Commits in Software Repositories
A characterization of the software development metadata is presented in terms of distributions of data that best captures the trends in the datasets, to feed into the machine learning components of ZeroIn to exploit connectivity among the sets of repositories, commits, and developers.
PDF
ZeroIn: Characterizing the Data Distributions of Commits in Software Repositories
Using Machine Learning Towards Early Flagging of Potentially Buggy Software Commits
Using multiple classifiers we verify the feasibility of using metadata from synthetic datasets modeled by a characterization of a few large software repositories and developer profiles. Results show that the metadata-based learning approach appears promising towards early flagging of potentially buggy commits in software repositories.
PDF
Using Machine Learning Towards Early Flagging of Potentially Buggy Software Commits
DarkNet Cyber Resilience
Two key cyber elements affecting the grid’s timing capability are Cyber Resilience and Cyber Trust. The timing services of DarkNet are systematically subjected to a range of cyber phenomena that stress four key performance factors, namely: Accuracy, Manageability, Telemetry, and Visibility. This analysis is designed to provide insights into four important categories of undesirable cyber phenomena: Loss of View (LoV), Loss of Control (LoC), Manipulation of View (MoV), and Manipulation of Control (MoC).
PDF
DarkNet Cyber Resilience
Characterizing the Distributions of Commits in Large Source Code Repositories
We present preliminary results from characterizing the distribution of 452 million commits in a metadata listing from GitHub repositories. Based on multiple distributions, we find the best fits and second best fits across different ranges in the data. The characterization is aimed at synthetic repository generation suitable for use in simulation and machine learning.
PDF
Characterizing the Distributions of Commits in Large Source Code Repositories
CyBERT: Cybersecurity Claim Classification by Fine-Tuning the BERT Language Model
We introduce CyBERT, a cybersecurity feature claims classifier based on bidirectional encoder representations from transformers and a key component in our semi-automated cybersecurity vetting for industrial control systems (ICS)…The results showed that CyBERT outperforms these models on the validation accuracy and the F1 score, validating CyBERT’s robustness and accuracy as a cybersecurity feature claims classifier.
PDF Cite DOI
CyBERT: Cybersecurity Claim Classification by Fine-Tuning the BERT Language Model
Fast GPU-Based Generation of Large Graph Networks From Degree Distributions
A novel algorithm has been designed, developed, and implemented on modern GPU accelerators, and benchmarked on networks with billions of edges, including Facebook and Twitter networks. Rates of generation exceed 50 billion edges per second.
PDF Cite DOI
Fast GPU-Based Generation of Large Graph Networks From Degree Distributions
Design Considerations for GPU-based Mixed Integer Programming on Parallel Computing Platforms
Mixed Integer Programming (MIP) is a powerful abstraction in combinatorial optimization…here, we recount the conventional processor-based strategies and focus on configurations where the most promising intersection lies between parallel MIP solver approaches and the specific strengths of accelerated parallel platforms.
PDF Cite Slides DOI
Design Considerations for GPU-based Mixed Integer Programming on Parallel Computing Platforms
Mesoscopic Modeling and Rapid Simulation of Incremental Changes in Epidemic Scenarios on GPUs: Fast What–If Analyses of Localized and Dynamic Effects
A mesoscopic modeling approach is described that strikes a middle ground between macroscopic models based on coupled differential equations and microscopic models built on fine-grained behaviors at the individual entity level. Execution of our implementation scaled to 8192 GPUs of supercomputing platforms demonstrates the ability to rapidly evaluate what–if scenarios several orders of magnitude faster than the conventional methods.
PDF Cite DOI
Mesoscopic Modeling and Rapid Simulation of Incremental Changes in Epidemic Scenarios on GPUs: Fast What–If Analyses of Localized and Dynamic Effects
A Case Study in Simulation Methods for Power Electronic Circuits
A simplified circuit is used as a case study to uncover and highlight key considerations in the use of traditional numerical simulation methods and compare them with those obtained from alternative methods that are discrete event-based from the outset. Results show the regimes where the traditional numerical methods and the alternative discrete event methods are applicable, and the need for discrete event approaches that precisely and efficiently resolve switching dynamics produced by power electronics systems that are important in emerging grid scenarios, such as large scale renewable energy.
PDF Cite DOI
A Case Study in Simulation Methods for Power Electronic Circuits
Trust-but-Verify in Cyber-Physical Systems
Cyber-physical systems span a wide spectrum, from long-lived legacy systems to more modern installations. Trust is an issue that arises across the spectrum, albeit with different variants of goals and constraints. On the one end of the spectrum, legacy systems are characterized by function-based designs in which trust is an implicitly in-built concept…
PDF Cite Slides DOI
Trust-but-Verify in Cyber-Physical Systems
Smart Semi-Supervised Accumulation of Large Repositories for Industrial Control Systems Device Information
A solution is needed for vetting the vendor-supplied feature claims and their adherence to cybersecurity requirements and standards. We are presently engaged in an effort to develop such a system. This paper demonstrates one vital aspect of this effort in proposing an end-to-end framework to accumulate a large repository of ICS device information for this vetting system, curate the dataset, and conduct extensive processing. This framework is designed to use web scraping, data analytics and Natural Language Processing (NLP) techniques to identify vendor websites, automate the collection of website-accessible documents and automatically derive metadata from them for identification of product documents relevant to the repository…
PDF
Smart Semi-Supervised Accumulation of Large Repositories for Industrial Control Systems Device Information
Scale-Free Graph Networks with Trillions of Edges: Rapid Generation using 1000 GPUs
Our algorithm cuPPA generates scale-free networks using the preferential-attachment model, custom-designed to exploit multiple GPUs. We generate extremely large scale-free networks of 4 trillion edges in less than 8 minutes using 1,008 NVIDIA Volta GPUs of the Summit supercomputer. This represents the first ever graph network generation at this scale of parallel execution with over thousand GPUs. Moreover, our algorithm is uniquely suitable for generating networks in a streaming mode without the need for explicitly storing (writing to disk) the entire network, and is suitable for targeting even larger scales with quadrillions of edges.
PDF
Scale-Free Graph Networks with Trillions of Edges: Rapid Generation using 1000 GPUs
Next in Reversible Computing: Breaking the Memory-Computation Asymmetry
A more comprehensive and practical treatment of memory remains to be performed in visiting and answering memory-related unknowns. Some of the answers could have profound impact on classical memory technologies. Reversible execution restores symmetry between memory and computation, correctly reinstating the memory state restoration cost in the aggregate memory cost.
PDF
On the Robustness of Network Community Structure Under Addition of Edges
We study the impact of edge additions on the community structure using Lancichinetti-Fortunato-Radicchi (LFR) benchmark networks. We show that, for a fixed network size, the impact of edge additions is greater on networks with initially weak community structure than on networks with strongly clustered structures. Also, we find that the perception of the impact is also dependent on the community detection algorithm used to uncover communities.
PDF DOI
On the Robustness of Network Community Structure Under Addition of Edges
A Novel Vetting Approach to Cybersecurity Verification in Energy Grid Systems
The cybersecurity auditing for Operation Technology is critical and has been largely missing from the cybersecurity research, especially in the energy sector. In this paper, we present a novel “cybersecurity vetting” approach (CYVET) to the problem of verification and validation of cybersecurity in complex cyber-physical installations underlying modern energy grid systems.
PDF DOI
A Novel Vetting Approach to Cybersecurity Verification in Energy Grid Systems
Generating Massive Scale-free Networks: Novel Parallel Algorithms using the Preferential Attachment Model
We present a message passing interface-based distributed memory parallel algorithms for generating random scale-free networks using the preferential-attachment model. The algorithms have been exercised in scale and speed to generate scale-free networks with one trillion edges in 6 minutes using 1,000 PEs.
PDF Cite DOI
Generating Massive Scale-free Networks: Novel Parallel Algorithms using the Preferential Attachment Model
RL-HEMS: Reinforcement Learning-Based Home Energy Management System for HVAC Energy Optimization (OR-20-C051)
https://ashraem.confex.com/ashraem/w20/meetingapp.cgi/Paper/26352
RL-HEMS: Reinforcement Learning Based Home Energy Management System for HVAC Energy Optimization.
The objective of this work is to create the optimal schedule for HVAC operation to reduce the cost while satisfying the home-owner and equipment’s constraints using a model-free Reinforcement Learning (RL)-based optimization. This optimization is addressed with the development of initial learning testbed and implementation of RL techniques on a real home. Our preliminary results showed a 17% reduction in the total cost and a 15% reduction in the power utilization using our RL-based HVAC model–RL-HEMS.
A Digital Twin Framework for Testing, Evaluation and Deployment of Resilient Cyber-physical Systems
We describe an approach to detecting and preventing cyber attacks by continuously comparing the infrastructure state with a real-time digital-twin simulation of it. Specifically, we describe and demonstrate a Digital Twin Framework (DTF) designed specifically to detect and eventually prevent such attacks. The canal lock system’s digital twin uses a recurrent neural network trained from the experimental data collected via the DTF.
PDF
A Digital Twin Framework for Testing, Evaluation and Deployment of Resilient Cyber-physical Systems
Kensor: Coordinated Intelligence from Co-Located Sensors
Here, we focus on coordinated intelligence about normal and abnormal phenomena from multiple sensors geographically co-located, monitoring and controlling a set of co-located devices. Given a set of co-located sensors, we develop an intelligent approach that automatically determines the ’normal’ patterns of behaviors among the correlated sensors. After normal behavior is extracted, later monitoring detects deviant variations over time.
PDF Cite DOI
Kensor: Coordinated Intelligence from Co-Located Sensors
Energy Conservation Through Cloned Execution Of Simulations
HPC facilities used for scientific computing draw enormous energy, consuming many megawatt-hours. Using simulation cloning, we reduce energy consumption and track the power drawn by thousands of GPUs, achieving significant aggregate energy savings from cloned simulations.
PDF Cite DOI
Energy Conservation Through Cloned Execution Of Simulations
On the Effectiveness of Recurrent Neural Networks for Live Modeling of Cyber-Physical Systems
We empirically study the effectiveness of Recurrent Neural Network (RNN)-based models as the basis of DT-based resilience and uncover the important characteristics of an RNN-based solution with experimentation on a lab-scale Canal Lock CPS emulator with live validations and attack scenarios. For the first time, we demonstrate actual, real-time use of a RNN-based model as a DT for performing live analysis on an operational CPS.
PDF Cite DOI
On the Effectiveness of Recurrent Neural Networks for Live Modeling of Cyber-Physical Systems
Detecting Sensors and Inferring their Relations at Level-0 in Industrial Cyber-Physical Systems
In this paper, we present our research and development efforts aimed at addressing the gap in discovering sensors at level 0 in industrial CPS by building a system called Deep-cyberia (Deep Cyber-Physical System Interrogation and Analysis) that incorporates algorithms and interfaces aimed at uncovering sensors and computing estimates of correlations among them.
PDF Cite Slides DOI
Detecting Sensors and Inferring their Relations at Level-0 in Industrial Cyber-Physical Systems
Volatile Memory Extraction-Based Approach for Level 0-1 CPS Forensics
Our focus is to extract volatile and dynamically changing internal information form CPS 0-1 level devices, and design preliminary schemes to exploit that extracted information. As a case study, we apply the proposed methodology to Modicon PLC using Modbus protocol. We extract the memory layout and subject the device to read operations at the most critical regions of memory. This capability of generating a sequence of volatile memory snapshots for offline, detailed and sophisticated analysis opens a new class of cyber security schemes for CPS forensic analysis, taint analysis and watermarking.
PDF Cite
Volatile Memory Extraction-Based Approach for Level 0-1 CPS Forensics
Exact-Differential Simulation: Differential Processing of Large-Scale Discrete Event Simulations
We propose a new redundancy reduction technique for large-scale discrete event simulations, called exact-differential simulation, which simulates only the altered portions of scenarios and their influences in repeated executions while still achieving the same results as the re-execution of entire simulations. We evaluate our approach by using two case studies, PHOLD benchmark and a traffic simulation of Tokyo.
PDF Cite DOI
Exact-Differential Simulation: Differential Processing of Large-Scale Discrete Event Simulations
Towards Native Execution of Deep Learning on a Leadership-Class HPC System
In this paper, we report and analyze performance results from native execution of deep learning on a leadership-class high-performance computing (HPC) system. Using our new code called DeepEx, we present a study of the parallel speed up and convergence rates of learning achieved with native parallel execution. Scaling results are reported from execution on up to 15,000 GPUs using two scientific data sets from atom microscopy and protein folding applications, and also using the popular ImageNet data set.
PDF Cite DOI
Towards Native Execution of Deep Learning on a Leadership-Class HPC System
Novel Parallel Algorithms for Fast Multi-GPU-Based Generation of Massive Scale-Free Networks
A novel parallel algorithm, cuPPA, is presented for generating random scale-free networks using the preferential attachment model. The algorithm is custom-designed for ‘single instruction multiple data (SIMD)’ for GPUs. Our algorithm is the first to exploit GPUs, and also the fastest implementation available today, for scale-free networks. On an NVidia GeForce 1080 GPU, cuPPA generates a scale-free network of two billion edges in less than 3 s. On multi-GPU platforms, cuPPA-Hash generates a scale-free network of 16 billion edges in less than 7 s using a machine consisting of 4 NVidia Tesla P100 GPUs.
PDF DOI
Novel Parallel Algorithms for Fast Multi-GPU-Based Generation of Massive Scale-Free Networks
Normalcy, Magic, Miracle and Error: Emergence along a Reversibility Spectrum
Formation of a butterfly from a pupa, extraction of a live dove from a magician’s empty hat, generation of new particles from high-energy particle collisions and spawning a new dream world from mind in sleep are all examples of a common, fuzzy notion called ‘emergence’. In this paper, I pin the concept of emergence to the element of surprise in a phenomenon. I categorise the various notions of emergence into three main classes. These definitions are used to explain instances of emergence, organised along a continuous spectrum as normality, magic, miracle and error.
PDF Cite
Normalcy, Magic, Miracle and Error: Emergence along a Reversibility Spectrum
An Agent-based Model of the Observed Distribution of Wealth in the United States
In this paper, we present an agent based model (and a scalable approximation of it) in a closely related spirit. The central feature of this model is that wealth enables an individual to secure more wealth. Using historical data, we initialize the model with US wealth shares in 1988 and show that the model tracks wealth share changes from 1988 to 2012. Simulations to 2088 project that the top 0.01% of the population will possess more than 70% of the total wealth in the economy.
PDF Cite DOI
An Agent-based Model of the Observed Distribution of Wealth in the United States
Efficient reversible uniform and non-uniform random number generation in UNU.RAN
Reversible random number generations are useful in large-scale fault-tolerant parallel computations and parallel discrete event …
PDF Cite
Efficient reversible uniform and non-uniform random number generation in UNU.RAN
Scalable Cloning on Large-Scale GPU Platforms with Application to Time-Stepped Simulations on Grids
Cloning is a technique to efficiently simulate a tree of multiple what-if scenarios that are unraveled during the course of a base simulation. We present the conceptual simulation framework, algorithmic foundations, and runtime interface of CloneX, a new system we designed for scalable simulation cloning.
PDF Cite DOI
Scalable Cloning on Large-Scale GPU Platforms with Application to Time-Stepped Simulations on Grids
GPU-based parallel algorithm for generating massive scale-free networks using the preferential attachment model
A novel parallel algorithm, cuPPA, is presented for generating random scale-free networks using the preferential-attachment model. In one of the best cases, when executed on an NVidia GeForce 1080 GPU, cuPPA generates a scale-free network of two billion edges in less than 3 seconds.
PDF Cite Slides DOI
GPU-based parallel algorithm for generating massive scale-free networks using the preferential attachment model
Concurrent conversation modeling and parallel simulation of the naming game in social networks
Here, we develop a new concurrent model as a relaxation of the classical formulation of the Naming Game and express it in a discrete event style of evaluation. Further, with the uncovered concurrency that was absent in the classical algorithm, we map the concurrent model to parallel discrete event simulation. We present a parallel performance study on networks with hundreds of thousands of individuals.
PDF Cite Slides DOI
Concurrent conversation modeling and parallel simulation of the naming game in social networks
Generating Billion-Edge Scale-Free Networks in Seconds: Performance Study of a Novel GPU-based Preferential Attachment Model
A novel parallel algorithm is presented for generating random scale-free networks using the preferential-attachment model. In one of the best cases, when executed on an NVidia GeForce 1080 GPU, cuPPA generates a scale free network of a billion edges in less than 2 seconds.
Cite DOI
Design exploration of a Symmetric Pass Gate Adiabatic Logic for energy-efficient and secure hardware
Adiabatic logic is one of the circuit design techniques for designing energy-efficient hardware. In recent years, it has also been …
Cite DOI
Efficient Simulation of Nested Hollow Sphere Intersections: for Dynamically Nested Compartmental Models in Cell Biology
We define a new problem of computing the intersections among arbitrarily nested hollow spheres of possibly different sizes, thicknesses, positions, and nesting levels. We describe a new algorithm designed to solve this nested hollow sphere intersection problem and implement it for parallel execution on graphical processing units (GPUs). We present first results about the runtime performance and scaling to hundreds of thousands of spheres, and compare the performance with that from a leading solid object intersection package also running on GPUs.
PDF Cite DOI
Efficient Simulation of Nested Hollow Sphere Intersections: for Dynamically Nested Compartmental Models in Cell Biology
Computational Speed and Matching Quality using an Upper Bound on the Normalized Mutual Information
URL
Cite
Computing a Non-trivial Lower Bound on the Joint Entropy between Two Images
In this report, a non-trivial lower bound on the joint entropy of two non-identical images is developed, which is greater than the …
PDF Cite DOI
Performance of Point and Range Queries for In-memory Databases Using Radix Trees on GPUs
In in-memory database systems augmented by hardware accelerators, accelerating the index searching operations can greatly increase the …
Cite DOI
Model-based Dynamic Control of Speculative Forays in Parallel Computation
In simulations running in parallel, the processors would have to synchronize with other processors to maintain correct global order of …
Cite DOI
Energy-Efficient and Secure S-Box Circuit Using Symmetric Pass Gate Adiabatic Logic
Differential Power Analysis (DPA) attack is considered to be a main threat while designing cryptographic processors. In cryptographic …
Cite DOI
Model-based Dynamic Control of Speculative Forays in Parallel Computation
In simulations running in parallel, the processors would have to synchronize with other processors to maintain correct global order of …
Cite
Identifying and Harnessing Concurrency for Parallel and Distributed Network Simulation
Da Netzwerke von Computern inha ̈rent parallele Systeme darstellen, ko ̈nnen Simu- lationen von Computernetzen ha ̈ufig durch parallele …
PDF
Identifying and Harnessing Concurrency for Parallel and Distributed Network Simulation
On the Definability of Art
There are many key concepts that, even while being part of everyday life, elude definition. One such is “Art.” Here, possible ways are identified to define Art, along with a description of a few factors that underlie the challenge in arriving at a definition. Additionally, a candidate definition from a scientist’s viewpoint is proposed for an abstract, encompassing model.
PDF
On the Definability of Art
Efficient Parallel Discrete Event Simulation on Cloud/Virtual Machine Platforms
Cloud and Virtual machine (VM) technologies present new challenges with respect to performance and monetary cost in executing parallel discrete event simulation (PDES) applications…
PDF Cite
Efficient Parallel Discrete Event Simulation on Cloud/Virtual Machine Platforms
Virtual Time-Aware Virtual Machine Systems
Discrete dynamic system models that track, maintain, utilize, and evolve virtual time are referred to as virtual time systems (VTS). …
PDF Cite
Virtual Time-Aware Virtual Machine Systems
Virtual Machine-Based Simulation Platform For MANET-Based Cyber Infrastructure
In modeling and simulating complex systems such as mobile ad-hoc networks (MANETs) in defense communications, …
PDF Cite DOI
Virtual Machine-Based Simulation Platform For MANET-Based Cyber Infrastructure
Towards Reversible Basic Linear Algebra Subprograms: A Performance Study
Problems such as fault tolerance and scalable synchronization can be efficiently solved using reversibility of applications…
PDF Cite
Towards Reversible Basic Linear Algebra Subprograms: A Performance Study
Simulating Billion-Task Parallel Programs
In simulating large parallel systems, bottom-up approaches exercise detailed hardware models with effects from simplified software models or traces, …
PDF Cite
Simulating Billion-Task Parallel Programs
Reverse Computation for Rollback-based Fault Tolerance in Large Parallel Systems
Reverse computation is presented here as an important future direction in addressing the challenge o…
PDF Cite
Reverse Computation for Rollback-based Fault Tolerance in Large Parallel Systems
Parallel Discrete Event Simulation using Supercomputers, Cloud/VM, and Accelerators
[Pub 150] http://www.acm-sigsim-pads.org/
Cite
Parallel Discrete Event Simulation
This tutorial introduces the fundamental principles and algorithms underlying parallel/distributed discrete event simulation (PDES)…
PDF Cite Slides
Parallel Discrete Event Simulation
Introduction to Reversible Computing
This tutorial provides an introduction to the concept of reversible computing, adopting an expanded view…
PDF Cite Slides
Introduction to Reversible Computing
Discrete Event Execution with One-Sided and Two-Sided GVT Algorithms on 216,000 Processor Cores
Global virtual time (GVT) computation is a key determinant of the efficiency and runtime dynamics of parallel discrete event simulations (PDES)…
PDF Cite
Discrete Event Execution with One-Sided and Two-Sided GVT Algorithms on 216,000 Processor Cores
Design of A High-Fidelity Testing Framework for Secure Electric Grid Control
A solution methodology and implementation components are presented that can uncover unwanted, unin-t…
PDF Cite
Design of A High-Fidelity Testing Framework for Secure Electric Grid Control
Simulation des Réseaux à grande Échelle sur les architectures de calcules hètèrogénes
La simulation est une étape primordiale dans l’évolution des systèmes en réseaux. L’évolutivité et l’efficacité des outils de …
PDF
Simulation des Réseaux à grande Échelle sur les architectures de calcules hètèrogénes
Reversibly Finding the Square Root of an Integer
Here we consider a case study in reversible computing, namely, how to reversibly compute the integer square root …
PDF Slides
Interfacing JavaScript and MPI
In order to interpret the Javsacript code, Node.js was chosen. Node.js is a modified version of the Javascript engine from the Chrome …
PDF
Revisiting Cyclic Reduction and Parallel Prefix-Based Algorithms for Tri-diagonal Systems of Equations
Direct solvers based on prefix computation and cyclic reduction algorithms exploit the special struc…
PDF Cite
Revisiting Cyclic Reduction and Parallel Prefix-Based Algorithms for Tri-diagonal Systems of Equations
Reversible Simulations of Elastic Collisions (Extended arXiv version)
Consider a system of N identical hard spherical particles moving in a d-dimensional box and undergoing elastic, possibly multi-particle, collisions…
PDF Cite
Reversible Simulations of Elastic Collisions (Extended arXiv version)
Reversible Simulations of Elastic Collisions
Consider a system of N identical hard spherical particles moving in a d-dimensional box and undergoi…
PDF Cite
Reversible Simulations of Elastic Collisions
Optimized Hypervisor Scheduler for Parallel Discrete Event Simulations on Virtual Machine Platforms
With the advent of virtual machine (VM)-based platforms for parallel computing, it is now possible to execute parallel discrete event simulations (PDES)…
PDF Cite
Optimized Hypervisor Scheduler for Parallel Discrete Event Simulations on Virtual Machine Platforms
Introduction to Reversible Computing
Few books comprehensively cover the software and programming aspects of reversible computing. Fillin…
PDF Cite
Introduction to Reversible Computing
Improved Parallelization of the SIESTA Magneto-hydrodynamic Equilibrium Code Using Cyclic Reduction
SIESTA is a parallel three-dimensional plasma equilibrium code capable of resolving magnetic islands…
Cite
Improved Parallelization of the SIESTA Magneto-hydrodynamic Equilibrium Code Using Cyclic Reduction
Empirical Evaluation of PDES Execution on Cloud and Virtual Machine Platforms
Virtual machine (VM) technologies, especially those offered via Cloud platforms, present new dimensions with respect to performance and cost in executing parallel discrete event simulation (PDES) applications…
PDF Cite
Empirical Evaluation of PDES Execution on Cloud and Virtual Machine Platforms
Efficient Heterogeneous Execution on Large Multicore and Accelerator Platforms: Case Study Using a Block Tridiagonal Solver
The algorithmic and implementation principles are explored in gainfully exploiting GPU accelerators in conjunction with multicore processors on high-end systems…
PDF Cite
Efficient Heterogeneous Execution on Large Multicore and Accelerator Platforms: Case Study Using a Block Tridiagonal Solver
Towards Highly Interactive, GPU-based Evaluation of Evacuation Transport Scenarios at State-Scale
In large-scale scenarios, transportation modeling and simulation is severely constrained by simulati…
Cite
Towards Highly Interactive, GPU-based Evaluation of Evacuation Transport Scenarios at State-Scale
Taming Wild Horses: The Need for Virtual Time-based Scheduling of VMs in Network Simulations
The next generation of scalable network simulators employ virtual machines (VMs) to act as high-fidelity models of traffic producer/consumer nodes…
PDF Cite
Taming Wild Horses: The Need for Virtual Time-based Scheduling of VMs in Network Simulations
Scaling the SIESTA Magnetohydrodynamics Equilibrium Code
We report the results of a scaling effort that increases both the speed and resolution of the SIESTA…
PDF Cite
Scaling the SIESTA Magnetohydrodynamics Equilibrium Code
Scaling Optimization of the SIESTA MHD Code
SIESTA is capable of computing three-dimensional plasma equilibria with magnetic islands at high spatial resolutions for toroidally confined plasmas…
Cite
Scaling Optimization of the SIESTA MHD Code
Runtime Performance And Virtual Network Control Alternatives In VM-Based High-Fidelity Network Simulations
In prior work (Yoginath and Perumalla, 2011; Yoginath, Perumalla and Henz, 2012), the motivation, challenges and issues were articulated in favor of virtual time ordering of virtual machines…
PDF Cite
Runtime Performance And Virtual Network Control Alternatives In VM-Based High-Fidelity Network Simulations
ReveR-SES: Reversible Software Execution Systems
[Pub 137]
Cite
Parallel Simulation on Supercomputers
This tutorial introduces the typical hardware and software characteristics of extant and emerging supercomputing systems…
PDF Cite
Parallel Simulation on Supercomputers
Discrete Event Modeling and Massively Parallel Execution of Epidemic Outbreak Phenomena
In complex phenomena such as epidemiological outbreaks, the intensity of inherent feedback effects a…
PDF Cite
Discrete Event Modeling and Massively Parallel Execution of Epidemic Outbreak Phenomena
Discrete Event Execution and Reversibility: Challenges in the Path to Asynchrony for Massively Parallel Computing
To keep up with the increasing number of processing elements in parallel/distributed computing, traditional tightly-coupled time-stepped models…
Cite Slides
Discrete Event Execution and Reversibility: Challenges in the Path to Asynchrony for Massively Parallel Computing
Towards High Performance Discrete Event Simulations of Smart Electric Grids
Future electric grid technology is envisioned on the notion of a smart grid in which responsive end-…
PDF Cite
Towards High Performance Discrete Event Simulations of Smart Electric Grids
Reversible Parallel Discrete Event Formulation of a TLM-based Radio Signal Propagation Model
Radio signal strength estimation is essential in many applications, including the design of military…
PDF Cite
Reversible Parallel Discrete Event Formulation of a TLM-based Radio Signal Propagation Model
ReveR-SES: Reversible Software Execution Systems
[Pub 136] http://science.energy.gov/ascr/ascac/meetings/nov-2011/
Cite
Improving Multi-Million Virtual Rank MPI Execution in MUPI
MUPI is a parallel discrete event simulator designed for enabling software-based experimentation via…
PDF Cite
Improving Multi-Million Virtual Rank MPI Execution in MUPI
Improved Parallelization of the SIESTA Magneto-hydrodynamic Equilibrium Code Using Cyclic Reduction
[Pub 128] http://www.aps.org/meetings/meeting.cfm?name=DPP11
Cite
GVT Algorithms and Discrete Event Dynamics on 129K+ Processor Cores
Parallel discrete event simulation (PDES) represents a class of codes that are challenging to scale to large number of processors…
PDF Cite
GVT Algorithms and Discrete Event Dynamics on 129K+ Processor Cores
Efficiently Scheduling Multi-core Guest Virtual Machines on Multi-core Hosts in Network Simulation
Virtual machine (VM)-based simulation is a method used by network simulators to incorporate realistic application behaviors by executing actual VMs as high-fidelity surrogates for simulated end-hosts…
PDF Cite
Efficiently Scheduling Multi-core Guest Virtual Machines on Multi-core Hosts in Network Simulation
Towards Highly Interactive, GPU-based Evaluation of Evacuation Transport Scenarios at State-Scale
In large-scale scenarios, transportation modeling and simulation is severely constrained by simulati…
PDF Cite Slides
Towards Highly Interactive, GPU-based Evaluation of Evacuation Transport Scenarios at State-Scale
Supercomputing Applications of the Other Kind: Real-time Parallel Discrete Event Simulations of Large-scale, Smart Infrastructures
Ultra-scale supercomputing hardware is a reality, reaching peta-scale recently and now moving to exa…
Cite
Reversible Parallel Discrete-Event Execution of Large-scale Epidemic Outbreak Models
The spatial scale, runtime speed, and behavioral detail of epidemic outbreak simulations altogether …
PDF Cite Slides
Reversible Parallel Discrete-Event Execution of Large-scale Epidemic Outbreak Models
On Deciding between Conservative and Optimistic Approaches on Massively Parallel Platforms
Over 5000 publications on parallel discrete event simulation (PDES) have appeared in the literature …
PDF Cite
High-Performance Simulations for Capturing Feedback and Fidelity in Complex Networked Systems
In a variety of complex networked systems, simulation is a powerful method to capture critical feedb…
PDF Cite Slides
High-Performance Simulations for Capturing Feedback and Fidelity in Complex Networked Systems
Efficient Simulation of Agent-Based Models on Multi-GPU and Multi-Core Clusters
An effective latency-hiding mechanism is presented in the parallelization of agent-based model simul…
PDF Cite Slides
Efficient Simulation of Agent-Based Models on Multi-GPU and Multi-Core Clusters
Compiler-based Automation Approaches to Reverse Computation
Automation is useful to facilitate reverse code generation from normal code. Here, we describe our …
Cite Slides
Bcyclic: A Parallel Block Tri-diagonal Matrix Cyclic Solver
A block tri-diagonal matrix is factored with minimal fill-in using a cyclic reduction algorithm that…
PDF Cite
Bcyclic: A Parallel Block Tri-diagonal Matrix Cyclic Solver
An Incremental Parallelization Approach Applied to the ORNL/NRC FAVOR Code
Parallelizing a domain-specific production code with thousands of lines that is developed over several years is a daunting task…
PDF Cite
An Incremental Parallelization Approach Applied to the ORNL/NRC FAVOR Code
µπ: A Scalable and Transparent System for Simulating MPI Programs
µπ is a scalable, transparent system for experimenting with the execution of parallel progr…
PDF Cite Slides
µπ: A Scalable and Transparent System for Simulating MPI Programs
Switching to High Gear: Opportunities for Grand-scale Real-time Parallel Simulations
The recent emergence of dramatically large computational power, spanning desktops with multi-core pr…
Cite
Switching to High Gear: Opportunities for Grand-scale Real-time Parallel Simulations
The recent emergence of dramatically large computational power, spanning desktops with multi-core pr…
PDF Cite Slides
Switching to High Gear: Opportunities for Grand-scale Real-time Parallel Simulations
Scalable Parallel Execution of an Event-based Radio Signal Propagation Model for Cluttered 3D Terrains
Radio signal strength estimation is essential in many applications, including the design of military…
PDF Cite
Scalable Parallel Execution of an Event-based Radio Signal Propagation Model for Cluttered 3D Terrains
[Pub 22]
PDF Cite
Reversible Discrete Event Formulation and Optimistic Parallel Execution of Vehicular Traffic Models
Vehicular traffic simulations are useful in applications such as emergency planning and traffic mana…
PDF Cite
Reversible Discrete Event Formulation and Optimistic Parallel Execution of Vehicular Traffic Models
Perfect Reversal of Rejection Sampling Methods for First-Passage-Time and Similar Probability Distributions
We present a perfectly reversible method for bi-directional generation of samples from computational…
PDF Cite
Perfect Reversal of Rejection Sampling Methods for First-Passage-Time and Similar Probability Distributions
Introduction to Simulations on GPUs
Graphical processing units (GPUs) are now established as efficient, alternative computing platforms …
PDF Cite Slides
Introduction to Simulations on GPUs
GPU-based Real-Time Execution of Vehicular Mobility Models in Large-Scale Road Network Scenarios
A methodology and its associated algorithms are presented for mapping a novel, field-based vehicular…
PDF Cite
GPU-based Real-Time Execution of Vehicular Mobility Models in Large-Scale Road Network Scenarios
Cyber Security Experimentation: Gory Detail or None at All?
Unique facets confronted by current cyber security analysis efforts are: tremendous pace of change o…
Cite Slides
Cyber Security Experimentation: Gory Detail or None at All?
Coping at the User-Level with Resource Limitations in the Cray Message Passing Toolkit MPI at Scale: How Not to Spend Your Summer Vacation
[Pub 25]
PDF Cite
Computational Spectrum of Agent Model Simulation
The study of human social behavioral systems is finding renewed interest in military, homeland secur…
Cite
A Connectionist Modeling Approach to Rapid Analysis of Emergent Social Cognition Properties in Large-Populations
Traditional modeling methodologies, such as those based on rule-based agent modeling, are exhibiting…
PDF Cite Slides
Parallel Vehicular Traffic Simulations using Reverse Computation-based Optimistic Execution
[Pub 26]
PDF Cite
On the Reversibility of Newton-Raphson Root-Finding Method
[Pub 69]
Cite
High Performance Computing-based Experimentation for Cyber Infrastructure and Security
[Pub 88]
Cite
Feasibility, Efficiency and Limits of Compiler-based Automation for Reversibility of Codes
[Pub 89]
Cite
Efficient Execution on GPUs of Field-based Vehicular Mobility Models
[Pub 24]
PDF Cite
Data Parallel Execution Challenges and Runtime Performance of Agent Simulations on GPUs
[Pub 27]
PDF Cite
Two Case Studies of Reversibility in Computational Methods
Currently state- saving is employed in many large simulations to realize rollback. Reverse computati…
Cite
Two Case Studies of Reversibility in Computational Methods
Scaling Time Warp-based Discrete Event Execution to 10^4 Processors on a Blue Gene Supercomputer
[Pub 29]
PDF Cite
Parallel and Distributed Simulation: Traditional Techniques and Recent Advances
[Pub 82]
Cite Slides
Model Execution
[Pub 4]
Cite
Handling Time Management under the HLA
[Pub 81]
Cite Slides
Efficient Parallel Execution of Event-Driven Electromagnetic Hybrid Models
[Pub 8]
Cite
Application-Level Asynchronous Speculative Execution
[Pub 90]
Cite
An Analysis Approach to Large-Scale Vehicular Network Simulations
[Pub 28]
PDF Cite
A New Methodology for Multi-scale Simulation of Plasmas
[Pub 9]
Cite
A New Methodology for Multi-scale Simulation of Plasmas
[Pub 6]
Cite
A Case Study of the Performance of Speculative Asynchronous Simulation on Parallel Computers
Modern supercomputers use thousands of processors running in parallel to achieve their high computat…
Cite
A Case Study of the Performance of Speculative Asynchronous Simulation on Parallel Computers
A Case Study of Efficient Social Network Simulation through General Processing on Graphics Processing Units (GPGPUs)
Agent based simulation has been both a large area of study and a widely used tool for scientific research in past years…
Cite
A Case Study of Efficient Social Network Simulation through General Processing on Graphics Processing Units (GPGPUs)
Scalable Simulation of Electromagnetic Hybrid Codes
[Pub 34]
PDF Cite
Parallel Execution of Region-Scale Evacuation Traffic Models
[Pub 32]
PDF Cite
Parallel and Distributed Simulation: Traditional Techniques and Recent Advances
[Pub 83]
PDF Cite Slides
Parallel and Distributed Simulation: Traditional Techniques and Recent Advances
[Pub 17]
PDF Cite
Optimistic Simulation of Physical Systems using Reverse Computation
[Pub 10]
PDF Cite
On Evaluation Needs of Real-life Sensor Network Deployments
[Pub 18]
PDF Cite
On Accounting for the Interplay of Kinetic and Non-Kinetic Aspects of Population Mobility Models
[Pub 31]
PDF Cite
Network Simulation
A detailed introduction to the design, implementation, and use of network simulation tools is presen…
PDF Cite
Network Simulation
Integrated Analysis of Environment-Driven Operational Effects in Sensor Networks
[Pub 70]
PDF Cite
Handling Time Management under the HLA
[Pub 84]
Cite Slides
Discrete-Event Execution Alternatives on GPGPUs
[Pub 33]
PDF Cite
A Systems Approach to Scalable Transportation Network Modeling
[Pub 30]
PDF Cite
Virtual Simulator: An Infrastructure for Design and Performance-Prediction of Massively Parallel Codes
Large parallel/distributed scientific simulations are very complex, and their dynamic behavior is ha…
PDF Cite
Performance Prediction of Large-scale Parallel Discrete Event Models of Physical Systems
[Pub 35]
PDF Cite
Parallel Discrete Event Simulations of Grid-based Models ? Asynchronous Electromagnetic Hybrid Code
[Pub 11]
PDF Cite
Parallel and Distributed Systems and the High-Level Architecture
[Pub 19]
Cite
Optimistic Parallel Discrete Event Simulations of Physical Systems using Reverse Computation
[Pub 39]
PDF Cite
Distributed Simulation Systems & the High Level Architecture (HLA)
[Pub 85]
PDF Cite
Computational Tools for Efficient Large-scale Discrete-Event Models
[Pub 91]
Cite
Computational Methods for Efficient Large-scale System Models
[Pub 92]
Cite
A New Simulation Technique for Study of Collision-less Shocks: Self Adaptive Simulations
[Pub 37]
Cite
A New Methodology for Multi-scale Simulation of Plasmas
[Pub 38]
Cite
µsik - A Micro-kernel for Parallel/Distributed Simulation Systems
[Pub 40]
PDF Cite
High Fidelity Modeling of Computer Network Worms
[Pub 41]
PDF Cite
Distributed Simulation Systems & the High Level Architecture (HLA)
[Pub 86]
Cite
Conservative Synchronization of Large-scale Network Simulations
[Pub 43]
PDF Cite
A New Approach to Modeling Physical Systems: Discrete Event Simulations of Grid-based Models
[Pub 42]
PDF Cite
A Federated Approach to Distributed Network Simulation
We describe an approach and our experiences in applying federated simulation techniques to create la…
PDF Cite
Techniques for Improving Accuracy and Usability in Large-scale Network Emulation
[Pub 72]
Cite
Scalable RTI-based Parallel Simulation of Networks
[Pub 46]
PDF Cite
Power-aware State Dissemination in Mobile Distributed Virtual Environments
[Pub 45]
PDF Cite
Large-Scale Network Simulation - How Big? How Fast?
[Pub 44]
PDF Cite
Large-Scale Network Simulation - How Big? How Fast?
Generating Perfect Reversals of Simple Linear Codes
[Pub 71]
Cite
Achieving Interoperability and Scalability in Simulation of Networks
[Pub 93]
Cite
Web Services for Extensible Modeling and Simulation
[Pub 50]
PDF Cite
Using Reverse Circuit Execution for Efficient Parallel Simulation of Logic Circuits
[Pub 47]
PDF Cite
Updateable Simulations
[Pub 49]
PDF Cite
Experiences Applying Parallel and Interoperable Network Simulation Techniques in On-line Simulations of Military Networks
[Pub 48]
PDF Cite
Virtual Time Synchronization over Unreliable Network Transport
[Pub 51]
PDF Cite
Interactive Parallel Simulations with the JANE Framework
[Pub 13]
PDF Cite
Distributed Network Simulations using the Dynamic Simulation Backplane
[Pub 52]
PDF Cite
Using Reverse Computation towards Efficient Parallel/Distributed Computation
[Pub 95]
Cite
Using Reverse Computation towards Efficient Parallel/Distributed Computation
[Pub 94]
Cite
Parallel Simulation Backplanes for Mixed Signal Circuit Design
[Pub 73]
Cite
Design of High-performance RTI software
[Pub 53]
PDF Cite
An Approach to Federating Parallel Simulators
[Pub 54]
PDF Cite
The High Level Architecture for Simulation
[Pub 87]
Cite
The Effect of State Saving in Optimistic Simulation on a Cache-coherent Non-uniform Memory Access (CC-NUMA) Architecture
[Pub 55]
PDF Cite
Source Code Transformations for Efficient Reversibility
[Pub 74]
Cite
PARINO: A Parallel Branch and Cut Code
[Pub 57]
Cite
Efficient Optimistic Parallel Simulations using Reverse Computation
[Pub 14]
PDF Cite
Efficient Optimistic Parallel Simulation using Reverse Computation
[Pub 56]
PDF Cite
Towards Reusable Modeling and Parallel Simulation of Telecommunication Networks
[Pub 96]
Cite
TeD Models for ATM Internetworks
[Pub 20]
PDF Cite
TeD - A Language for Modeling Telecommunication Networks
[Pub 21]
PDF Cite
Parallel Simulation Techniques for Large-scale Networks
[Pub 15]
PDF Cite
Efficient Large-scale Process-oriented Parallel Simulations
[Pub 58]
PDF Cite
Time Parallel Generation of Self-similar ATM Traffic
[Pub 59]
PDF Cite
Reusable Modeling and Parallel Simulation of Networks using the TeD Language
[Pub 97]
Cite
PARINO: An Extensible Framework for Solving Mixed Integer Programs in Parallel
[Pub 75]
PDF Cite
PARINO, A Parallel Integer Optimizer
[Pub 61]
PDF Cite
A Virtual PNNI Network Testbed
[Pub 60]
PDF Cite
MetaTeD - A Meta Language for Modeling Telecommunication Networks
[Pub 77]
Cite
GTW++ -- An Object Oriented Interface in C++ to the Georgia Tech Time Warp System
[Pub 76]
Cite
An Efficiency Prediction Method for ATM Multiplexer
[Pub 62]
Cite
A C++ Instance of TeD
[Pub 78]
Cite
Parallel Algorithms for Maximum Sub-sequence and Sub-array
[Pub 16]
PDF Cite
A Performance Prediction Method for ATM Multiplexers
[Pub 79]
Cite
Parallelizing Sequential Algorithms for the Generalized Assignment Problem
[Pub 63] ftp://ftp.cc.gatech.edu/pub/tech_reports/1994/GIT-CC-94-44.ps.Z
Cite
Parallel Algorithms for Maximum Sub-sequence and Sub-array
[Pub 64]
Cite
Integrating Aggregate and Vehicle Level Simulations
[Pub 67]
Cite
A Distributed Algorithm for Ear Decomposition
[Pub 65]
Cite
A Debugging Environment for PVM
[Pub 66]
Cite
Integrating Battlefield Simulations of Different Granularity
[Pub 68]
Cite