Jackson Mayo

发表

Leveraging Abstraction to Establish Out-of-Nominal Safety Properties

Robert C. Armstrong, Jackson Mayo, Geoffrey C. Hulette, 2015, FTSCS.

Shifted Power Method for Computing Tensor Eigenpairs

Tamara G. Kolda, Jackson Mayo, T. Kolda, 2010, SIAM J. Matrix Anal. Appl..

Using Probabilistic Characterization to Reduce Runtime Faults in HPC Systems

Bert J. Debusschere, Ann C. Gentile, David C. Thompson, 2008, 2008 Eighth IEEE International Symposium on Cluster Computing and the Grid (CCGRID).

Leveraging complexity in software for cybersecurity

Robert C. Armstrong, Jackson Mayo, 2009, CSIIRW '09.

Scalable Failure Masking for Stencil Computations using Ghost Region Expansion and Cell to Rank Remapping

Manish Parashar, Michael A. Heroux, Keita Teranishi, 2017, SIAM J. Sci. Comput..

Resource monitoring and management with OVIS to enable HPC in cloud computing environments

Ann C. Gentile, Diana C. Roe, David C. Thompson, 2009, 2009 IEEE International Symposium on Parallel & Distributed Processing.

A Robust Technique to Make a 2D Advection Solver Tolerant to Soft Faults

Peter E. Strazdins, Brendan Harding, Robert C. Armstrong, 2016, ICCS.

Digital system robustness via design constraints: The lesson of formal methods

Robert C. Armstrong, Jackson Mayo, Geoffrey C. Hulette, 2015, 2015 Annual IEEE Systems Conference (SysCon) Proceedings.

In-Situ Mitigation of Silent Data Corruption in PDE Solvers

Robert C. Armstrong, Jackson Mayo, Maher Salloum, 2016, FTXS@HPDC.

Robust Digital Computation in the Physical World

Robert C. Armstrong, Jackson Mayo, Geoffrey C. Hulette, 2018, Cyber-Physical Systems Security.

Modeling and Simulating Multiple Failure Masking Enabled by Local Recovery for Stencil-Based Applications at Extreme Scales

Manish Parashar, Michael A. Heroux, Keita Teranishi, 2017, IEEE Transactions on Parallel and Distributed Systems.

Methodologies for advance warning of compute cluster problems via statistical analysis: a case study

Jackson Mayo, Ann Gentile, Jim Brandt, 2009, Resilience '09.

An Adaptive Shifted Power Method for Computing Generalized Tensor Eigenpairs

Tamara G. Kolda, Jackson Mayo, T. Kolda, 2014, SIAM J. Matrix Anal. Appl..

Digital System Analysis.

Jackson Mayo, 2014 .

Quantifying effectiveness of failure prediction and response in HPC systems: Methodology and example

Vincent De Sapio, Ann C. Gentile, Diana C. Roe, 2010, 2010 International Conference on Dependable Systems and Networks Workshops (DSN-W).

Characterizing short-term stability for Boolean networks over any distribution of transfer functions

Yevgeniy Vorobeychik, Seshadhri Comandur, Robert C. Armstrong, 2014, Physical review. E.

Influence and Dynamic Behavior in Random Boolean Networks

Yevgeniy Vorobeychik, Seshadhri Comandur, Robert C. Armstrong, 2011, Physical review letters.

Using computational game theory to guide verification and security in hardware designs

Yevgeniy Vorobeychik, Robert C. Armstrong, Jackson Mayo, 2017, 2017 IEEE International Symposium on Hardware Oriented Security and Trust (HOST).

Integrating Inter-Node Communication with a Resilient Asynchronous Many-Task Runtime System

Akihiro Hayashi, Keita Teranishi, Jackson Mayo, 2020, 2020 Workshop on Exascale MPI (ExaMPI).

Noncooperatively Optimized Tolerance: Decentralized Strategic Optimization in Complex Systems

Yevgeniy Vorobeychik, Robert C. Armstrong, Joseph R. Ruthruff, 2011, Physical review letters.

Local recovery and failure masking for stencil-based applications at extreme scales

Manish Parashar, Michael A. Heroux, Keita Teranishi, 2015, SC15: International Conference for High Performance Computing, Networking, Storage and Analysis.

Using Cloud Constructs and Predictive Analysis to Enable Pre-Failure Process Migration in HPC Systems

Vincent De Sapio, Ann C. Gentile, Diana C. Roe, 2010, 2010 10th IEEE/ACM International Conference on Cluster, Cloud and Grid Computing.

Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics

Robert C. Armstrong, Joseph R. Ruthruff, Jackson Mayo, 2015, NSV.

Analyzing and Mitigating Unexpected Behavior in Digital Systems [PowerPoint]

Jackson Mayo, 2015 .

Exploring Failure Recovery for Stencil-based Applications at Extreme Scales

Manish Parashar, Michael A. Heroux, Keita Teranishi, 2015, HPDC.

Framework for Enabling System Understanding

Chokchai Leangsuksun, Ann C. Gentile, Diana C. Roe, 2011, Euro-Par Workshops.

Ovis-2: A robust distributed architecture for scalable RAS

Bert J. Debusschere, Ann C. Gentile, David C. Thompson, 2008, 2008 IEEE International Symposium on Parallel and Distributed Processing.

Tradeoffs in targeted fuzzing of cyber systems by defenders and attackers

Robert C. Armstrong, Jackson Mayo, 2011, CSIIRW '11.

Fault oblivious high performance computing with dynamic task replication and substitution

Yevgeniy Vorobeychik, Ronald Minnich, Robert C. Armstrong, 2011, Computer Science - Research and Development.

Combining Virtualization, resource characterization, and Resource management to enable efficient high performance compute platforms through intelligent dynamic resource allocation

Vincent De Sapio, Ann C. Gentile, Diana C. Roe, 2010, 2010 IEEE International Symposium on Parallel & Distributed Processing, Workshops and Phd Forum (IPDPSW).

Physics-Based Checksums for Silent-Error Detection in PDE Solvers

Robert C. Armstrong, Jackson Mayo, Maher Salloum, 2019, Euro-Par Workshops.

A Simulator for Large-Scale Parallel Computer Architectures

Ali Pinar, Helgi Adalsteinsson, Joseph P. Kenny, 2010, Int. J. Distributed Syst. Technol..