Alper Altuntas

According to our database, Alper Altuntas authored at least 8 papers between 2016 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

visualCaseGen: An SMT-based Experiment Configurator for Community Earth System Model.

Alper Altuntas, Isla R. Simpson, Scott D. Bachman, Manish Venumuddula, Samuel Levis, Brian Dobbins, William J. Sacks, Gokhan Danabasoglu

J. Open Source Softw., March, 2026

2025

Specification and Verification for Climate Modeling: Formalization Leading to Impactful Tooling.

Alper Altuntas, Allison H. Baker, John W. Baugh Jr., Ganesh Gopalakrishnan, Stephen F. Siegel

Proceedings of the International Workshop on Verification of Scientific Software, October, 2025

2024

Toward Automated Precision Tuning of Weather and Climate Models: A Case Study.

Jackson Vanover, Alper Altuntas, Cindy Rubio-González

Proceedings of the SC24-W: Workshops of the International Conference for High Performance Computing, 2024

2019

Bounded Verification of Sparse Matrix Computations.

Tristan Dyer, Alper Altuntas, John W. Baugh Jr.

Proceedings of the 2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness), 2019

2018

Formal methods and finite element analysis of hurricane storm surge: A case study in software verification.

John W. Baugh Jr., Alper Altuntas

Sci. Comput. Program., 2018

Hybrid Theorem Proving as a Lightweight Method for Verifying Numerical Software.

Alper Altuntas, John W. Baugh Jr.

Proceedings of the 2nd IEEE/ACM International Workshop on Software Correctness for HPC Applications, 2018

2017

Verifying Concurrency in an Adaptive Ocean Circulation Model.

Alper Altuntas, John W. Baugh Jr.

Proceedings of the First International Workshop on Software Correctness for HPC Applications, 2017

2016

Modeling a Discrete Wet-Dry Algorithm for Hurricane Storm Surge in Alloy.

John W. Baugh Jr., Alper Altuntas

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016