Mayo, J.R., Morris Wright, K.V., Aytac, J.M., Smith, A.M., Armstrong, R.C., Hulette, G.C., Lober, R.R., & Lober, R.R. (2023). Demonstration of Model-Based Design for Digital Controller Using Formal Methods. 10.2172/2430067
Publications
Search results
Jump to search filtersEpifanovskaya, L., Lee, J.R., McCormack, C., Meeson, R., Armstrong, R.C., Mayo, J.R., & Mayo, J.R. (2022). Algorithmic Input Generation for More Effective Software Testing [Conference Presentation]. Proceedings - 2022 IEEE 46th Annual Computers, Software, and Applications Conference, COMPSAC 2022. 10.2172/2003350
Epifanovskaya, L., Meeson, R., McCormack, C., Lee, J.R., Armstrong, R.C., Mayo, J.R., & Mayo, J.R. (2022). Algorithmic Input Generation for More Effective Software Testing [Conference Paper]. Proceedings - 2022 IEEE 46th Annual Computers, Software, and Applications Conference, COMPSAC 2022. https://doi.org/10.1109/COMPSAC54236.2022.00272
Kolla, H., Mayo, J.R., Whitlock, M.J., Teranishi, K., Armstrong, R.C., & Armstrong, R.C. (2021). Asynchrony and Failure Masking via Pseudo-Local Process Recovery in MPI Stencil Applications [Conference Presentation]. 10.2172/2001625
Mayo, J.R. (2020). Thoughts on a Cyber Threat Model for a High-Consequence System. 10.2172/1724319
Gupta, N., Mayo, J.R., Lemoine, A.S., Kaiser, H., & Kaiser, H. (2020). Towards Distributed Software Resilience in Asynchronous Many-Task Programming Models [Conference Presentation]. Proceedings of FTXS 2020: Fault Tolerance for HPC at eXtreme Scale, Held in conjunction with SC 2020: The International Conference for High Performance Computing, Networking, Storage and Analysis. https://doi.org/10.2172/1825974
Gupta, N., Mayo, J.R., Lemoine, A.S., Kaiser, H., & Kaiser, H. (2020). Towards Distributed Software Resilience in Asynchronous Many-Task Programming Models [Conference Proceeding]. Proceedings of FTXS 2020: Fault Tolerance for HPC at eXtreme Scale, Held in conjunction with SC 2020: The International Conference for High Performance Computing, Networking, Storage and Analysis. https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85099589395&origin=inward
Kolla, H., Mayo, J.R., Teranishi, K., Armstrong, R.C., & Armstrong, R.C. (2020). Improving Scalability of Silent-Error Resilience for Message-Passing Solvers via Local Recovery and Asynchrony [Conference Presentation]. Proceedings of FTXS 2020: Fault Tolerance for HPC at eXtreme Scale, Held in conjunction with SC 2020: The International Conference for High Performance Computing, Networking, Storage and Analysis. https://doi.org/10.2172/1825971
Kolla, H., Mayo, J.R., Teranishi, K., Armstrong, R.C., & Armstrong, R.C. (2020). Improving Scalability of Silent-Error Resilience for Message-Passing Solvers via Local Recovery and Asynchrony [Conference Paper]. Proceedings of FTXS 2020: Fault Tolerance for HPC at eXtreme Scale, Held in conjunction with SC 2020: The International Conference for High Performance Computing, Networking, Storage and Analysis. https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85099569771&origin=inward
Paul, S.R., Hayashi, A., Whitlock, M.J., Bak, S., Teranishi, K., Mayo, J.R., Grossman, M., Sarkar, V., & Sarkar, V. (2020). Integrating Inter-Node Communication with a Resilient Asynchronous Many-Task Runtime System [Conference Presentation]. Proceedings of ExaMPI 2020: Exascale MPI Workshop, Held in conjunction with SC 2020: The International Conference for High Performance Computing, Networking, Storage and Analysis. 10.2172/1831760
Gupta, N., Mayo, J.R., Lemoine, A.S., Kaiser, H., & Kaiser, H. (2020). Towards Distributed Software Resilience in Asynchronous Many-Task Programming Models [Conference Proceeding]. Proceedings of FTXS 2020: Fault Tolerance for HPC at eXtreme Scale, Held in conjunction with SC 2020: The International Conference for High Performance Computing, Networking, Storage and Analysis. https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85099589395&origin=inward
Paul, S.R., Hayashi, A., Whitlock, M.J., Bak, S., Teranishi, K., Mayo, J.R., Grossman, M., Sarkar, V., & Sarkar, V. (2020). Integrating Inter-Node Communication with a Resilient Asynchronous Many-Task Runtime System [Conference Paper]. https://www.osti.gov/biblio/1825600
Gupta, N., Mayo, J.R., Lemoine, A.S., Hartmut, K., & Hartmut, K. (2020). Implementing Software Resiliency in HPX for Extreme Scale Computing. 10.2172/1614897
Paul, S.R., Hayashi, A., Slattengren, N.L., Kolla, H., Bak, S., Whitlock, M.J., Mayo, J.R., Teranishi, K., Sarker, V., Grossman, M., & Grossman, M. (2020). Composing Asynchrony Communication and Resilience [Conference Poster]. https://www.osti.gov/biblio/1766687
Kolla, H., Mayo, J.R., Armstrong, R.C., & Armstrong, R.C. (2020). Silent-Error Detection Local Recovery and Failure Masking in MPI-Based Solvers [Conference Poster]. https://www.osti.gov/biblio/1766677
Salloum, M., Mayo, J.R., Armstrong, R.C., & Armstrong, R.C. (2020). Physics-Based Checksums for Silent-Error Detection in PDE Solvers [Conference Poster]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85086221992&origin=inward
Mayo, J.R. (2019). Physics-based mitigation of silent errors [Conference Poster]. https://www.osti.gov/biblio/1642868
Armstrong, R.C., Evans, N., Hulette, G.C., Foulk, J.W., Aytac, J.M., Johnson-Freyd, P., Mayo, J.R., Punnoose, R.J., & Punnoose, R.J. (2019). Dishwashers of Armageddon: Verifying high consequence systems for Nuclear Weapons [Conference Poster]. https://www.osti.gov/biblio/1642936
Paul, S.R., Hayahsi, 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]. 10.1007/978-3-030-29400-7_25
Salloum, M., Mayo, J.R., Armstrong, R.C., & Armstrong, R.C. (2019). Physics-Based Checksums for Silent-Error Detection in PDE Solvers [Conference Poster]. 10.1007/978-3-030-48340-1_52
Mayo, J.R., Kerstein, A.R., & Kerstein, A.R. (2019). Log-Correlated Large-Deviation Statistics Governing Huygens Fronts in Turbulence. Journal of Statistical Physics, 176(2), pp. 456-477. 10.1007/s10955-019-02306-3
Kolla, H., Teranishi, K., Mayo, J.R., Salloum, M., Armstrong, R.C., & Armstrong, R.C. (2019). Programming Model Tradeoffs for Global vs Local Recovery: Algorithm Based Fault Tolerance [Conference Poster]. https://www.osti.gov/biblio/1643668
Hamlet, J., Mayo, J.R., Kammler, V., & Kammler, V. (2019). Targeted modification of hardware trojans. Journal of Hardware and Systems Security (Online), 3(2). 10.1007/s41635-018-0058-x
Salloum, M., Mayo, J.R., Armstrong, R.C., & Armstrong, R.C. (2019). Physics-Based Checksums for Silent-Error Detection in PDE Solvers [Conference Poster]. https://www.osti.gov/biblio/1639252
Teranishi, K., Kolla, H., Slattengren, N.L., Mayo, J.R., Paul, S.R., Hayashi, A., Sarker, V., Bak, S., & Bak, S. (2019). Scalable Efficient Fault Tolerance in Asynchronous Many Task (AMT) Programming Models [Conference Poster]. https://www.osti.gov/biblio/1639246
Results 1–25 of 154