Eitan Farchi
Eitan Farchi
IBM Research Lab in Haifa
Verified email at il.ibm.com
Title
Cited by
Cited by
Year
Static index pruning for information retrieval systems
D Carmel, D Cohen, R Fagin, E Farchi, M Herscovici, YS Maarek, A Soffer
Proceedings of the 24th annual international ACM SIGIR conference on …, 2001
2642001
Concurrent bug patterns and how to test them
E Farchi, Y Nir, S Ur
Proceedings international parallel and distributed processing symposium, 7 pp., 2003
2622003
Multithreaded Java program test generation
O Edelstein, E Farchi, Y Nir, G Ratsaby, S Ur
IBM systems journal 41 (1), 111-125, 2002
2562002
Framework for testing multi‐threaded Java programs
O Edelstein, E Farchi, E Goldin, Y Nir, G Ratsaby, S Ur
Concurrency and Computation: Practice and Experience 15 (3‐5), 485-499, 2003
1522003
Using a model-based test generator to test for standard conformance
E Farchi, A Hartman, SS Pinter
IBM systems journal 41 (1), 89-110, 2002
1522002
High torque, low profile intravascular guidewire system
L Shturman, D Prudnikov, A Filippov
US Patent App. 10/223,527, 2003
1502003
Automatic query wefinement using lexical affinities with maximal information gain
D Carmel, E Farchi, Y Petruschka, A Soffer
Proceedings of the 25th annual international ACM SIGIR conference on …, 2002
1142002
Applications of synchronization coverage
A Bron, E Farchi, Y Magid, Y Nir, S Ur
Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of …, 2005
1002005
Using binary decision diagrams for combinatorial test design
I Segall, R Tzoref-Brill, E Farchi
Proceedings of the 2011 International Symposium on Software Testing and …, 2011
882011
Automatic query refinement
D Carmel, E Farchi, Y Petruschka
US Patent 6,941,297, 2005
812005
Method and apparatus for collecting persistent coverage data across software versions
E Farchi, T Pavela, S Ur, A Ziv
US Patent App. 09/990,802, 2003
772003
Race detection for parallel software
S Ur, E Farchi, G Ratsaby
US Patent 6,851,075, 2005
702005
Method and system for integrating test coverage measurements with model based test generation
E Farchi, D Geist, A Hartman, P Kram, K Nagin, Y Shaham-Gafni, S Ur
US Patent 7,272,752, 2007
682007
Lossy index compression
D Carmel, D Cohen, R Fagin, E Farchi, M Herscovici, Y Maarek, A Soffer
US Patent 7,356,527, 2008
612008
Heuristics for finding concurrent bugs
Y Eytani, E Farchi, Y Ben-Asher
Proceedings International Parallel and Distributed Processing Symposium, 8 pp., 2003
602003
Optimal search in trees
Y Ben-Asher, E Farchi, I Newman
SIAM Journal on Computing 28 (6), 2090-2102, 1999
591999
Caching in a data processing system using the pigeon hole principle
ME Factor, ED Farchi
US Patent 6,094,706, 2000
402000
Using code motion and write and read delays to increase the probability of bug detection in concurrent systems
M Biberstein, E Farchi, S Ur
US Patent 7,712,081, 2010
352010
Detection of deadlock potentials in multithreaded programs
R Agarwal, S Bensalem, E Farchi, K Havelund, Y Nir-Buchbinder, ...
IBM Journal of Research and Development 54 (5), 3: 1-3: 15, 2010
342010
Evaluation of software based on review history
ED Farchi, S Novikov, O Raz-Pelleg
US Patent 8,423,960, 2013
332013
The system can't perform the operation now. Try again later.
Articles 1–20