Yotam M. Y. Feldman -

Registered user since Fri 1 Jul 2016

Name:Yotam M. Y. Feldman

Country:Israel

Affiliation:Tel Aviv University

Personal website: http://www.cs.tau.ac.il/research/yotam.feldman/

Contributions

2022

Static Analysis Symposium

Author of Invariant Inference With Provable Complexity From the Monotone Theory within the SAS-track

POPL

Author of Property-Directed Reachability as Abstract Interpretation in the Monotone Theory within the POPL-track

2021

POPL

Author of Learning the Boundary of Inductive Invariants within the POPL-track

2020

SPLASH

POPL

Author of Complexity and Information in Invariant Inference within the Research Papers-track

2017

VMCAI

Author of Property Directed Reachability for Proving Absence of Concurrent Modification Errors within the VMCAI-track