3 papers
cs.SE2025
Automata Models for Effective Bug Pattern Description
Tom Yaacov, Gera Weiss, Gal Amram +1
Debugging complex systems is a crucial yet time-consuming task. This paper presents the use of automata learning and testing techniques to obtain concise and informative bug descri…
cs.PL2024
Customizing Static Analysis using Codesearch
Avi Hayoun, Veselin Raychev, Jack Hair
Static analysis is a growing application of software engineering, leading to a range of essential security tools, bug-finding tools, as well as software verification. Recent years…
cs.PL2023
Linearizability Analysis of the Contention-Friendly Binary Search Tree
Uri Abraham, Avi Hayoun
We present a formal framework for proving the correctness of set implementations backed by binary-search-tree (BST) and linked lists, which are often difficult to prove correct usi…