Avery Laird

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 5

Top Topics

Communication Networks

Intermediate Nodes

Network Management

Packet Forwarding

Top Venues

Proc. ACM Program. Lang.

ACM Comput. Surv.

Publications

Avery Laird, Bangtian Liu, Nikolaj Bjørner, Maryam Mehri Dehnavi
SpEQ: Translation of Sparse Codes using Equivalences. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Jubi Taneja, Avery Laird, Cong Yan, Madan Musuvathi, Shuvendu K. Lahiri
LLM-Vectorizer: LLM-based Verified Loop Vectorizer. CoRR (2024)
Bangtian Liu, Avery Laird, Wai Hung Tsang, Bardia Mahjour, Maryam Mehri Dehnavi
Combining Run-Time Checks and Compile-Time Analysis to Improve Control Flow Auto-Vectorization. PACT (2022)
Kai Bu, Avery Laird, Yutian Yang, Linfeng Cheng, Jiaqing Luo, Yingjiu Li, Kui Ren
Unveiling the Mystery of Internet Packet Forwarding: A Survey of Network Path Validation. ACM Comput. Surv. 53 (5) (2020)
Kai Bu, Yutian Yang, Avery Laird, Jiaqing Luo, Yingjiu Li, Kui Ren
What's (Not) Validating Network Paths: A Survey. CoRR (2018)