Publications

Paul, S.R., Hayashi, A., Slattengren, N.L., Kolla, H., Whitlock, M.J., Bak, S., Teranishi, K., Mayo, J.R., Sarkar, V., & Sarkar, V. (2019). Enabling Resilience in Asynchronous Many-Task Programming Models [Conference Poster]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 10.1007/978-3-030-29400-7_25

Mayo, J.R., Armstrong, R.C., Hulette, G.C., Salloum, M., Smith, A.M., & Smith, A.M. (2018). Robust digital computation in the physical world. Cyber-Physical Systems Security. 10.1007/978-3-319-98935-8_1

Hamlet, J., Mayo, J.R., Martin, M.T., Torres, D., Cruz, J.W., & Cruz, J.W. (2018). Diversity for Microelectronics Lifecycle Security. 10.2172/1760404

Smith, A.M., Mayo, J.R., Armstrong, R.C., Schiek, R., Sholander, P.E., Mei, T., & Mei, T. (2018). Digital/Analog Cosimulation using CocoTB and Xyce. https://doi.org/10.2172/1488489

Teranishi, K., Kolla, H., Slattengren, N.L., Whitlock, M.J., Mayo, J.R., Clay, R.L., Paul, S.R., Hayashi, A., Sarkar, V., & Sarkar, V. (2018). Analysis of Local Recovery Resilience Model for Asynchronous Many Task Parallel Programming Models [Presentation]. https://www.osti.gov/biblio/1568980

Smith, A.M., Mayo, J.R., Armstrong, R.C., Schiek, R., Sholander, P.E., Mei, T., & Mei, T. (2018). Digital/Analog Cosimulation using CocoTB and Xyce. 10.2172/1761909

Teranishi, K., Kolla, H., Slattengren, N.L., Whitlock, M.J., Mayo, J.R., Clay, R.L., Paul, S.R., Hayashi, A., Sarkar, V., & Sarkar, V. (2018). ASC CSSE Level 2 Milestone #6362: Resilient Asynchronous Many Task Programming Model. 10.2172/1469062

Kolla, H., Teranishi, K., Slattengren, N., Whitlock, M.J., Mayo, J.R., Armstrong, R.C., Paul, S., Hayashi, A., Sarkar, V., & Sarkar, V. (2018). Fault Tolerance in Asynchronous Many-Task Programming Models & Runtimes [Conference Poster]. https://www.osti.gov/biblio/1532606

Hamlet, J., Mayo, J.R., & Mayo, J.R. (2017). Modeling and Analysis of the Impact of Diversity in Digital Circuits on Attackers [Conference Poster]. https://www.osti.gov/biblio/1483230

Gamell, M., Teranishi, K., Kolla, H., Mayo, J.R., Heroux, M.A., Chen, J.H., Parashar, M., & Parashar, M. (2017). Scalable Failure Masking for Stencil Computations using Ghost Region Expansion and Cell to Rank Remapping. SIAM Journal on Scientific Computing, 39(5). 10.1137/16m1081610

Gamell, M., Teranishi, K., Mayo, J.R., Kolla, H., Heroux, M.A., Chen, J.H., Parashar, M., & Parashar, M. (2017). Modeling and simulating multiple failure masking enabled by local recovery for stencil-based applications at extreme scales. IEEE Transactions on Parallel and Distributed Systems, 28(10), pp. 2881-2895. 10.1109/tpds.2017.2696538

Armstrong, R.C., Foulk, J.W., Hulette, G.C., Mayo, J.R., Michnovicz, J., Aytac, J.M., Johnson-Freyd, P., Punnoose, R.J., Smith, A.M., & Smith, A.M. (2017). Tools for Simple Yet Very High Consequence Controls [Presentation]. https://www.osti.gov/biblio/1513847

Hamlet, J., Mayo, J.R., & Mayo, J.R. (2017). Modeling and Analysis of the Impact of Diversity in Digital Circuits on Attackers [Conference Poster]. https://www.osti.gov/biblio/1469071

Smith, A.M., Mayo, J.R., Kammler, V., Armstrong, R.C., Vorobeychik, Y., & Vorobeychik, Y. (2017). Using computational game theory to guide verification and security in hardware designs [Conference Poster]. Proceedings of the 2017 IEEE International Symposium on Hardware Oriented Security and Trust, HOST 2017. 10.1109/HST.2017.7951808

Armstrong, R.C., Mayo, J.R., & Mayo, J.R. (2017). Scientific Approaches to Cybersecurity: Design and Analysis of Complex Digital Systems [Presentation]. https://www.osti.gov/biblio/1456840

Armstrong, R.C., Aytac, J.M., Hulette, G.C., Mayo, J.R., Foulk, J.W., & Foulk, J.W. (2017). Compiling Statecharts into Why3 [Presentation]. https://www.osti.gov/biblio/1457972

Salloum, M., Mayo, J.R., Armstrong, R.C., & Armstrong, R.C. (2017). Programming Constructs for Transparent Silent-Error Mitigation in PDE Solvers [Conference Poster]. https://www.osti.gov/biblio/1424859

Mayo, J.R. (2016). Robust Digital Computation in the Physical World [Presentation]. https://www.osti.gov/biblio/1427986

Smith, A.M., Mayo, J.R., Kammler, V., Armstrong, R.C., Vorobeychik, Y., & Vorobeychik, Y. (2016). Using Computational Game Theory To Guide Verification and Security in Hardware Designs [Conference Poster]. https://www.osti.gov/biblio/1408317

Seshadhri, C., Smith, A.M., Vorobeychik, Y., Mayo, J.R., Armstrong, R.C., & Armstrong, R.C. (2016). Characterizing short-term stability for Boolean networks over any distribution of transfer functions. Physical Review E, 94(1). 10.1103/PhysRevE.94.012301

Mayo, J.R. (2016). Enabling V&V for Engineered Complex Systems via Resilient Design [Presentation]. https://www.osti.gov/biblio/1367626

Strazdins, P., Harding, B., Lee, B., Mayo, J.R., Ray, J., Armstrong, R.C., & Armstrong, R.C. (2016). Robust finite difference stencils for solving the advection equation [Conference Poster]. https://www.osti.gov/biblio/1368998

Salloum, M., Mayo, J.R., Armstrong, R.C., & Armstrong, R.C. (2016). In-situ mitigation of silent data corruption in PDE solvers [Conference Poster]. FTXS 2016 - Proceedings of the ACM Workshop on Fault-Tolerance for HPC at Extreme Scale. 10.1145/2909428.2909433

Foulk, J.W., Hulette, G.C., Mayo, J.R., Foulk, J.W., & Foulk, J.W. (2016). Formal Verification of High-Consequence Digital Controls [Conference Poster]. https://www.osti.gov/biblio/1806530

Salloum, M., Mayo, J.R., Armstrong, R.C., & Armstrong, R.C. (2016). In-Situ Mitigation of Silent Data Corruption in PDE Solvers [Conference Poster]. 10.1145/2909428.2909433