publications

publications by categories in reversed chronological order. generated by jekyll-scholar.

2025

  1. Specification and Verification for Climate Modeling: Formalization Leading to Impactful Tooling
    Alper Altuntas, Allison H. Baker, John Baugh, Ganesh Gopalakrishnan, and Stephen Siegel
    In VSS 2025: International Workshop on Verification of Scientific Software, 2025
    accepted
    PDF

2024

  1. Eastern Boundary Upwelling Systems in Ocean–Sea Ice Simulations Forced by CORE and JRA55-do: Mean State and Variability at the Surface
    RJ Small, J Kurian, P Chang, G Xu, H Tsujino, S Yeager, G Danabasoglu, and 3 more authors
    Journal of Climate, 2024
  2. Toward Automated Precision Tuning of Weather and Climate Models: A Case Study
    Jackson Vanover, Alper Altuntas, and Cindy Rubio-González
    In SC24-W: Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis, 2024
    PDF
  3. Report on the 2023 Workshop on Correctness and Reproducibility for Climate and Weather Software
    Alper Altuntas, Allison Baker, Ilene Carpenter, Brian Dobbins, Michael Duda, Dorit Hammerling, Thomas Hauser, and 1 more author
    2024
    PDF

2023

  1. Verifying ParamGen: A Case Study in Scientific Software Abstraction and Modeling
    Alper Altuntas, John Baugh, and Jesse Nusbaumer
    In 2023 Improving Scientific Software Conference, Boulder, CO, 2023
    PDF

2019

  1. Bounded verification of sparse matrix computations
    Tristan Dyer, Alper Altuntas, and John Baugh
    In 2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness), 2019
    PDF

2018

  1. Formal methods and finite element analysis of hurricane storm surge: A case study in software verification
    John Baugh and Alper Altuntas
    Science of Computer Programming, 2018
    PDF
  2. Hybrid theorem proving as a lightweight method for verifying numerical software
    Alper Altuntas and John Baugh
    In 2018 IEEE/ACM 2nd International Workshop on Software Correctness for HPC Applications (Correctness), 2018
    PDF

2017

  1. Adaptive subdomain modeling: A multi-analysis technique for ocean circulation models
    Alper Altuntas and John Baugh
    Ocean Modelling, 2017
    PDF
  2. Verifying concurrency in an adaptive ocean circulation model
    Alper Altuntas and John Baugh
    In Proceedings of the First International Workshop on Software Correctness for HPC Applications, 2017
    PDF

2016

  1. Modeling a discrete wet-dry algorithm for hurricane storm surge in Alloy
    John Baugh and Alper Altuntas
    In Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings 5, 2016
    PDF

2015

  1. An exact reanalysis technique for storm surge and tides in a geographic region of interest
    John Baugh, Alper Altuntas, Tristan Dyer, and Jason Simon
    Coastal Engineering, 2015
    PDF