Karla Morris

33 papers C 3Journal 19Unranked 10
YearRankTypeTitle / Venue / Authors
2022 J jnl
Formal verification and validation of run-to-completion style state charts using Event-B.
Innov. Syst. Softw. Eng.
Karla Morris, Colin F. Snook, Thai Son Hoang, Geoffrey C. Hulette, Robert C. Armstrong, Michael J. Butler
2022 — conf
Q: A Sound Verification Framework for Statecharts and Their Implementations.
FTSCS
Samuel D. Pollard, Robert C. Armstrong, John Bender, Geoffrey C. Hulette, Raheel S. Mahmood, Karla Morris, Blake C. Rawlings, Jon M. Aytac
2021 J jnl
Discovering Metamorphic Relations for Scientific Software From User Forums.
Comput. Sci. Eng.
Xuanyi Lin, Michelle Simon, Zedong Peng, Nan Niu, Jeff Carver, Karla Morris
2021 J jnl
Raising the Bar: Assurance Cases for Scientific Software.
Comput. Sci. Eng.
Spencer Smith, Mojdeh Sayari Nejad, Alan Wassyng, Jeffrey C. Carver, Karla Morris
2021 J jnl
The Collegeville Workshops on Scientific Software: Looking Back and Forward.
Comput. Sci. Eng.
Michael A. Heroux, Jeffrey C. Carver, Karla Morris
2020 J jnl
Automated Fortran-C++ Bindings for Large-Scale Scientific Applications.
Comput. Sci. Eng.
Seth R. Johnson, Andrey Prokopenko, Katherine J. Evans, Jeffrey C. Carver, Karla Morris
2020 — conf
Formal Verification of Run-to-Completion Style Statecharts Using Event-B.
ECSA Companion
Karla Morris, Colin F. Snook, Thai Son Hoang, Geoffrey C. Hulette, Robert C. Armstrong, Michael J. Butler
2020 C conf
Refinement and Verification of Responsive Control Systems.
ABZ
Karla Morris, Colin F. Snook, Thai Son Hoang, Geoffrey C. Hulette, Robert C. Armstrong, Michael J. Butler
2018 J jnl
Exploring the interplay of resilience and energy consumption for a task-based partial differential equations preconditioner.
Parallel Comput.
Francesco Rizzi, Karla Morris, Khachik Sargsyan, Paul Mycek, Cosmin Safta, Olivier P. Le Maître, Omar M. Knio, Bert J. Debusschere
2018 J jnl
Partial differential equations preconditioner resilient to soft and hard faults.
Int. J. High Perform. Comput. Appl.
Francesco Rizzi, Karla Morris, Khachik Sargsyan, Paul Mycek, Cosmin Safta, Olivier P. Le Maître, Omar M. Knio, Bert J. Debusschere
2018 — conf
Refinement of Statecharts with Run-to-Completion Semantics.
FTSCS
Karla Morris, Colin F. Snook, Thai Son Hoang, Robert C. Armstrong, Michael J. Butler
2017 J jnl
A resilient domain decomposition polynomial chaos solver for uncertain elliptic PDEs.
Comput. Phys. Commun.
Paul Mycek, Andres Contreras, Olivier P. Le Maître, Khachik Sargsyan, Francesco Rizzi, Karla Morris, Cosmin Safta, Bert J. Debusschere, Omar M. Knio
2017 J jnl
Discrete A Priori Bounds for the Detection of Corrupted PDE Solutions in Exascale Computations.
SIAM J. Sci. Comput.
Paul Mycek, Francesco Rizzi, Olivier P. Le Maître, Khachik Sargsyan, Karla Morris, Cosmin Safta, Bert J. Debusschere, Omar M. Knio
2017 — ed.
Proceedings of PAW@SC 2017: Second Annual PGAS Applications Workshop, Held in conjunction with SC17: The International Conference for High Performance Computing, Networking, Storage and Analysis, Denver, Colorado, USA, November 12-17, 2017
PAW@SC
Karla Morris, Costin Iancu, Salvatore Filippone, Bradford L. Chamberlain, Bill Long
2016 — conf
Performance Scaling Variability and Energy Analysis for a Resilient ULFM-based PDE Solver.
ScalA@SC
Karla Morris, Francesco Rizzi, Brendan Cook, Paul Mycek, Olivier P. Le Maître, Omar M. Knio, Khachik Sargsyan, Kathryn Dahlgren, Bert J. Debusschere
2016 C conf
Scalability of Partial Differential Equations Preconditioner Resilient to Soft and Hard Faults.
ISC
Karla Morris, Francesco Rizzi, Khachik Sargsyan, Kathryn Dahlgren, Paul Mycek, Cosmin Safta, Olivier P. Le Maître, Omar M. Knio, Bert J. Debusschere
2016 — conf
ULFM-MPI Implementation of a Resilient Task-Based Partial Differential Equations Preconditioner.
FTXS@HPDC
Francesco Rizzi, Karla Morris, Khachik Sargsyan, Paul Mycek, Cosmin Safta, Bert J. Debusschere, Olivier P. Le Maître, Omar M. Knio
2015 J jnl
Emulating Multiple Inheritance in Fortran 2003/2008.
Sci. Program.
Karla Morris
2015 J jnl
Extracting UML Class Diagrams from Object-Oriented Fortran: ForUML.
Sci. Program.
Aziz Nanthaamornphong, Jeffrey C. Carver, Karla Morris, Salvatore Filippone
2015 J jnl
Fault Resilient Domain Decomposition Preconditioner for PDEs.
SIAM J. Sci. Comput.
Khachik Sargsyan, Francesco Rizzi, Paul Mycek, Cosmin Safta, Karla Morris, Habib N. Najm, Olivier P. Le Maître, Omar M. Knio, Bert J. Debusschere
2015 J jnl
High-Performance Design Patterns for Modern Fortran.
Sci. Program.
Magne Haveraaen, Karla Morris, Damian W. I. Rouson, Hari Radhakrishnan, Clayton Carson
2015 C conf
Partial Differential Equations Preconditioner Resilient to Soft and Hard Faults.
CLUSTER
Francesco Rizzi, Karla Morris, Khachik Sargsyan, Paul Mycek, Cosmin Safta, Olivier P. Le Maître, Omar M. Knio, Bert J. Debusschere
2015 J jnl
Using Coarrays to Parallelize Legacy Fortran Applications: Strategy and Case Study.
Sci. Program.
Hari Radhakrishnan, Damian W. I. Rouson, Karla Morris, Sameer Shende, Stavros C. Kassinos
2014 J jnl
Building CLiiME via Test-Driven Development: A Case Study.
Comput. Sci. Eng.
Aziz Nanthaamornphong, Jeffrey C. Carver, Karla Morris, Hope A. Michelsen, Damian W. I. Rouson
2013 — conf
A case study: agile development in the community laser-induced incandescence modeling environment (CLiiME).
SE-CSE@ICSE
Aziz Nanthaamornphong, Karla Morris, Damian W. I. Rouson, Hope A. Michelsen
2013 — conf
Extracting UML class diagrams from object-oriented Fortran: ForUML.
SE-HPCCSE@SC
Aziz Nanthaamornphong, Karla Morris, Salvatore Filippone
2013 — conf
High-performance design patterns for modern Fortran.
SE-HPCCSE@SC
Magne Haveraaen, Karla Morris, Damian W. I. Rouson
2013 — conf
Test-driven coarray parallelization of a legacy Fortran application.
SE-HPCCSE@SC
Hari Radhakrishnan, Damian W. I. Rouson, Karla Morris, Sameer Shende, Stavros C. Kassinos
2012 J jnl
Exploring capabilities within ForTrilinos by solving the 3D Burgers equation.
Sci. Program.
Karla Morris, Damian W. I. Rouson, M. Nicole Lemaster, Salvatore Filippone
2012 J jnl
This Isn't Your Parents' Fortran: Managing C++ Objects with Modern Fortran.
Comput. Sci. Eng.
Damian W. I. Rouson, Karla Morris, Jim Xia
2011 — conf
On the object-oriented design of reference-counted shadow objects.
SE-CSE@ICSE
Karla Morris, Damian W. I. Rouson, Jim Xia
2006 J jnl
Formal constraints on memory management for composite overloaded operations.
Sci. Program.
Damian W. I. Rouson, Xiaofeng Xu, Karla Morris
2005 J jnl
Dynamic Memory De-allocation in Fortran 95/2003 derived type calculus.
Sci. Program.
Damian W. I. Rouson, Karla Morris, Xiaofeng Xu