Haim Kermany

According to our database, Haim Kermany authored at least 3 papers between 2006 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2022

TackleTest: A Tool for Amplifying Test Generation via Type-Based Combinatorial Coverage.

Rachel Tzoref-Brill, Saurabh Sinha, Antonio Abu Nassar, Victoria Goldin, Haim Kermany

Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022

2020

Late Breaking Results: FRIENDS - Finding Related Interesting Events via Neighbor Detection.

Raviv Gal, Haim Kermany, Alexander Ivrii, Ziv Nevo, Avi Ziv

Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

2006

The Compressor: concurrent, incremental, and parallel compaction.

Haim Kermany, Erez Petrank

Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 2006