Karla Morris

According to our database1, Karla Morris authored at least 25 papers between 2005 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Automated Fortran-C++ Bindings for Large-Scale Scientific Applications.
Comput. Sci. Eng., 2020

Formal Verification of Run-to-Completion Style Statecharts Using Event-B.
Proceedings of the Software Architecture - 14th European Conference, 2020

Refinement and Verification of Responsive Control Systems.
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.
Parallel Comput., 2018

Partial differential equations preconditioner resilient to soft and hard faults.
Int. J. High Perform. Comput. Appl., 2018

Refinement of Statecharts with Run-to-Completion Semantics.
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.
SIAM J. Sci. Comput., 2017

A resilient domain decomposition polynomial chaos solver for uncertain elliptic PDEs.
Comput. Phys. Commun., 2017

2016
Scalability of Partial Differential Equations Preconditioner Resilient to Soft and Hard Faults.
Proceedings of the High Performance Computing - 31st International Conference, 2016

Performance Scaling Variability and Energy Analysis for a Resilient ULFM-based PDE Solver.
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.
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.
Sci. Program., 2015

Extracting UML Class Diagrams from Object-Oriented Fortran: ForUML.
Sci. Program., 2015

Emulating Multiple Inheritance in Fortran 2003/2008.
Sci. Program., 2015

High-Performance Design Patterns for Modern Fortran.
Sci. Program., 2015

Fault Resilient Domain Decomposition Preconditioner for PDEs.
SIAM J. Sci. Comput., 2015

2014
Building CLiiME via Test-Driven Development: A Case Study.
Comput. Sci. Eng., 2014

2013
Test-driven coarray parallelization of a legacy Fortran application.
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.
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.
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).
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.
Sci. Program., 2012

This Isn't Your Parents' Fortran: Managing C++ Objects with Modern Fortran.
Comput. Sci. Eng., 2012

2006
Formal constraints on memory management for composite overloaded operations.
Sci. Program., 2006

2005
Dynamic Memory De-allocation in Fortran 95/2003 derived type calculus.
Sci. Program., 2005


  Loading...