Neta Elad -

Registered user since Thu 9 Nov 2023

Name:Neta Elad

Country:Israel

Affiliation:Tel Aviv University

Personal website: https://www.cs.tau.ac.il/~netaelad/

Contributions

2026

POPL

Author of Separating the Wheat from the Chaff: Understanding (In-)Completeness of Proof Mechanisms for Separation Logic with Inductive Definitions within the POPL-track

2025

POPL

Author of Axe 'Em: Eliminating Spurious States with Induction Axioms within the POPL-track

2024

POPL

Author of An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification within the POPL-track