John Hui: Sparse Synchronous Programming with Temporal Abstractions. Columbia University, USA 2024