Avi Hayoun

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 8

Top Topics

Search Strategies

Static Analysis

Heuristic Search

Top Venues

Publications

Avi Hayoun, Veselin Raychev, Jack Hair
Customizing Static Analysis using Codesearch. CoRR (2024)
Uri Abraham, Avi Hayoun
Linearizability Analysis of the Contention-Friendly Binary Search Tree. CoRR (2023)
Gal Amram, Avi Hayoun, Lior Mizrahi, Gera Weiss
Polynomial-Time Verification and Testing of Implementations of the Snapshot Data Structure. DISC (2022)
Shahaf S. Shperberg, Ariel Felner, Nathan R. Sturtevant, Solomon Eyal Shimony, Avi Hayoun
Bidirectional Heuristic Search: Expanding Nodes by a Lower Bound. IJCAI (2020)
Shahaf S. Shperberg, Ariel Felner, Nathan R. Sturtevant, Solomon Eyal Shimony, Avi Hayoun
Enriching Non-Parametric Bidirectional Search Algorithms. AAAI (2019)
Shahaf S. Shperberg, Ariel Felner, Nathan R. Sturtevant, Solomon Eyal Shimony, Avi Hayoun
Enriching Non-Parametric Bidirectional Search Algorithms - Extended Abstract. SOCS (2019)
Shahaf S. Shperberg, Ariel Felner, Solomon Eyal Shimony, Nathan R. Sturtevant, Avi Hayoun
Improving Bidirectional Heuristic Search by Bounds Propagation. SOCS (2019)
Avi Hayoun, Michael Elhadad
The Hebrew FrameNet Project. LREC (2016)