Yotam M. Y. Feldman | DeepAI

DeepAI AI Chat

Featured Co-authors

Sharon Shoham
28 publications
Constantin Enea
23 publications
Mooly Sagiv
19 publications
Oded Padon
13 publications
Adam Morrison
9 publications
Noam Rinetzky
9 publications
Aleksandar Nanevski
8 publications
Neil Immerman
7 publications
James R. Wilcox
5 publications
Artem Khyzha
5 publications

∙ 08/15/2022

Invariant Inference With Provable Complexity From the Monotone Theory

Invariant inference algorithms such as interpolation-based inference and...

0 Yotam M. Y. Feldman, et al. ∙

∙ 10/30/2021

Property-Directed Reachability as Abstract Interpretation in the Monotone Theory

Inferring inductive invariants is one of the main challenges of formal v...

0 Yotam M. Y. Feldman, et al. ∙

∙ 10/02/2020

Proving Highly-Concurrent Traversals Correct

Modern highly-concurrent search data structures, such as search trees, o...

0 Yotam M. Y. Feldman, et al. ∙

∙ 08/22/2020

Learning the Boundary of Inductive Invariants

We study the complexity of invariant inference and its connections to ex...

0 Yotam M. Y. Feldman, et al. ∙

∙ 10/27/2019

Complexity and Information in Invariant Inference

This paper addresses the complexity of SAT-based invariant inference, a ...

0 Yotam M. Y. Feldman, et al. ∙

∙ 05/19/2019

Inferring Inductive Invariants from Phase Structures

Infinite-state systems such as distributed protocols are challenging to ...

0 Yotam M. Y. Feldman, et al. ∙

∙ 05/10/2018

Order out of Chaos: Proving Linearizability Using Local Views

Proving the linearizability of highly concurrent data structures, such a...

0 Yotam M. Y. Feldman, et al. ∙

∙ 10/24/2017

Bounded Quantifier Instantiation for Checking Inductive Invariants

We consider the problem of checking whether a proposed invariant ϕ expre...

0 Yotam M. Y. Feldman, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world