RT DW A1 Hui, John. T1 Sparse Synchronous Programming with Temporal Abstractions