Alper Altuntas
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
1
Active years
2017–2024
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | SC | Toward Automated Precision Tuning of Weather and Climate Models: A Case Study. | Jackson Vanover, Alper Altuntas, Cindy Rubio-Gonzlez |
| 2019 | SC | Bounded Verification of Sparse Matrix Computations. | Tristan Dyer, Alper Altuntas, John W. Baugh Jr. |
| 2018 | SC | Hybrid Theorem Proving as a Lightweight Method for Verifying Numerical Software. | Alper Altuntas, John W. Baugh Jr. |
| 2017 | SC | Verifying Concurrency in an Adaptive Ocean Circulation Model. | Alper Altuntas, John W. Baugh Jr. |