| 2023 | ICML | Neural Network Accelerated Implicit Filtering: Integrating Neural Network Surrogates With Provably Convergent Derivative Free Optimization Methods. | Brian Irwin, Eldad Haber, Raviv Gal, Avi Ziv |
| 2021 | DATE | Automatic Scalable System for the Coverage-Directed Generation (CDG) Problem. | Raviv Gal, Eldad Haber, Wesam Ibraheem, Brian Irwin, Ziv Nevo, Avi Ziv |
| 2020 | DAC | Late Breaking Results: FRIENDS - Finding Related Interesting Events via Neighbor Detection. | Raviv Gal, Haim Kermany, Alexander Ivrii, Ziv Nevo, Avi Ziv |
| 2017 | DAC | Template Aware Coverage: Taking Coverage Analysis to the Next Level. | Raviv Gal, Einat Kermany, Bilal Saleh, Avi Ziv, Michael L. Behm, Bryan G. Hickerson |
| 2014 | DATE | ArChiVED: Architectural checking via event digests for high performance validation. | Chang-Hong Hsu, Debapriya Chatterjee, Ronny Morad, Raviv Gal, Valeria Bertacco |
| 2013 | ICCAD | Hybrid checking for microarchitectural validation of microprocessor designs on acceleration platforms. | Debapriya Chatterjee, Biruk Mammo, Doowon Lee, Raviv Gal, Ronny Morad, Amir Nahir, Avi Ziv, Valeria Bertacco |