2 papers
cs.SE2025
Automated Statistical Testing and Certification of a Reliable Model-Coupling Server for Scientific Computing
Seth Wolfgang, Lan Lin, Fengguang Song
Sequence-based specification and usage-driven statistical testing are designed for rigorous and cost-effective software development, offering a semi-formal approach to assessing th…
cs.DS2025
Value-Compressed Sparse Column (VCSC): Sparse Matrix Storage for Redundant Data
Skyler Ruiter, Seth Wolfgang, Marc Tunnell +3
Compressed Sparse Column (CSC) and Coordinate (COO) are popular compression formats for sparse matrices. However, both CSC and COO are general purpose and cannot take advantage of…