Publication Modular control plane verification via temporal invariants Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker Programming Language Design and Implementation | June 2023
Publication Virtual Machine Allocation with Lifetime Predictions Hugo Barbalho, Patricia Kovaleski, Beibin Li, Luke Marshall, Marco Molinaro, Abhisek Pan, Eli Cortez, Matheus Leao, Harsh Patwari, Zuzu Tang, Tamires Santos, Larissa Rozales Gonçalves, David Dion, Thomas Moscibroda, Ishai Menache MLSys | June 2023 Outstanding Paper Award Project
Publication Boosting DNN Cold Inference on Devices Rongjie Yi, Ting Cao, Ao Zhou, Xiao Ma, Shangguang Wang, Mengwei Xu The 21st Annual International Conference on Mobile Systems, Applications and Services (MobiSys ’23) | June 2023
Publication BeeGees: Stayin’ Alive in Chained BFT Neil Giridharan, Florian Suri-Payer, Matthew Ding, Heidi Howard, Ittai Abraham, Natacha Crooks Symposium on Principles of Distributed Computing (PODC) | June 2023
Publication Efficient GPU Kernels for N:M-SPARSE Weights in Deep Learning Bin Lin, Ningxin Zheng, Lei Wang, Shijie Cao, Lingxiao Ma, Quanlu Zhang, Yi Zhu, Ting Cao, Jilong Xue, Yuqing Yang, Fan Yang Sixth Conference on Machine Learning and Systems (MLSys’23) | June 2023 Project
Publication Towards closing the data gap: A project-driven distributed energy resource dataset for the U.S. Grid Rabab Haider, Yixing Xu, Weiwei Yang AMC International conference on Future of Energy Systems | June 2023 Github
Publication HotGPT: How to Make Software Documentation More Useful with a Large Language Model? Yiming Su, Chengcheng Wan, Utsav Sethi, Shan Lu, Madan Musuvathi, Suman Nath Hot Topics in Operating Systems (HotOS) | June 2023
Publication HyWay: Enabling Mingling in the Hybrid World Harsh Vijay, Saumay Pushp, Amish Mittal, Praveen Gupta, Meghna Gupta, Sirish Gambhira, Shivang Chopra, Mayank Baranwal, Arshia Arya, Ajay Manchepalli, Venkat Padmanabhan Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies (also ACM UbiComp 2023) | June 2023, Vol 7(2) Project
Publication NN-Stretch: Automatic Neural Network Branching for Parallel Inference on Heterogeneous Multi-Processors Jianyu Wei, Ting Cao, Shijie Cao, Shiqi Jiang, Shaowei Fu, Mao Yang, Yanyong Zhang, Yunxin Liu The 21st International Conference on Mobile Systems, Applications, and Services (MobiSys ’23) | June 2023
Publication OliVe: Accelerating Large Language Models via Hardware-friendly Outlier-Victim Pair Quantization Cong Guo, Jiaming Tang, Jingwen Leng, Weiming Hu, Chen Zhang, Fan Yang, Yunxin Liu, Minyi Guo, Yuhao Zhu ISCA | June 2023 Project