• Sign in
  • Sign up
conf.researchr.org / Neta Elad
  • POPL 2024 profile
  • POPL 2025 profile
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

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
Share
xMon 19 May 01:38
using conf.researchr.org (v1.69.0)
Support page
Sign Up