Karla Morris

According to our database, Karla Morris authored at least 31 papers between 2005 and 2022.

Collaborative distances:

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

2022

Formal verification and validation of run-to-completion style state charts using Event-B.

Karla Morris, Colin F. Snook, Thai Son Hoang, Geoffrey C. Hulette, Robert C. Armstrong, Michael J. Butler

Innov. Syst. Softw. Eng., 2022

Q: A Sound Verification Framework for Statecharts and Their Implementations.

Samuel D. Pollard, Robert C. Armstrong, John Bender, Geoffrey C. Hulette, Raheel S. Mahmood, Karla Morris, Blake C. Rawlings, Jon M. Aytac

Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2022

2021

Raising the Bar: Assurance Cases for Scientific Software.

Spencer Smith, Mojdeh Sayari Nejad, Alan Wassyng, Jeffrey C. Carver, Karla Morris

Comput. Sci. Eng., 2021

Discovering Metamorphic Relations for Scientific Software From User Forums.

Xuanyi Lin, Michelle Simon, Zedong Peng, Nan Niu, Jeff Carver, Karla Morris

Comput. Sci. Eng., 2021

The Collegeville Workshops on Scientific Software: Looking Back and Forward.

Michael A. Heroux, Jeffrey C. Carver, Karla Morris

Comput. Sci. Eng., 2021

2020

Automated Fortran-C++ Bindings for Large-Scale Scientific Applications.

Seth R. Johnson, Andrey Prokopenko, Katherine J. Evans, Jeffrey C. Carver, Karla Morris

Comput. Sci. Eng., 2020

Formal Verification of Run-to-Completion Style Statecharts Using Event-B.

Karla Morris, Colin F. Snook, Thai Son Hoang, Geoffrey C. Hulette, Robert C. Armstrong, Michael J. Butler

Proceedings of the Software Architecture - 14th European Conference, 2020

Refinement and Verification of Responsive Control Systems.

Karla Morris, Colin F. Snook, Thai Son Hoang, Geoffrey C. Hulette, Robert C. Armstrong, Michael J. Butler

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

2018

Exploring the interplay of resilience and energy consumption for a task-based partial differential equations preconditioner.

Francesco Rizzi, Karla Morris, Khachik Sargsyan, Paul Mycek, Cosmin Safta, Olivier P. Le Maître, Omar M. Knio, Bert J. Debusschere

Parallel Comput., 2018

Partial differential equations preconditioner resilient to soft and hard faults.

Francesco Rizzi, Karla Morris, Khachik Sargsyan, Paul Mycek, Cosmin Safta, Olivier P. Le Maître, Omar M. Knio, Bert J. Debusschere

Int. J. High Perform. Comput. Appl., 2018

Refinement of Statecharts with Run-to-Completion Semantics.

Karla Morris, Colin F. Snook, Thai Son Hoang, Robert C. Armstrong, Michael J. Butler

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

2017

Discrete A Priori Bounds for the Detection of Corrupted PDE Solutions in Exascale Computations.

Paul Mycek, Francesco Rizzi, Olivier P. Le Maître, Khachik Sargsyan, Karla Morris, Cosmin Safta, Bert J. Debusschere, Omar M. Knio

SIAM J. Sci. Comput., 2017

A resilient domain decomposition polynomial chaos solver for uncertain elliptic PDEs.

Paul Mycek, Andres Contreras, Olivier P. Le Maître, Khachik Sargsyan, Francesco Rizzi, Karla Morris, Cosmin Safta, Bert J. Debusschere, Omar M. Knio

Comput. Phys. Commun., 2017

2016

Scalability of Partial Differential Equations Preconditioner Resilient to Soft and Hard Faults.

Karla Morris, Francesco Rizzi, Khachik Sargsyan, Kathryn Dahlgren, Paul Mycek, Cosmin Safta, Olivier P. Le Maître, Omar M. Knio, Bert J. Debusschere

Proceedings of the High Performance Computing - 31st International Conference, 2016

Performance Scaling Variability and Energy Analysis for a Resilient ULFM-based PDE Solver.

