1. Crux: GPU-Efficient Communication Scheduling for Deep Learning Training;Proceedings of the ACM SIGCOMM 2024 Conference;2024-08-04
2. Parallel and (Nearly) Work-Efficient Dynamic Programming;Proceedings of the 36th ACM Symposium on Parallelism in Algorithms and Architectures;2024-06-17
3. Additional Topics;Undergraduate Topics in Computer Science;2024
4. Dynamic Programming and Shortest Path;Introduction to Combinatorial Optimization;2022
5. Verified Textbook Algorithms;Automated Technology for Verification and Analysis;2020