Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Karla Morris
conf.researchr.org general profile
PPoPP 2016 profile
SPLASH 2022 profile
Not registered as user
Name:
Karla Morris
Contributions
2022
FTSCS
Author of Q: A Sound Verification Framework for Statecharts and Their Implementations within the Formal Techniques for Safety-Critical Systems-track
2016
PP4REE
Author of Exploring the Interplay of Resilience and Energy Consumption for a Task-Based Partial Differential Equations Preconditioner within the PP4REE 2016-track
Share
x
Sun 16 Nov 17:14