PhD Students
- Shelly Grossman (co-supervised with Mooly Sagiv)
- David Tarbish
Graduated PhD Students
- 2015 Sandeep Hans A Programming Language Approach to Transactional Memory Consistency (co-supervised with Hagit Attiya)
- 2023 Oren Ish Shalom Size Reduction for Program Analysis
MSc Students
Graduated MSc Students
- 2015 Orr Tamir A Heap-Based Concurrent Priority Queue with Mutable Priorities for Faster Parallel Algorithms (co-supervised with Mooly Sagiv)
- 2016 Nir Hemed Modular Verification of Concurrency-Aware Linearizability
- 2016 Boris Dogadov From Shape Analysis to Termination Analysis in Linear Time (co-supervised with Roman Manevich)
- 2016 Shelly Grossman Equivalence Checking for Spark Programs (co-supervised with Mooly Sagiv)
- 2016 Or Ozery Conjunctive Abstract Interpretation using Paramodulation (co-supervised with Mooly Sagiv)
- 2017 Itay Polak Hypothetical Reasoning using Provenance for Apache Spark
- 2017 David Tarbish Chopped Symbolic Execution
- 2017 Omer Anson Inferring System Calls Specifications For Symbolic Execution (co-supervised with Mooly Sagiv)
- 2019 Elazar Gershuni Verifying Safety of EBPF Programs using Abstract Interpretation
- 2020 Maxim Finkel Invariant Inductiveness Preserving Transformation for Safety Verification Problems