Eitan Farchi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
37
Venues
18
Active years
1997–2025
Best venue rank
A*
Where they publish
Papers
37 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICST | Combinatorial Test Design Model Creation using Large Language Models. | Deborah Ann Furman, Eitan Farchi, Michael Edward Gildein, Andrew C. M. Hicks, Ryan Thomas Rawlins |
| 2025 | NAACL | Exploring Straightforward Methods for Automatic Conversational Red-Teaming. | George Kour, Naama Zwerdling, Marcel Zalmanovici, Ateret Anaby-Tavor, Ora Nova Fandina, Eitan Farchi |
| 2025 | NAACL | Evaluating the Prompt Steerability of Large Language Models. | Erik Miehling, Michael Desmond, Karthikeyan Natesan Ramamurthy, Elizabeth M. Daly, Kush R. Varshney, Eitan Farchi, Pierre L. Dognin, Jesus Rios, Djallel Bouneffouf, Miao Liu, Prasanna Sattigeri |
| 2024 | COMSNETS | A Chaos Recommendation Tool for Reliability Testing in Large-Scale Cloud-Native Systems. | Mudit Verma, Sandeep Hans, Diptikalyan Saha, Praveen Jayachandran, Eitan Farchi, Naga Ravi Chaitanya Elluri, Tullio Sebastiani, Paige Rubendall, Yogananth Subramanian, Pradeep Surisetty, Brian Riordan |
| 2024 | EMNLP | A Novel Metric for Measuring the Robustness of Large Language Models in Non-adversarial Scenarios. | Samuel Ackerman, Ella Rabinovich, Eitan Farchi, Ateret Anaby-Tavor |
| 2024 | ICST | A Novel Double T-wise Approach to Root Cause Analysis via Combinatorial Test Set Completion. | Andrew C. M. Hicks, Deborah Ann Furman, Ryan Thomas Rawlins, Michael Edward Gildein, Eitan Farchi |
| 2023 | AISTATS | Convex Bounds on the Softmax Function with Applications to Robustness Verification. | Dennis Wei, Haoze Wu, Min Wu, Pin-Yu Chen, Clark W. Barrett, Eitan Farchi |
| 2021 | ICDE | Ranking Data Slices for ML Model Validation: A Shapley Value Approach. | Eitan Farchi, Ramasuri Narayanam, Lokesh Nagalapatti |
| 2017 | ICST | A Composition-Based Method for Combinatorial Test Design. | Anna Zamansky, Amir Shwartz, Seri Khoury, Eitan Farchi |
| 2016 | CaiSE | A Visual Logical Language for System Modelling in Combinatorial Test Design. | Maria Spichkova, Anna Zamansky, Eitan Farchi |
| 2015 | ICPADS | Towards a Human-Centred Approach in Modelling and Testing of Cyber-Physical Systems. | Maria Spichkova, Anna Zamansky, Eitan Farchi |
| 2015 | SEFM | Helping the Tester Get It Right: Towards Supporting Agile Combinatorial Test Design. | Anna Zamansky, Eitan Farchi |
| 2015 | SEFM | Exploring the Role of Logic and Formal Methods in Information Systems Education. | Anna Zamansky, Eitan Farchi |
| 2014 | ICST | Combinatorial Testing with Order Requirements. | Eitan Farchi, Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick |
| 2013 | ICST | Using Projections to Debug Large Combinatorial Models. | Eitan Farchi, Itai Segall, Rachel Tzoref-Brill |
| 2012 | ISSTA | Using combinatorial benchmark construction to improve the assessment of concurrency bug detection tools. | Jeremy S. Bradbury, Itai Segall, Eitan Farchi, Kevin Jalbert, David Kelk |
| 2012 | ISSTA | Using program closures to make an application programming interface (API) implementation thread safe. | Eitan Farchi, Itai Segall, Joo Loureno, Diogo Sousa |
| 2011 | ISSTA | Practical verification of high-level dataraces in transactional memory programs. | Vasco Pessanha, Ricardo J. Dias, Joo Loureno, Eitan Farchi, Diogo Sousa |
| 2011 | ISSTA | Using binary decision diagrams for combinatorial test design. | Itai Segall, Rachel Tzoref-Brill, Eitan Farchi |
| 2010 | ISSTA | Unit testing for concurrent business code. | Yao Qi, Yarden Nir-Buchbinder, Eitan Farchi, Raja Das, Zhi Da Luo, Zhi Gan |
| 2010 | ISSTA | Detection of Transactional Memory anomalies using static analysis. | Bruno C. Teixeira, Joo Loureno, Eitan Farchi, Ricardo J. Dias, Diogo Sousa |
| 2009 | FASE | Cross-Entropy-Based Replay of Concurrent Programs. | Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov |
| 2009 | ICSE | Automated substring hole analysis. | Yoram Adler, Eitan Farchi, Moshe Klausner, Dan Pelleg, Orna Raz, Moran Shochat, Shmuel Ur, Aviad Zlotnick |
| 2009 | ISSTA | Advanced code coverage analysis using substring holes. | Yoram Adler, Eitan Farchi, Moshe Klausner, Dan Pelleg, Orna Raz, Moran Shochat, Shmuel Ur, Aviad Zlotnick |
| 2009 | ISSTA | Forcing small models of conditions on program interleaving for detection of concurrent bugs. | Ehud Trainin, Yarden Nir-Buchbinder, Rachel Tzoref-Brill, Aviad Zlotnick, Shmuel Ur, Eitan Farchi |
| 2008 | ICST | Selective Homeworkless Reviews. | Eitan Farchi, Shmuel Ur |
| 2008 | ISSTA | Pitfalls in teaching development and testing of concurrent programs and how to overcome them. | Eitan Farchi |
| 2008 | ISSTA | 6th workshop on parallel and distributed systems: testing and debugging (PADTAD '08). | Shmuel Ur, Scott D. Stoller, Eitan Farchi |
| 2007 | FMCAD | Cross-Entropy Based Testing. | Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov |
| 2006 | ISoLA | Noise Makers Need to Know Where to be Silent - Producing Schedules That Find Bugs. | Yosi Ben-Asher, Eitan Farchi, Yaniv Eytani, Shmuel Ur |
| 2006 | ISSTA | Producing scheduling that causes concurrent programs to fail. | Yosi Ben-Asher, Yaniv Eytani, Eitan Farchi, Shmuel Ur |
| 2006 | ISSTA | Formal verification of concurrent software: two case studies. | Hana Chockler, Eitan Farchi, Ziv Glazberg, Benny Godlin, Yarden Nir-Buchbinder, Ishai Rabinovitz |
| 2005 | DSN | Effective Testing and Debugging Techniques for a Group Communication System. | Eitan Farchi, Gabriel Kliot, Yoel Krasny, Alex Krits, Roman Vitenberg |
| 2005 | PPoPP | Applications of synchronization coverage. | Arkady Bron, Eitan Farchi, Yonit Magid, Yarden Nir, Shmuel Ur |
| 2002 | SIGIR | Automatic query refinement using lexical affinities with maximal information gain. | David Carmel, Eitan Farchi, Yael Petruschka, Aya Soffer |
| 2001 | SIGIR | Static Index Pruning for Information Retrieval Systems. | Aya Soffer, David Carmel, Doron Cohen, Ronald Fagin, Eitan Farchi, Michael Herscovici, Yolle S. Maarek |
| 1997 | SODA | Optimal Search in Trees: Extended Abstract + Appendix. | Yosi Ben-Asher, Eitan Farchi, Ilan Newman |