Publications
- Axe 'Em: Eliminating Spurious States with Induction Axioms 2025
- , Sharon Shoham. [POPL 2025] [arXiv] [artifact] [slides]
- An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification 2024 Distinguished Paper
- , Oded Padon, Sharon Shoham. [POPL 2024] [arXiv] [artifact] [video] [slides]
- Summing Up Smart Transitions 2021
- , Sophie Rain, Neil Immerman, Laura Kovács, Mooly Sagiv. [CAV 2021] [arXiv]
Teaching
- Logic for Computer Science Fall 2024
- Tel Aviv University, course no. 0368-2170.
- Logic for Computer Science Fall 2023
- Tel Aviv University, course no. 0368-2170.
- Logic for Computer Science Fall 2022
- Tel Aviv University, course no. 0368-2170.
- Logic for Computer Science Fall 2021
- Tel Aviv University, course no. 0368-2170.
- Logic and Set Theory for Computer Science Spring 2014
- Technion (Israel Institute of Technology), course no. 234293.
- Logic and Set Theory for Computer Science Fall 2013
- Technion (Israel Institute of Technology), course no. 234293.
- Introduction to Systems Programming Spring 2013
- Technion (Israel Institute of Technology), course no. 234124.
- Introduction to Systems Programming Fall 2012
- Technion (Israel Institute of Technology), course no. 234124.