ClusterLink: Redefining Application Connectivity for the Multi-cloud Era
- kfir Toledo
- Pravein Govindan Kannan
- et al.
- 2025
- CLOUD 2025
Ziv Nevo
Title
Senior Research Scientist
Bio
I received both my B.A and my M.A. from the Computer Science Department, Technion, Israel, then joined IBM Research - Haifa in 2002. Since then I was involved in the R&D of various hardware verification platforms (static and dynamic). Recently, my research focuses on ensuring connectivity is properly configured for cloud-based applications, with projects such as NP-Guard and Fybrik.
Publications
Automatic Scalable System for the Coverage-Directed Generation (CDG) Problem
- Raviv Gal
- Eldad Haber
- et al.
- 2021
- DATE 2021
Late breaking results: FRIENDS - Finding related interesting events via neighbor detection
- Raviv Gal
- Haim Kermany
- et al.
- 2020
- DAC 2020
Cost-effective analysis of post-silicon functional coverage events
- Farimah Farahmandi
- Ronny Morad
- et al.
- 2017
- DATE 2017
Incremental formal verification of hardware
- Hana Chockler
- Alexander Ivrii
- et al.
- 2011
- FMCAD 2011
TAB-BackSpace: Unlimited-length trace buffers with zero additional on-chip overhead
- Flavio M. De Paula
- Amir Nahir
- et al.
- 2011
- DAC 2011
Distributed dynamic BDD reordering
- Ziv Nevo
- Monica Farkash
- 2006
- DAC 2006
Top collaborators
AI
Alexander Ivrii
Reseacher in Quantum Computing
PG
Pravein Govindan Kannan
Research Scientist
VB
Vita Bortnikov
IBM Fellow, Hybrid Cloud Research