Eitan Farchi
Eitan Farchi
IBM Research Lab in Haifa
Verified email at il.ibm.com
Title
Cited by
Cited by
Year
Concurrent bug patterns and how to test them
E Farchi, Y Nir, S Ur
Proceedings international parallel and distributed processing symposium, 7 pp., 2003
2642003
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
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
1542003
High torque, low profile intravascular guidewire system
L Shturman, D Prudnikov, A Filippov
US Patent App. 10/223,527, 2003
1532003
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
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
692007
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
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
352010
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
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