Alper Altuntas

According to our database, Alper Altuntas authored at least 6 papers between 2016 and 2024.

Collaborative distances:

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

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