Dynamic Memory De-allocation in Fortran 95/2003 derived type calculus. - Damian W. I. Rouson; Karla Morris; Xiaofeng Xu (Sci. Program., 2005)

Formal constraints on memory management for composite overloaded operations. - Damian W. I. Rouson; Xiaofeng Xu; Karla Morris (Sci. Program., 2006)

On the object-oriented design of reference-counted shadow objects. - Karla Morris; Damian W. I. Rouson; Jim Xia (SE-CSE@ICSE, 2011)

This Isn't Your Parents' Fortran: Managing C++ Objects with Modern Fortran. - Damian W. I. Rouson; Karla Morris; Jim Xia (Comput. Sci. Eng., 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)

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 (SE-CSE@ICSE, 2013)

High-performance design patterns for modern Fortran. - Magne Haveraaen; Karla Morris; Damian W. I. Rouson (SE-HPCCSE@SC, 2013)

Extracting UML class diagrams from object-oriented Fortran: ForUML. - Aziz Nanthaamornphong; Karla Morris; Salvatore Filippone (SE-HPCCSE@SC, 2013)

Test-driven coarray parallelization of a legacy Fortran application. - Hari Radhakrishnan; Damian W. I. Rouson; Karla Morris; Sameer Shende; Stavros C. Kassinos (SE-HPCCSE@SC, 2013)

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)

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)

High-Performance Design Patterns for Modern Fortran. - Magne Haveraaen; Karla Morris; Damian W. I. Rouson; Hari Radhakrishnan; Clayton Carson (Sci. Program., 2015)

Emulating Multiple Inheritance in Fortran 2003/2008. - Karla Morris (Sci. Program., 2015)

Extracting UML Class Diagrams from Object-Oriented Fortran: ForUML. - Aziz Nanthaamornphong; Jeffrey C. Carver; Karla Morris; Salvatore Filippone (Sci. Program., 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)

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 (FTXS@HPDC, 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 (ScalA@SC, 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 (ISC, 2016)

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)

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)

Refinement of Statecharts with Run-to-Completion Semantics. - Karla Morris; Colin F. Snook; Thai Son Hoang; Robert C. Armstrong; Michael J. Butler (FTSCS, 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)

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)

Refinement and Verification of Responsive Control Systems. - Karla Morris; Colin F. Snook; Thai Son Hoang; Geoffrey C. Hulette; Robert C. Armstrong; Michael J. Butler (ABZ, 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 (ECSA Companion, 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)

The Collegeville Workshops on Scientific Software: Looking Back and Forward. - Michael A. Heroux; 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 001; Karla Morris (Comput. Sci. Eng., 2021)

Raising the Bar: Assurance Cases for Scientific Software. - Spencer Smith 001; Mojdeh Sayari Nejad; Alan Wassyng; Jeffrey C. Carver; Karla Morris (Comput. Sci. Eng., 2021)

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 (FTSCS, 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)