Jackson R. Mayo

According to our database, Jackson R. Mayo authored at least 35 papers between 2008 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

Algorithmic Input Generation for More Effective Software Testing.

Laura Epifanovskaya, Reginald Meeson, Christopher McCormack, Jinseo R. Lee, Robert C. Armstrong, Jackson R. Mayo

Proceedings of the 46th IEEE Annual Computers, Software, and Applications Conferenc, 2022

2020

Implementing Software Resiliency in HPX for Extreme Scale Computing.

Nikunj Gupta, Jackson R. Mayo, Adrian S. Lemoine, Hartmut Kaiser

CoRR, 2020

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

Sri Raj Paul, Akihiro Hayashi, Matthew Whitlock, Seonmyeong Bak, Keita Teranishi, Jackson R. Mayo, Max Grossman, Vivek Sarkar

Proceedings of the Workshop on Exascale MPI, 2020

Improving Scalability of Silent-Error Resilience for Message-Passing Solvers via Local Recovery and Asynchrony.

Hemanth Kolla, Jackson R. Mayo, Keita Teranishi, Robert C. Armstrong

Proceedings of the 10th IEEE/ACM Workshop on Fault Tolerance for HPC at eXtreme Scale, 2020

Towards Distributed Software Resilience in Asynchronous Many- Task Programming Models.

Nikunj Gupta, Jackson R. Mayo, Adrian S. Lemoine, Hartmut Kaiser

Proceedings of the 10th IEEE/ACM Workshop on Fault Tolerance for HPC at eXtreme Scale, 2020

2019

Targeted modification of hardware trojans.

Jason R. Hamlet, Jackson R. Mayo, Vivian Kammler

J. Hardw. Syst. Secur., 2019

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

Maher Salloum, Jackson R. Mayo, Robert C. Armstrong

Proceedings of the Euro-Par 2019: Parallel Processing Workshops, 2019

Enabling Resilience in Asynchronous Many-Task Programming Models.

Sri Raj Paul, Akihiro Hayashi, Nicole Slattengren, Hemanth Kolla, Matthew Whitlock, Seonmyeong Bak, Keita Teranishi, Jackson R. Mayo, Vivek Sarkar

Proceedings of the Euro-Par 2019: Parallel Processing, 2019

2018

Robust Digital Computation in the Physical World.

Jackson R. Mayo, Robert C. Armstrong, Geoffrey C. Hulette, Maher Salloum, Andrew M. Smith

Proceedings of the Cyber-Physical Systems Security., 2018

2017

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

Marc Gamell, Keita Teranishi, Jackson R. Mayo, Hemanth Kolla, Michael A. Heroux, Jacqueline Chen, Manish Parashar

IEEE Trans. Parallel Distributed Syst., 2017

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

Marc Gamell, Keita Teranishi, Hemanth Kolla, Jackson R. Mayo, Michael A. Heroux, Jacqueline Chen, Manish Parashar

SIAM J. Sci. Comput., 2017

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

Andrew M. Smith, Jackson R. Mayo, Vivian Kammler, Robert C. Armstrong, Yevgeniy Vorobeychik

Proceedings of the 2017 IEEE International Symposium on Hardware Oriented Security and Trust, 2017

2016

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

Peter E. Strazdins, Brendan Harding, Chung Lee, Jackson R. Mayo, Jaideep Ray, Robert C. Armstrong

Proceedings of the International Conference on Computational Science 2016, 2016

In-Situ Mitigation of Silent Data Corruption in PDE Solvers.

Maher Salloum, Jackson R. Mayo, Robert C. Armstrong

Proceedings of the ACM Workshop on Fault-Tolerance for HPC at Extreme Scale, 2016

2015

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

Geoffrey C. Hulette, Robert C. Armstrong, Jackson R. Mayo, Joseph R. Ruthruff

Proceedings of the Seventh and Eighth International Workshops on Numerical Software Verification, 2015

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

Jackson R. Mayo, Robert C. Armstrong, Geoffrey C. Hulette

Proceedings of the Annual IEEE Systems Conference, 2015

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

Marc Gamell, Keita Teranishi, Michael A. Heroux, Jackson R. Mayo, Hemanth Kolla, Jacqueline Chen, Manish Parashar

Proceedings of the International Conference for High Performance Computing, 2015

Exploring Failure Recovery for Stencil-based Applications at Extreme Scales.

