Publications

Strazdins, P., Harding, B., Lee, C., Mayo, J.R., Ray, J., Armstrong, R.C., & Armstrong, R.C. (2016). A robust technique to make a 2D advection solver tolerant to soft faults [Conference Poster]. Procedia Computer Science. 10.1016/j.procs.2016.05.505

Mayo, J.R., Armstrong, R.C., Hulette, G.C., & Hulette, G.C. (2016). Leveraging abstraction to establish out-of-nominal safety properties [Conference Poster]. Communications in Computer and Information Science. 10.1007/978-3-319-29510-7_10

Mayo, J.R. (2015). Analyzing and Mitigating Unexpected Behavior in Digital Systems [PowerPoint] [Presentation]. https://www.osti.gov/biblio/1338027

Gamell, M., Teranishi, K., Heroux, M.A., Mayo, J.R., Kolla, H., Chen, J.H., Parashar, M., & Parashar, M. (2015). Local recovery and failure masking for stencil-based applications at extreme scales [Conference Poster]. International Conference for High Performance Computing, Networking, Storage and Analysis, SC. 10.1145/2807591.2807672

Mayo, J.R., Armstrong, R.C., Hulette, G.C., & Hulette, G.C. (2015). Leveraging Abstraction to Establish Out-of-Nominal Safety Properties [Conference Poster]. 10.1007/978-3-319-29510-7_10

Gamell Balmana, M., Teranishi, K., Heroux, M.A., Mayo, J.R., Kolla, H., Chen, J.H., Parashar, M., & Parashar, M. (2015). Local Recovery and Failure Masking for Stencil-based Applications at Extreme Scales [Conference Poster]. https://www.osti.gov/biblio/1291974

Gamell Balmana, M., Teranishi, K., Heroux, M.A., Mayo, J.R., Kolla, H., Chen, J.H., Parashar, M., & Parashar, M. (2015). Exploring failure recovery for stencil-based applications at extreme scales [Conference Poster]. HPDC 2015 - Proceedings of the 24th International Symposium on High-Performance Parallel and Distributed Computing. https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=84987732402&origin=inward

Mayo, J.R., Armstrong, R.C., Hulette, G.C., & Hulette, G.C. (2015). Digital system robustness via design constraints: The lesson of formal methods [Conference Poster]. 9th Annual IEEE International Systems Conference, SysCon 2015 - Proceedings. https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=84941313075&origin=inward

Mannos, T.J., Michnovicz, J., Land, M., Eames, B.K., Templin, J.R., Armstrong, R.C., Mayo, J.R., & Mayo, J.R. (2015). Assured Trust through RTL-to-GDS Formal Equivalence [Conference Poster]. https://www.osti.gov/biblio/1507047

Letchford, J., Mayo, J.R., Armstrong, R.C., & Armstrong, R.C. (2015). Cybersecurity Design Techniques Targeting and Leveraging HPC [Conference Poster]. https://www.osti.gov/biblio/1252927

Gamell, M., Teranishi, K., Heroux, M.A., Mayo, J.R., Kolla, H., Chen, J.H., Parashar, M., & Parashar, M. (2015). Exploring Failure Recovery for Stencil-based Applications at Extreme Scales [Conference Poster]. https://www.osti.gov/biblio/1246303

Gamell, M., Teranishi, K., Heroux, M.A., Mayo, J.R., Kolla, H., Chen, J.H., Parashar, M., & Parashar, M. (2014). Failure Masking and Local Recovery for Stencil-based Applications at Extreme Scales [Conference Poster]. https://www.osti.gov/biblio/1244932

Mayo, J.R., Armstrong, R.C., Hulette, G.C., & Hulette, G.C. (2014). Digital System Robustness via Design Constraints: The Lesson of Formal Methods [Conference Poster]. 10.1109/SYSCON.2015.7116737

Hulette, G.C., Armstrong, R.C., Mayo, J.R., Ruthruff, J., & Ruthruff, J. (2014). Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics [Conference Poster]. 10.1016/j.entcs.2015.10.008

Kolda, T.G., Mayo, J.R., & Mayo, J.R. (2014). An Adaptive Power Method for the Generalized Tensor Eigenproblem [Conference]. https://www.osti.gov/biblio/1145446

Mayo, J.R. (2014). Digital System Analysis [Conference]. https://www.osti.gov/biblio/1142525

Armstrong, R.C., Mayo, J.R., Punnoose, R.J., Ruthruff, J., & Ruthruff, J. (2014). Digital Design Verification using Formal and Complexity Analysis [Presentation]. https://www.osti.gov/biblio/1688650

Hulette, G.C., Armstrong, R.C., Mayo, J.R., Ruthruff, J., & Ruthruff, J. (2014). Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics [Conference]. 10.1016/j.entcs.2015.10.008

Ray, J., Mayo, J.R., Armstrong, R.C., & Armstrong, R.C. (2014). Finite Difference Stencils Robust to Silent Data Corruption [Conference]. https://www.osti.gov/biblio/1140700

Kolda, T.G., Mayo, J.R., & Mayo, J.R. (2014). An adaptive shifted power method for computing generalized tensor eigenpairs. SIAM Journal on Matrix Analysis and Applications, 35(4), pp. 1563-1581. 10.1137/140951758

Clay, R.L., Mayo, J.R., Teranishi, K., Slattengren, N.L., & Slattengren, N.L. (2013). SC13 HPC Resilience Poster [Conference]. https://www.osti.gov/biblio/1095928

Comandur, S., Smith, A.M., Mayo, J.R., Armstrong, R.C., & Armstrong, R.C. (2013). Fourier Analysis of Boolean Networks: Explaining Resilience of Structured Families. Physical Review Letters. https://www.osti.gov/biblio/1115660

Kolda, T.G., Mayo, J.R., & Mayo, J.R. (2013). An Adaptive Power Method for the Generalized Tensor Eigenproblem [Presentation]. https://www.osti.gov/biblio/1666225

Mayo, J.R. (2013). Comparison of statistical properties of advected diffusive scalars and advected propagating fronts and implications for turbulent premixed flame propagation [Conference]. https://www.osti.gov/biblio/1145188

Mayo, J.R. (2013). Fundamental analysis and prediction of turbulent premixed combustion: Status and prospects [Conference]. https://www.osti.gov/biblio/1145206