What's (Not) Validating Network Paths: A Survey. - Kai Bu; Yutian Yang; Avery Laird; Jiaqing Luo; Yingjiu Li; Kui Ren 001 (CoRR, 2018)

Unveiling the Mystery of Internet Packet Forwarding: A Survey of Network Path Validation. - Kai Bu; Avery Laird; Yutian Yang; Linfeng Cheng; Jiaqing Luo; Yingjiu Li; Kui Ren 001 (ACM Comput. Surv., 2021)

Combining Run-Time Checks and Compile-Time Analysis to Improve Control Flow Auto-Vectorization. - Bangtian Liu; Avery Laird; Wai Hung Tsang; Bardia Mahjour; Maryam Mehri Dehnavi (PACT, 2022)

SpEQ: Translation of Sparse Codes using Equivalences. - Avery Laird; Bangtian Liu; Nikolaj S. Bjørner; Maryam Mehri Dehnavi (Proc. ACM Program. Lang., 2024)

LLM-Vectorizer: LLM-Based Verified Loop Vectorizer. - Jubi Taneja; Avery Laird; Cong Yan; Madan Musuvathi; Shuvendu K. Lahiri (CGO, 2025)