2 papers
cs.PL2026
Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types
Takashi Suwa, Atsushi Igarashi
When writing programs involving matrices or tensors in general, it is desirable to rule out the inconsistency of tensor shapes (i.e., the generalization of matrix sizes) before act…
cs.SE2025
Accelerating Delta Debugging through Probabilistic Monotonicity Assessment
Yonggang Tao, Jingling Xue
Delta debugging assumes search space monotonicity: if a program causes a failure, any supersets of that program will also induce the same failure, permitting the exclusion of subse…