Publications
Below is a list of my peer-reviewed journal and conference publications in the fields of computer science and numerical modeling.
-
Altuntas, Alper, John Baugh, and Jesse Nusbaumer. “Verifying ParamGen: A Case Study in Scientific Software Abstraction and Modeling.” In Proceedings of 2023 Improving Scientific Software Conference, 2023. (accepted) pdf
-
Dyer, Tristan, Alper Altuntas, and John Baugh. “Bounded Verification of Sparse Matrix Computations.” In Proceedings of 2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness), pp. 36-43. IEEE, 2019. pdf
-
Baugh, John, and Alper Altuntas. “Formal methods and finite element analysis of hurricane storm surge: A case study in software verification.” Science of Computer Programming 158 (2018): 100-121. pdf
-
Altuntas, Alper, and John Baugh. “Hybrid Theorem Proving as a Lightweight Method for Verifying Numerical Software.” In Proceedings of 2018 IEEE/ACM 2nd International Workshop on Software Correctness for HPC Applications (Correctness), pp. 1-8. IEEE, 2018. pdf
-
Altuntas, Alper, and John Baugh. “Verifying Concurrency in an Adaptive Ocean Circulation Model.’’ In Proceedings of the First International Workshop on Software Correctness for HPC Applications, pp. 1-7. ACM, 2017. pdf
-
Altuntas, Alper, and John Baugh. “Adaptive subdomain modeling: A multi-analysis technique for ocean circulation models.” Ocean Modelling 115 (2017): 86-104. pdf
-
Baugh, John, and Alper Altuntas. “Modeling a Discrete Wet-Dry Algorithm for Hurricane Storm Surge in Alloy.” In International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, pp. 256-261. Springer International Publishing, 2016. pdf
-
Baugh, John, Alper Altuntas, Tristan Dyer, and Jason Simon. “An exact reanalysis technique for storm surge and tides in a geographic region of interest.” Coastal Engineering 97 (2015): 60-77. pdf