VSS@ETAPS 2025: Hamilton, Canada

> Home > Conferences and Workshops > ETAPS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2510-12314
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2510-12314
Stephen F. Siegel, Ganesh Gopalakrishnan:
Proceedings of the International Workshop on Verification of Scientific Software, VSS@ETAPS 2025, Hamilton, Canada, 4th May 2025. EPTCS 432, 2025
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2510-13412
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2510-13412
Andrew W. Appel:
Formal Verification of COO to CSR Sparse Matrix Conversion (Invited Paper). 3-18
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2510-13423
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2510-13423
Matthew J. Sottile, Mohit Tekriwal, John Sarracino:
Towards Richer Challenge Problems for Scientific Computing Correctness. 19-26
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2510-13424
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2510-13424
Alexander C. Wilton:
Verifying a Sparse Matrix Algorithm Using Symbolic Execution. 27-36
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2510-13414
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2510-13414
Max Fan, Ariel E. Kellison, Samuel D. Pollard:
Mechanizing Olver's Error Arithmetic. 37-47
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2510-13692
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2510-13692
Deepak A. Cherian:
Property Testing for Ocean Models. Can We Specify It? (Invited Talk). 48-59
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2510-13425
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2510-13425
Alper Altuntas, Allison H. Baker, John W. Baugh Jr., Ganesh Gopalakrishnan, Stephen F. Siegel:
Specification and Verification for Climate Modeling: Formalization Leading to Impactful Tooling. 60-75
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2510-13426
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2510-13426
Sehyeok Park, Santosh Nagarakatte:
Fast Trigonometric Functions using the RLIBM Approach. 76-89
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2510-13413
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2510-13413
Paul D. Hovland:
VSS Challenge Problem: Verifying the Correctness of AllReduce Algorithms in the MPICH Implementation of MPI. 90-97
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2510-13427
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2510-13427
Junchao Zhang:
Verification Challenges in Sparse Matrix Vector Multiplication in High Performance Computing: Part I. 98-105
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2510-13428
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2510-13428
Andrew R. Siegel:
Verification Challenge: Fractional Cascading for Multi-Nuclide Grid Lookup. 106-111

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.