benchmarking 1generic programming 1numerical computing 1performance analysis 1symbolic computation 1
From the 1 of 6 linked papers with an AI index.
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2026
Progress in Benchmarking Generics for Mathematical Computation
Daniel Pang, Stephen M. Watt
The paper presents SciGMark 1.5, a benchmark comparing specialized and generic implementations of numerical and symbolic kernels across modern languages, and analyzes how different…
cs.PL2026
Look Before You Leap: Checking In on Type Tag Checking
Stephen M. Watt
Tagging of generic dynamic values is important in symbolic-computation and dynamic-language systems, but the trade-offs change as machine architectures and workloads evolve. In par…