Publication Budget Pacing in Repeated Auctions: Regret and Efficiency Without Convergence Jason Gaitonde, Yingkai Li, Bar Light, Brendan Lucier, Aleksandrs Slivkins Innovations in Theoretical Computer Science | January 2023
Publication A Ranking Game for Imitation Learning Harshit Sikchi, Akanksha Saran, Wonjoon Goo, Scott Niekum January 2023
Publication ASN1*: Provably Correct Non-Malleable Parsing for ASN.1 DER Haobin Ni, Antoine Delignat-Lavaud, Cédric Fournet, Tahina Ramananandro, Nikhil Swamy Certified Programs and Proofs | January 2023 Project
Publication Lower bounds on the size of general branch-and-bound trees Santanu S. Dey, Yatharth Dubey, Marco Molinaro Mathematical Programming | January 2023, Vol 198: pp. 539-559
Publication Tech Worker Perspectives on Considering the Interpersonal Implications of Communication Technologies Elena Maris, Kelly B. Wagman, Rachel Bergmann, Danielle Bragg Proceedings of the ACM on Human-Computer Interaction, Volume 7, Issue GROUP | January 2023
Publication ADMoE: Anomaly Detection with Mixture-of-Experts from Noisy Labels Yue Zhao, Guoqing Zheng, Subhabrata (Subho) Mukherjee, Robert McCann, Ahmed Awadallah AAAI | January 2023
Publication Hypotheses Tree Building for One-Shot Temporal Sentence Localization Daizong Liu, Xiang Fang, Pan Zhou, Xing Di, Weining Lu, Yu Cheng In Thirty-Seven AAAI Conference on Artificial Intelligence (AAAI 2023) | January 2023
Publication TD3 with Reverse KL Regularizer for Offline Reinforcement Learning from Mixed Datasets Yuanying Cai, Chuheng Zhang, Li Zhao, Wei Shen, Xuyun Zhang, Lei Song, Jiang Bian, Tao Qin, Tie-Yan Liu IEEE International Conference on Data Mining (Best Student Paper Runner-Up Awards) | January 2023
Publication FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores Arvind Arasu, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Aymeric Fromherz, Kesha Hietala, Bryan Parno, Ravi Ramamurthy Certified Programs and Proofs | January 2023 Project
Publication The Tensor Data Platform: Towards an AI-centric Database System Apurva Gandhi, Yuki Asada, Victor Fu, Advitya Gemawat, Lihao Zhang, Rathijit Sen, Carlo Curino, Jesús Camacho-Rodríguez, Matteo Interlandi CIDR | January 2023