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 001; Matthew Wong (CCGRID, 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 001; M. H. Wong (IPDPS, 2008)

Leveraging complexity in software for cybersecurity. - Robert C. Armstrong; Jackson R. Mayo (CSIIRW, 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 001; Matthew Wong (IPDPS, 2009)

Using Cloud Constructs and Predictive Analysis to Enable Pre-Failure Process Migration in HPC Systems. - James Brandt; Frank Chen 001; Vincent De Sapio; Ann C. Gentile; Jackson R. Mayo; Philippe P. Pébay; Diana C. Roe; David C. Thompson 001; Matthew Wong (CCGRID, 2010)

Quantifying effectiveness of failure prediction and response in HPC systems: Methodology and example. - James Brandt; Frank Chen 001; Vincent De Sapio; Ann C. Gentile; Jackson R. Mayo; Philippe P. Pébay; Diana C. Roe; David C. Thompson 001; Matthew Wong (DSN Workshops, 2010)

Combining Virtualization, resource characterization, and Resource management to enable efficient high performance compute platforms through intelligent dynamic resource allocation. - James Brandt; Frank Chen 001; Vincent De Sapio; Ann C. Gentile; Jackson R. Mayo; Philippe P. Pébay; Diana C. Roe; David C. Thompson 001; Matthew Wong (IPDPS Workshops, 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)

Tradeoffs in targeted fuzzing of cyber systems by defenders and attackers. - Jackson R. Mayo; Robert C. Armstrong (CSIIRW, 2011)

Framework for Enabling System Understanding. - Jim M. Brandt; Frank Chen 001; Ann C. Gentile; Chokchai Leangsuksun; Jackson R. Mayo; Philippe P. Pébay; Diana C. Roe; Narate Taerat; David C. Thompson 001; M. H. Wong (Euro-Par Workshops (2), 2011)

Noncooperatively Optimized Tolerance: Decentralized Strategic Optimization in Complex Systems - Yevgeniy Vorobeychik; Jackson R. Mayo; Robert C. Armstrong; Joseph R. Ruthruff (CoRR, 2011)

Influence and Dynamic Behavior in Random Boolean Networks - C. Seshadhri 001; Yevgeniy Vorobeychik; Jackson R. Mayo; Robert C. Armstrong; Joseph R. Ruthruff (CoRR, 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)

Shifted Power Method for Computing Tensor Eigenpairs. - Tamara G. Kolda; Jackson R. Mayo (SIAM J. Matrix Anal. Appl., 2011)

Characterizing short-term stability for Boolean networks over any distribution of transfer functions. - C. Seshadhri 001; Andrew M. Smith; Yevgeniy Vorobeychik; Jackson R. Mayo; Robert C. Armstrong (CoRR, 2014)

An Adaptive Shifted Power Method for Computing Generalized Tensor Eigenpairs. - Tamara G. Kolda; Jackson R. Mayo (SIAM J. Matrix Anal. Appl., 2014)

Leveraging Abstraction to Establish Out-of-Nominal Safety Properties. - Jackson R. Mayo; Robert C. Armstrong; Geoffrey C. Hulette (FTSCS, 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 (HPDC, 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 (SC, 2015)

Digital system robustness via design constraints: The lesson of formal methods. - Jackson R. Mayo; Robert C. Armstrong; Geoffrey C. Hulette (SysCon, 2015)

Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics. - Geoffrey C. Hulette; Robert C. Armstrong; Jackson R. Mayo; Joseph R. Ruthruff (NSV, 2015)

In-Situ Mitigation of Silent Data Corruption in PDE Solvers. - Maher Salloum; Jackson R. Mayo; Robert C. Armstrong (FTXS@HPDC, 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 (ICCS, 2016)

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 (HOST, 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)

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)

Robust Digital Computation in the Physical World. - Jackson R. Mayo; Robert C. Armstrong; Geoffrey C. Hulette; Maher Salloum; Andrew M. Smith (Cyber-Physical Systems Security, 2018)

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 (Euro-Par, 2019)

Physics-Based Checksums for Silent-Error Detection in PDE Solvers. - Maher Salloum; Jackson R. Mayo; Robert C. Armstrong (Euro-Par Workshops, 2019)

Targeted modification of hardware trojans. - Jason R. Hamlet; Jackson R. Mayo; Vivian Kammler (J. Hardw. Syst. Secur., 2019)

Towards Distributed Software Resilience in Asynchronous Many- Task Programming Models. - Nikunj Gupta; Jackson R. Mayo; Adrian S. Lemoine; Hartmut Kaiser (FTXS@SC, 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 (FTXS@SC, 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 (ExaMPI@SC, 2020)

Implementing Software Resiliency in HPX for Extreme Scale Computing. - Nikunj Gupta; Jackson R. Mayo; Adrian S. Lemoine; Hartmut Kaiser (CoRR, 2020)

Algorithmic Input Generation for More Effective Software Testing. - Laura Epifanovskaya; Reginald Meeson; Christopher McCormack; Jinseo R. Lee; Robert C. Armstrong; Jackson R. Mayo (COMPSAC, 2022)

Asynchrony and Failure Masking via Pseudo-Local Process Recovery in MPI Applications. - Mathhew Whitlock; Hemanth Kolla; Aurelien Bouteiller; Jackson R. Mayo; Nicolas M. Morales; Keita Teranishi; George Bosilca (IPDPS (Workshops), 2024)

Toward Automated Detection of Portability Bugs in Kokkos Parallel Programs. - Vivek Kale; Hanru Yan; Shyamali Mukherjee; Jackson R. Mayo; Keita Teranishi; Richard Rutledge; Alessandro Orso (SC Workshops, 2024)