​
Login / Signup
Avi Hayoun
ORCID
Publication Activity (10 Years)
Years Active: 2016-2024
Publications (10 Years): 8
Top Topics
Search Strategies
Lower Bound
Static Analysis
Heuristic Search
Top Venues
CoRR
SOCS
LREC
DISC
</>
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)