Haim Kermany
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2006–2022
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ICST | TackleTest: A Tool for Amplifying Test Generation via Type-Based Combinatorial Coverage. | Rachel Tzoref-Brill, Saurabh Sinha, Antonio Abu Nassar, Victoria Goldin, Haim Kermany |
| 2020 | DAC | Late Breaking Results: FRIENDS - Finding Related Interesting Events via Neighbor Detection. | Raviv Gal, Haim Kermany, Alexander Ivrii, Ziv Nevo, Avi Ziv |
| 2006 | PLDI | The Compressor: concurrent, incremental, and parallel compaction. | Haim Kermany, Erez Petrank |