Karla Morris, Francesco Rizzi, Brendan Cook, Paul Mycek, Olivier P. Le Maître, Omar M. Knio, Khachik Sargsyan, Kathryn Dahlgren, Bert J. Debusschere

Proceedings of the 7th Workshop on Latest Advances in Scalable Algorithms for Large-Scale Systems, 2016

ULFM-MPI Implementation of a Resilient Task-Based Partial Differential Equations Preconditioner.

Francesco Rizzi, Karla Morris, Khachik Sargsyan, Paul Mycek, Cosmin Safta, Bert J. Debusschere, Olivier P. Le Maître, Omar M. Knio

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

2015

Using Coarrays to Parallelize Legacy Fortran Applications: Strategy and Case Study.

Hari Radhakrishnan, Damian W. I. Rouson, Karla Morris, Sameer Shende, Stavros C. Kassinos

Sci. Program., 2015

Extracting UML Class Diagrams from Object-Oriented Fortran: ForUML.

Aziz Nanthaamornphong, Jeffrey C. Carver, Karla Morris, Salvatore Filippone

Sci. Program., 2015

Emulating Multiple Inheritance in Fortran 2003/2008.

Karla Morris

Sci. Program., 2015

High-Performance Design Patterns for Modern Fortran.

Magne Haveraaen, Karla Morris, Damian W. I. Rouson, Hari Radhakrishnan, Clayton Carson

Sci. Program., 2015

Fault Resilient Domain Decomposition Preconditioner for PDEs.

Khachik Sargsyan, Francesco Rizzi, Paul Mycek, Cosmin Safta, Karla Morris, Habib N. Najm, Olivier P. Le Maître, Omar M. Knio, Bert J. Debusschere

SIAM J. Sci. Comput., 2015

2014

Building CLiiME via Test-Driven Development: A Case Study.

Aziz Nanthaamornphong, Jeffrey C. Carver, Karla Morris, Hope A. Michelsen, Damian W. I. Rouson

Comput. Sci. Eng., 2014

2013

Test-driven coarray parallelization of a legacy Fortran application.

Hari Radhakrishnan, Damian W. I. Rouson, Karla Morris, Sameer Shende, Stavros C. Kassinos

Proceedings of the 1st International Workshop on Software Engineering for High Performance Computing in Computational Science and Engineering, 2013

Extracting UML class diagrams from object-oriented Fortran: ForUML.

Aziz Nanthaamornphong, Karla Morris, Salvatore Filippone

Proceedings of the 1st International Workshop on Software Engineering for High Performance Computing in Computational Science and Engineering, 2013

High-performance design patterns for modern Fortran.

Magne Haveraaen, Karla Morris, Damian W. I. Rouson

Proceedings of the 1st International Workshop on Software Engineering for High Performance Computing in Computational Science and Engineering, 2013

A case study: agile development in the community laser-induced incandescence modeling environment (CLiiME).

Aziz Nanthaamornphong, Karla Morris, Damian W. I. Rouson, Hope A. Michelsen

Proceedings of the 5th International Workshop on Software Engineering for Computational Science and Engineering, 2013

2012

Exploring capabilities within ForTrilinos by solving the 3D Burgers equation.

Karla Morris, Damian W. I. Rouson, M. Nicole Lemaster, Salvatore Filippone

Sci. Program., 2012

This Isn't Your Parents' Fortran: Managing C++ Objects with Modern Fortran.

Damian W. I. Rouson, Karla Morris, Jim Xia

Comput. Sci. Eng., 2012

2011

On the object-oriented design of reference-counted shadow objects.

Karla Morris, Damian W. I. Rouson, Jim Xia

Proceedings of the SE-CSE@ICSE 2011: Proceedings of the 4th International Workshop on Software Engineering for Computational Science and Engineering, 2011

2006

Formal constraints on memory management for composite overloaded operations.

Damian W. I. Rouson, Xiaofeng Xu, Karla Morris

Sci. Program., 2006

2005

Dynamic Memory De-allocation in Fortran 95/2003 derived type calculus.

Damian W. I. Rouson, Karla Morris, Xiaofeng Xu

Sci. Program., 2005