Eitan Farchi

2009
31	EE	Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov: Cross-Entropy-Based Replay of Concurrent Programs. FASE 2009: 201-215
2008
30	EE	Moran Shochat, Orna Raz, Eitan Farchi: SeeCode - A Code Review Plug-in for Eclipse. Haifa Verification Conference 2008: 205-209
29	EE	Eitan Farchi, Shmuel Ur: Selective Homeworkless Reviews. ICST 2008: 404-413
28	EE	Shmuel Ur, Scott D. Stoller, Eitan Farchi: 6th workshop on parallel and distributed systems: testing and debugging (PADTAD '08). ISSTA 2008: 309-310
27	EE	Eitan Farchi: Pitfalls in teaching development and testing of concurrent programs and how to overcome them. PADTAD 2008: 11
2007
26		Shmuel Ur, Eitan Farchi: Proceedings of the 5th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2007), PADTAD 2007, London, UK, July 9, 2007 ACM 2007
25	EE	Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov: Cross-Entropy Based Testing. FMCAD 2007: 101-108
24	EE	Orna Raz, Moshe Klausner, Nitzan Peleg, Gadi Haber, Eitan Farchi, Shachar Fienblit, Yakov S. Filiarsky, Shay Gammer, Sergey Novikov: The Advantages of Post-Link Code Coverage. Haifa Verification Conference 2007: 235-251
23	EE	Amiram Hayardeny, Shachar Fienblit, Eitan Farchi: Distributed desk checking. Concurrency and Computation: Practice and Experience 19(3): 295-309 (2007)
22	EE	Marina Biberstein, Eitan Farchi, Shmuel Ur: Choosing among alternative pasts. Concurrency and Computation: Practice and Experience 19(3): 341-353 (2007)
2006
21		Shmuel Ur, Eitan Farchi: Proceedings of the 4th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2006), PADTAD 2006, Portland, Maine, USA, July 17, 2006 ACM 2006
20	EE	Hana Chockler, Eitan Farchi, Ziv Glazberg, Benny Godlin, Yarden Nir-Buchbinder, Ishai Rabinovitz: Formal verification of concurrent software: two case studies. PADTAD 2006: 11-22
19	EE	Yosi Ben-Asher, Yaniv Eytani, Eitan Farchi, Shmuel Ur: Producing scheduling that causes concurrent programs to fail. PADTAD 2006: 37-40
2005
18	EE	Eitan Farchi, Gabriel Kliot, Yoel Krasny, Alex Krits, Roman Vitenberg: Effective Testing and Debugging Techniques for a Group Communication System. DSN 2005: 80-85
17	EE	Eitan Farchi, Bradley R. Harrington: Assisting the Code Review Process Using Simple Pattern Recognition. Haifa Verification Conference 2005: 103-115
16	EE	Yosi Ben-Asher, Igor Breger, Eitan Farchi, Ilia Gordon: Optimal Algorithmic Debugging and Reduced Coverage Using Search in Structured Domains. Haifa Verification Conference 2005: 149-157
15	EE	Arkady Bron, Eitan Farchi, Yonit Magid, Yarden Nir, Shmuel Ur: Applications of synchronization coverage. PPOPP 2005: 206-212
2004
14	EE	Eitan Farchi, Yoel Krasny, Yarden Nir: Automatic Simulation of Network Problems in UDP-Based Java Programs. IPDPS 2004
13	EE	Amiram Hayardeny, Shachar Fienblit, Eitan Farchi: Concurrent and Distributed Desk Checking. IPDPS 2004
12	EE	Marina Biberstein, Eitan Farchi, Shmuel Ur: Fidgeting to the Point of No Return. IPDPS 2004
2003
11	EE	Eitan Farchi, Yarden Nir, Shmuel Ur: Concurrent Bug Patterns and How to Test Them. IPDPS 2003: 286
10	EE	Yosi Ben-Asher, Eitan Farchi, Yaniv Eytani: Heuristics for Finding Concurrent Bug. IPDPS 2003: 288
9	EE	Marina Biberstein, Eitan Farchi, Shmuel Ur: Choosing among Alternative Pasts. IPDPS 2003: 289
8		Orit Edelstein, Eitan Farchi, Evgeny Goldin, Yarden Nir, Gil Ratsaby, Shmuel Ur: Framework for testing multi-threaded Java programs. Concurrency and Computation: Practice and Experience 15(3-5): 485-499 (2003)
2002
7	EE	David Carmel, Eitan Farchi, Yael Petruschka, Aya Soffer: Automatic query refinement using lexical affinities with maximal information gain. SIGIR 2002: 283-290
6	EE	Orit Edelstein, Eitan Farchi, Yarden Nir, Gil Ratsaby, Shmuel Ur: Multithreaded Java program test generation. IBM Systems Journal 41(1): 111-125 (2002)
5	EE	Eitan Farchi, Alan Hartman, Shlomit S. Pinter: Using a model-based test generator to test for standard conformance. IBM Systems Journal 41(1): 89-110 (2002)
2001
4	EE	Orit Edelstein, Eitan Farchi, Yarden Nir, Gil Ratsaby, Shmuel Ur: Multithreaded Java program test generation. Java Grande 2001: 181
3		Aya Soffer, David Carmel, Doron Cohen, Ronald Fagin, Eitan Farchi, Michael Herscovici, Yoëlle S. Maarek: Static Index Pruning for Information Retrieval Systems. SIGIR 2001: 43-50
1999
2		Yosi Ben-Asher, Eitan Farchi, Ilan Newman: Optimal Search in Trees. SIAM J. Comput. 28(6): 2090-2102 (1999)
1997
1		Yosi Ben-Asher, Eitan Farchi, Ilan Newman: Optimal Search in Trees: Extended Abstract + Appendix. SODA 1997: 739-746

