Abstract is missing.
- Verifying Concurrency in an Adaptive Ocean Circulation ModelAlper Altuntas, John Baugh. 1-7 [doi]
- Quality Assurance and Error Identification for the Community Earth System ModelAllison H. Baker, Daniel J. Milroy, Dorit M. Hammerling, Haiying Xu. 8-13 [doi]
- A Family of Provably Correct Algorithms for Exact Triangle CountingMatthew Lee, Tze Meng Low. 14-20 [doi]
- Runtime Correctness Checking for Emerging Programming ParadigmsJoachim Protze, Christian Terboven, Matthias S. Müller, Serge G. Petiton, Nahid Emad, Hitoshi Murai, Taisuke Boku. 21-27 [doi]
- Verifying MPI Applications with SimGridMCAnh Pham, Thierry Jéron, Martin Quinson. 28-33 [doi]
- Verifying the Floating-Point Computation Equivalence of Manually and Automatically Differentiated CodeMarkus Schordan, Jan Hückelheim, Pei-Hung Lin, Harshitha Menon. 34-41 [doi]
- Towards Self-Verification in Finite Difference Code GenerationJan Hückelheim, Ziqing Luo, Fabio Luporini, Navjot Kukreja, Michael Lange, Gerard Gorman, Stephen F. Siegel, Matthew B. Dwyer, Paul D. Hovland. 42-49 [doi]