The Compressor: concurrent, incremental, and parallel compaction. - Haim Kermany; Erez Petrank (PLDI, 2006)

Late Breaking Results: FRIENDS - Finding Related Interesting Events via Neighbor Detection. - Raviv Gal; Haim Kermany; Alexander Ivrii; Ziv Nevo; Avi Ziv (DAC, 2020)

TackleTest: A Tool for Amplifying Test Generation via Type-Based Combinatorial Coverage. - Rachel Tzoref-Brill; Saurabh Sinha; Antonio Abu Nassar; Victoria Goldin; Haim Kermany (ICST, 2022)