4 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.SE2024
LLM-Vectorizer: LLM-based Verified Loop Vectorizer
Jubi Taneja, Avery Laird, Cong Yan +2
Vectorization is a powerful optimization technique that significantly boosts the performance of high performance computing applications operating on large data arrays. Despite deca…
cs.NI2018★ 4 cited
What's (Not) Validating Network Paths: A Survey
Kai Bu, Yutian Yang, Avery Laird +3
Validating network paths taken by packets is critical for a secure Internet architecture. Any feasible solution must both enforce packet forwarding along endhost-specified paths an…