Showing 2026Show all
3 papers · 1 filter
cs.PL2026
Progress in Benchmarking Generics for Mathematical Computation
Daniel Pang, Stephen M. Watt
The original SciGMark benchmark adapted the SciMark numerical suite to measure the cost of generic programming in scientific computing. In the twenty years since, generics have bec…
cs.LO2026
A Computational Toolkit for Engagement and Scalable Assessment in a Large Logic Course
Stephen M. Watt
Large required courses in theoretical computer science face two related challenges: helping students engage with abstract material and supporting reliable student assessment at sca…
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…