Coauthor Index

1	Yosi Ben-Asher	[1] [2] [10] [16] [19]
2	Marina Biberstein	[9] [12] [22]
3	Igor Breger	[16]
4	Arkady Bron	[15]
5	David Carmel	[3] [7]
6	Hana Chockler	[20] [25] [31]
7	Doron Cohen	[3]
8	Orit Edelstein	[4] [6] [8]
9	Yaniv Eytani	[10] [19]
10	Ronald Fagin	[3]
11	Shachar Fienblit	[13] [23] [24]
12	Yakov S. Filiarsky	[24]
13	Shay Gammer	[24]
14	Ziv Glazberg	[20]
15	Benny Godlin	[20] [25] [31]
16	Evgeny Goldin	[8]
17	Ilia Gordon	[16]
18	Gadi Haber	[24]
19	Bradley R. Harrington	[17]
20	Alan Hartman	[5]
21	Amiram Hayardeny	[13] [23]
22	Michael Herscovici	[3]
23	Moshe Klausner	[24]
24	Gabriel Kliot	[18]
25	Yoel Krasny	[14] [18]
26	Alex Krits	[18]
27	Yoëlle S. Maarek	[3]
28	Yonit Magid	[15]
29	Ilan Newman	[1] [2]
30	Yarden Nir	[4] [6] [8] [11] [14] [15]
31	Yarden Nir-Buchbinder	[20]
32	Sergey Novikov	[24] [25] [31]
33	Nitzan Peleg	[24]
34	Yael Petruschka	[7]
35	Shlomit S. Pinter	[5]
36	Ishai Rabinovitz	[20]
37	Gil Ratsaby	[4] [6] [8]
38	Orna Raz	[24] [30]
39	Moran Shochat	[30]
40	Aya Soffer	[3] [7]
41	Scott D. Stoller	[28]
42	Shmuel Ur	[4] [6] [8] [9] [11] [12] [15] [19] [21] [22] [26] [28] [29]
43	Roman Vitenberg	[18]

Colors in the list of coauthors