talks
A selection of talks I have given.
-
Specification and Verification for Climate Modeling: Formalization Leading to Impactful Tooling
VSS 2025: International Workshop on Verification of Scientific Software. Hamilton ON, Canada. May 4, 2025.
[slides] -
visualCaseGen: Streamlining CESM Simpler Modeling Efforts and Beyond
29th Annual CESM Workshop. Boulder, CO. June 11, 2024.
[slides] [recording] -
Verifying ParamGen: A case study in scientific software abstraction and modeling
2023 Improving Scientific Software Conference. Boulder, CO. April 17, 2023.
[slides] [recording] -
Ocean/Sea Ice Modeling Practical Session
CESM Tutorial 2022. Boulder, CO. August 12, 2022.
[slides] -
visualCaseGen: A GUI for CESM Simpler Models Framework
26th Annual CESM Workshop. Boulder, CO. June 16, 2021.
[slides] [recording] -
Coupling MOM6 in CESM: Software challenges and advances
25th Annual CESM Workshop. Boulder, CO. June 17, 2020.
[slides] -
Using MOM6 in CESM
2020 MOM6 Webinar Series. Boulder, CO. April 27, 2020.
[slides] [recording] -
Formal Methods and Modeling HPC Software
NCAR Climate & Global Dynamics (CGD) Research Reports. Boulder, CO. November 29, 2018.
[slides] -
Panelist: “Facilitating the Adoption of Correctness Tools in HPC Applications.”
2nd International Workshop on Software Correctness for HPC Applications (Correctness). Dallas, TX. November 12, 2018. -
Hybrid Theorem Proving as a Lightweight Method for Verifying Numerical Software
2nd International Workshop on Software Correctness for HPC Applications (Correctness). Dallas, TX. November 12, 2018.
[slides] -
Verifying Concurrency in an Adaptive Ocean Circulation Model
First International Workshop on Software Correctness for HPC Applications (Correctness). Denver, CO. November 12, 2017.
[slides] -
Adaptive Subdomain Modeling in ADCIRC++
2016 ADCIRC Users Group Meeting. Vicksburg, MS. May 5-6, 2016.
[slides] -
Development in Subdomain Modeling
2015 ADCIRC Users Group Meeting. College Park, MD. March 30-31, 2015.
[slides]