March 8, Wednesday

• Amrita Mazumdar, A hardware accelerator for real-time VR video rendering
• Dylan Johnson and Josue Rios, Designing ARM Operating System Components for SMT Verification
• Eddie Yan, Optimizing Progressive JPEG Images for Dynamic Thumbnail Generation
• Ellis Michael, Proving Correct and Model Checking Eris
• Helga Gudmundsdottir, Interactive Analysis of Performance Measurements with Viska
• Liang Luo and Yuchen Jin, INA: Accelerating Deep Learning Workloads via In-network Aggregation

March 10, Friday

• Luke Nelson and Helgi Sigurbjarnarson, Hyperkernel
• Kaiyuan Zhang, Formal Verification of End-to-end Chat App
• Nacho Cano and Shrainik Jain, To Centralize or To Geo-Distribute, that is the Machine Learning Question
• Nate Yazdani and Rohin Shah, Driver Synthesis for Unix File Systems
• Niel Lebeck, Data Management for Distributed Real-Time Applications
• Sowmya Dharanipragada, Benchmarking key-value stores