Marc Gamell, Keita Teranishi, Michael A. Heroux, Jackson R. Mayo, Hemanth Kolla, Jacqueline Chen, Manish Parashar

Proceedings of the 24th International Symposium on High-Performance Parallel and Distributed Computing, 2015

Leveraging Abstraction to Establish Out-of-Nominal Safety Properties.

Jackson R. Mayo, Robert C. Armstrong, Geoffrey C. Hulette

Proceedings of the Formal Techniques for Safety-Critical Systems, 2015

2014

An Adaptive Shifted Power Method for Computing Generalized Tensor Eigenpairs.

Tamara G. Kolda, Jackson R. Mayo

SIAM J. Matrix Anal. Appl., 2014

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

C. Seshadhri, Andrew M. Smith, Yevgeniy Vorobeychik, Jackson R. Mayo, Robert C. Armstrong

CoRR, 2014

2011

Shifted Power Method for Computing Tensor Eigenpairs.

Tamara G. Kolda, Jackson R. Mayo

SIAM J. Matrix Anal. Appl., 2011

Fault oblivious high performance computing with dynamic task replication and substitution.

Yevgeniy Vorobeychik, Jackson R. Mayo, Robert C. Armstrong, Ronald G. Minnich, Don W. Rudish

Comput. Sci. Res. Dev., 2011

Influence and Dynamic Behavior in Random Boolean Networks

C. Seshadhri, Yevgeniy Vorobeychik, Jackson R. Mayo, Robert C. Armstrong, Joseph R. Ruthruff

CoRR, 2011

Noncooperatively Optimized Tolerance: Decentralized Strategic Optimization in Complex Systems

Yevgeniy Vorobeychik, Jackson R. Mayo, Robert C. Armstrong, Joseph R. Ruthruff

CoRR, 2011

Framework for Enabling System Understanding.

Jim M. Brandt, Frank Chen, Ann C. Gentile, Chokchai Leangsuksun, Jackson R. Mayo, Philippe P. Pébay, Diana C. Roe, Narate Taerat, David C. Thompson, M. H. Wong

Proceedings of the Euro-Par 2011: Parallel Processing Workshops - CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29, 2011

Tradeoffs in targeted fuzzing of cyber systems by defenders and attackers.

Jackson R. Mayo, Robert C. Armstrong

Proceedings of the 7th Cyber Security and Information Intelligence Research Workshop, 2011

2010

A Simulator for Large-Scale Parallel Computer Architectures.

Curtis L. Janssen, Helgi Adalsteinsson, Scott Cranford, Joseph P. Kenny, Ali Pinar, David A. Evensky, Jackson R. Mayo

Int. J. Distributed Syst. Technol., 2010

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

James Brandt, Frank Chen, Vincent De Sapio, Ann C. Gentile, Jackson R. Mayo, Philippe P. Pébay, Diana C. Roe, David C. Thompson, Matthew Wong

Proceedings of the 24th IEEE International Symposium on Parallel and Distributed Processing, 2010

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

James Brandt, Frank Chen, Vincent De Sapio, Ann C. Gentile, Jackson R. Mayo, Philippe P. Pébay, Diana C. Roe, David C. Thompson, Matthew Wong

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2010), Chicago, Illinois, USA, June 28, 2010

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

James Brandt, Frank Chen, Vincent De Sapio, Ann C. Gentile, Jackson R. Mayo, Philippe P. Pébay, Diana C. Roe, David C. Thompson, Matthew Wong

Proceedings of the 10th IEEE/ACM International Conference on Cluster, 2010

2009

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

Jim M. Brandt, Ann C. Gentile, Jackson R. Mayo, Philippe P. Pébay, Diana C. Roe, David C. Thompson, Matthew Wong

Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

Leveraging complexity in software for cybersecurity.

Robert C. Armstrong, Jackson R. Mayo

Proceedings of the Fifth Cyber Security and Information Intelligence Research Workshop, 2009

2008

Ovis-2: A robust distributed architecture for scalable RAS.

Jim M. Brandt, Bert J. Debusschere, Ann C. Gentile, Jackson R. Mayo, Philippe P. Pébay, David C. Thompson, M. H. Wong

Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

Using Probabilistic Characterization to Reduce Runtime Faults in HPC Systems.

Jim M. Brandt, Bert J. Debusschere, Ann C. Gentile, Jackson R. Mayo, Philippe P. Pébay, David C. Thompson, Matthew Wong

Proceedings of the 8th IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2008), 2008