Eitan Farchi

According to our database, Eitan Farchi authored at least 87 papers between 1994 and 2024.

Collaborative distances:

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

2024

Alignment Studio: Aligning Large Language Models to Particular Contextual Regulations.

Swapnaja Achintalwar, Ioana Baldini, Djallel Bouneffouf, Joan Byamugisha, Maria Chang, Pierre L. Dognin, Eitan Farchi, Ndivhuwo Makondo, Aleksandra Mojsilovic, Manish Nagireddy, Karthikeyan Natesan Ramamurthy, Inkit Padhi, Orna Raz, Jesus Rios, Prasanna Sattigeri, Moninder Singh, Siphiwe Thwala, Rosario A. Uceda-Sosa, Kush R. Varshney

CoRR, 2024

Detectors for Safe and Reliable LLMs: Implementations, Uses, and Limitations.

Swapnaja Achintalwar, Adriana Alvarado Garcia, Ateret Anaby-Tavor, Ioana Baldini, Sara E. Berger, Bishwaranjan Bhattacharjee, Djallel Bouneffouf, Subhajit Chaudhury, Pin-Yu Chen, Lamogha Chiazor, Elizabeth M. Daly, Rogério Abreu de Paula, Pierre L. Dognin, Eitan Farchi, Soumya Ghosh, Michael Hind, Raya Horesh, George Kour, Ja Young Lee, Erik Miehling, Keerthiram Murugesan, Manish Nagireddy, Inkit Padhi, David Piorkowski, Ambrish Rawat, Orna Raz, Prasanna Sattigeri, Hendrik Strobelt, Sarathkrishna Swaminathan, Christoph Tillmann, Aashka Trivedi, Kush R. Varshney, Dennis Wei, Shalisha Witherspoon, Marcel Zalmanovici

CoRR, 2024

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

Proceedings of the 16th International Conference on COMmunication Systems & NETworkS, 2024

2023

Generalized Coverage Criteria for Combinatorial Sequence Testing.

Achiya Elyasaf, Eitan Farchi, Oded Margalit, Gera Weiss, Yeshayahu Weiss

IEEE Trans. Software Eng., August, 2023

Software testing in the machine learning era.

Andrea Stocco, Onn Shehory, Gunel Jahangirova, Vincenzo Riccio, Guy Barash, Eitan Farchi, Diptikalyan Saha

Empir. Softw. Eng., June, 2023

Deploying automated ticket router across the enterprise.

Samuel Ackerman, Lincoln Alexander, Margaret Bennett, Donglin Chen, Eitan Farchi, Autumn Houseknecht, Padmanabhan Santhanam

AI Mag., March, 2023

Unveiling Safety Vulnerabilities of Large Language Models.

George Kour, Marcel Zalmanovici, Naama Zwerdling, Esther Goldbraich, Ora Nova Fandina, Ateret Anaby-Tavor, Orna Raz, Eitan Farchi

CoRR, 2023

Predicting Question-Answering Performance of Large Language Models through Semantic Consistency.

Ella Rabinovich, Samuel Ackerman, Orna Raz, Eitan Farchi, Ateret Anaby-Tavor

CoRR, 2023

Data Drift Monitoring for Log Anomaly Detection Pipelines.

Dipak Wani, Samuel Ackerman, Eitan Farchi, Xiaotong Liu, Hau-wen Chang, Sarasi Lalithsena

CoRR, 2023

Characterizing how 'distributional' NLP corpora distance metrics are.

Samuel Ackerman, George Kour, Eitan Farchi

CoRR, 2023

Automatic Generation of Attention Rules For Containment of Machine Learning Model Errors.

Samuel Ackerman, Axel Bendavid, Eitan Farchi, Orna Raz

CoRR, 2023

Quality Engineering for Agile and DevOps on the Cloud and Edge.

Eitan Farchi, Saritha Route

CoRR, 2023

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

Proceedings of the International Conference on Artificial Intelligence and Statistics, 2023

2022

Measuring the Measuring Tools: An Automatic Evaluation of Semantic Metrics for Text Corpora.

George Kour, Samuel Ackerman, Orna Raz, Eitan Farchi, Boaz Carmeli, Ateret Anaby-Tavor

CoRR, 2022

Random Test Generation of Application Programming Interfaces.

Eitan Farchi, Krithika Prakash, Vitali Sokhin

CoRR, 2022

Using Fuzzy Matching of Queries to optimize Database workloads.

Sweta Singh, Vaibhav Kulkarni, Mario Briggs, Deepak Mahajan, Eitan Farchi

CoRR, 2022

High-quality Conversational Systems.

Samuel Ackerman, Ateret Anaby-Tavor, Eitan Farchi, Esther Goldbraich, George Kour, Ella Rabinovich, Orna Raz, Saritha Route, Marcel Zalmanovici, Naama Zwerdling

CoRR, 2022

Combinatorial Sequence Testing Using Behavioral Programming and Generalized Coverage Criteria.

Achiya Elyasaf, Eitan Farchi, Oded Margalit, Gera Weiss, Yeshayahu Weiss

CoRR, 2022

Experiment Based Crafting and Analyzing of Machine Learning Solutions.

Samuel Ackerman, Eitan Farchi, Orna Raz, Onn Shehory

CoRR, 2022

2021

Using sequential drift detection to test the API economy.

Samuel Ackerman, Parijat Dube, Eitan Farchi

CoRR, 2021

Detecting model drift using polynomial relations.

Eliran Roffe, Samuel Ackerman, Orna Raz, Eitan Farchi

CoRR, 2021

Density-based interpretable hypercube region partitioning for mixed numeric and categorical data.

Samuel Ackerman, Eitan Farchi, Orna Raz, Marcel Zalmanovici, Maya Zohar

CoRR, 2021

Towards API Testing Across Cloud and Edge.

Samuel Ackerman, Sanjib Choudhury, Nirmit Desai, Eitan Farchi, Dan Gisolfi, Andrew Hicks, Saritha Route, Diptikalyan Saha

CoRR, 2021

Broadly Applicable Targeted Data Sample Omission Attacks.

Guy Barash, Eitan Farchi, Sarit Kraus, Onn Shehory

CoRR, 2021

Machine Learning Model Drift Detection Via Weak Data Slices.

Samuel Ackerman, Parijat Dube, Eitan Farchi, Orna Raz, Marcel Zalmanovici

Proceedings of the 3rd IEEE/ACM International Workshop on Deep Learning for Testing and Testing for Deep Learning, 2021

Ranking Data Slices for ML Model Validation: A Shapley Value Approach.

Eitan Farchi, Ramasuri Narayanam, Lokesh Nagalapatti

Proceedings of the 37th IEEE International Conference on Data Engineering, 2021

2020

Detection of data drift and outliers affecting machine learning model performance over time.

Samuel Ackerman, Eitan Farchi, Orna Raz, Marcel Zalmanovici, Parijat Dube

CoRR, 2020

Sequential Drift Detection in Deep Learning Classifiers.

Samuel Ackerman, Parijat Dube, Eitan Farchi

CoRR, 2020

The Association for the Advancement of Artificial Intelligence 2020 Workshop Program.

Grace Bang, Guy Barash, Ryan Beal, Jacques Calì, Mauricio Castillo-Effen, Xin Cynthia Chen, Niyati Chhaya, Rachel Cummings, Rohan Dhoopar, Sebastijan Dumancic, Huáscar Espinoza, Eitan Farchi, Ferdinando Fioretto, Raquel Fuentetaja, Christopher William Geib, Odd Erik Gundersen, José Hernández-Orallo, Xiaowei Huang, Kokil Jaidka, Sarah Keren, Seokhwan Kim, Michel Galley, Xiaomo Liu, Tyler Lu, Zhiqiang Ma, Richard Mallah, John A. McDermid, Martin Michalowski, Reuth Mirsky, Seán Ó hÉigeartaigh, Deepak Ramachandran, Javier Segovia Aguas, Onn Shehory, Arash Shaban-Nejad, Vered Shwartz, Siddharth Srivastava, Kartik Talamadupula, Jian Tang, Pascal Van Hentenryck, Dell Zhang, Jian Zhang

AI Mag., 2020

2019

Engineering Reliable Deep Learning Systems.

P. Santhanam, Eitan Farchi, Victor Pankratius

CoRR, 2019

Defending via strategic ML selection.

Eitan Farchi, Onn Shehory, Guy Barash

CoRR, 2019

Reports of the Workshops Held at the 2019 AAAI Conference on Artificial Intelligence.

Guy Barash, Mauricio Castillo-Effen, Niyati Chhaya, Peter Clark, Huáscar Espinoza, Eitan Farchi, Christopher W. Geib, Odd Erik Gundersen, Seán Ó hÉigeartaigh, José Hernández-Orallo, Chiori Hori, Xiaowei Huang, Kokil Jaidka, Pavan Kapanipathi, Sarah Keren, Seokhwan Kim, Marc Lanctot, Danny Lange, Julian J. McAuley, David R. Martinez, Marwan Mattar, Mausam, Martin Michalowski, Reuth Mirsky, Roozbeh Mottaghi, Joseph C. Osborn, Julien Pérolat, Martin Schmid, Arash Shaban-Nejad, Onn Shehory, Biplav Srivastava, William W. Streilein, Kartik Talamadupula, Julian Togelius, Koichiro Yoshino, Quanshi Zhang, Imed Zitouni

AI Mag., 2019

Bridging the gap between ML solutions and their business requirements using feature interactions.

Guy Barash, Eitan Farchi, Ilan Jayaraman, Orna Raz, Rachel Tzoref-Brill, Marcel Zalmanovici

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

2018

Reports of the Workshops of the 32nd AAAI Conference on Artificial Intelligence.

Bruno Bouchard, Kevin Bouchard, Noam Brown, Niyati Chhaya, Eitan Farchi, Sébastien Gaboury, Christopher W. Geib, Amelie Gyrard, Kokil Jaidka, Sarah Keren, Roni Khardon, Parisa Kordjamshidi, David R. Martinez, Nicholas Mattei, Martin Michalowski, Reuth Mirsky, Joseph C. Osborn, Cem Sahin, Onn Shehory, Arash Shaban-Nejad, Amit P. Sheth, Ilan Shimshoni, Howard E. Shrobe, Arunesh Sinha, Atanu R. Sinha, Biplav Srivastava, William W. Streilein, Georgios Theocharous, Kristen Brent Venable, Neal Wagner, Anna Zamansky

AI Mag., 2018

2017

A Composition-Based Method for Combinatorial Test Design.

Anna Zamansky, Amir Shwartz, Seri Khoury, Eitan Farchi

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

A randomized algorithm for constructing cross-feature tests from single feature tests.

Guy Barash, Eitan Farchi

Proceedings of the 2017 IEEE International High Level Design Validation and Test Workshop, 2017

2016

A Visual Logical Language for System Modelling in Combinatorial Test Design.

Maria Spichkova, Anna Zamansky, Eitan Farchi

Proceedings of the Advanced Information Systems Engineering Workshops, 2016

2015

Special issue on testing, analysis and debugging of concurrent programs.

Eitan Farchi, Robert M. Hierons, João Lourenço

Softw. Test. Verification Reliab., 2015

Teaching Logic to Information Systems Students: Challenges and Opportunities.

Anna Zamansky, Eitan Farchi

CoRR, 2015

Exploring the Role of Logic and Formal Methods in Information Systems Education.

Anna Zamansky, Eitan Farchi

Proceedings of the Software Engineering and Formal Methods, 2015

Helping the Tester Get It Right: Towards Supporting Agile Combinatorial Test Design.

Anna Zamansky, Eitan Farchi

Proceedings of the Software Engineering and Formal Methods, 2015

Towards a Human-Centred Approach in Modelling and Testing of Cyber-Physical Systems.

Maria Spichkova, Anna Zamansky, Eitan Farchi

Proceedings of the 21st IEEE International Conference on Parallel and Distributed Systems, 2015

2014

Using Wiki as a Collaboration Platform for Software Requirements and Design.

Irit Hadar, Meira Levy, Yochai Ben-Chaim, Eitan Farchi

Proceedings of the Knowledge, Information and Creativity Support Systems - Selected Papers from KICSS'2014, 2014

Combinatorial Testing with Order Requirements.

Eitan Farchi, Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

2013

Using Projections to Debug Large Combinatorial Models.

Eitan Farchi, Itai Segall, Rachel Tzoref-Brill

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2012

Using program closures to make an application programming interface (API) implementation thread safe.

Eitan Farchi, Itai Segall, João Lourenço, Diogo Sousa

Proceedings of the 10th Workshop on Parallel and Distributed Systems: Testing, 2012

Using combinatorial benchmark construction to improve the assessment of concurrency bug detection tools.

Jeremy S. Bradbury, Itai Segall, Eitan Farchi, Kevin Jalbert, David Kelk

Proceedings of the 10th Workshop on Parallel and Distributed Systems: Testing, 2012

2011

The Study of Resource Allocation among Software Development Phases: An Economics-Based Approach.

Peleg Yiftachel, Irit Hadar, Dan Peled, Eitan Farchi, Dan Goldwasser

Adv. Softw. Eng., 2011

Using binary decision diagrams for combinatorial test design.

Itai Segall, Rachel Tzoref-Brill, Eitan Farchi

Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

Practical verification of high-level dataraces in transactional memory programs.

Vasco Pessanha, Ricardo J. Dias, João Lourenço, Eitan Farchi, Diogo Sousa

Proceedings of the 9th Workshop on Parallel and Distributed Systems: Testing, 2011

2010

Detection of deadlock potentials in multithreaded programs.

Rahul Agarwal, Saddek Bensalem, Eitan Farchi, Klaus Havelund, Yarden Nir-Buchbinder, Scott D. Stoller, Shmuel Ur, Liqiang Wang

IBM J. Res. Dev., 2010

Engaging Stakeholders in Globally Distributed Software Development Processes.

Yochai Ben-Chaim, Meira Levy, Irit Hadar, Eitan Farchi, Alla Bronshtein

Proceedings of the 5th Mediterranean Conference on Information Systems, 2010

Detection of Transactional Memory anomalies using static analysis.

Bruno C. Teixeira, João Lourenço, Eitan Farchi, Ricardo J. Dias, Diogo Sousa

Proceedings of the 8th Workshop on Parallel and Distributed Systems: Testing, 2010

Unit testing for concurrent business code.

Yao Qi, Yarden Nir-Buchbinder, Eitan Farchi, Raja Das, Zhi Da Luo, Zhi Gan

Proceedings of the 8th Workshop on Parallel and Distributed Systems: Testing, 2010

2009

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

Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, 2009

Advanced code coverage analysis using substring holes.

Yoram Adler, Eitan Farchi, Moshe Klausner, Dan Pelleg, Orna Raz, Moran Shochat, Shmuel Ur, Aviad Zlotnick

Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, 2009

Automated substring hole analysis.

Yoram Adler, Eitan Farchi, Moshe Klausner, Dan Pelleg, Orna Raz, Moran Shochat, Shmuel Ur, Aviad Zlotnick

Proceedings of the 31st International Conference on Software Engineering, 2009

Cross-Entropy-Based Replay of Concurrent Programs.

Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov

Proceedings of the Fundamental Approaches to Software Engineering, 2009

2008

6th workshop on parallel and distributed systems: testing and debugging (PADTAD '08).

Shmuel Ur, Scott D. Stoller, Eitan Farchi

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

Pitfalls in teaching development and testing of concurrent programs and how to overcome them.

Eitan Farchi

Proceedings of the 6th Workshop on Parallel and Distributed Systems: Testing, 2008

Selective Homeworkless Reviews.

Eitan Farchi, Shmuel Ur

Proceedings of the First International Conference on Software Testing, 2008

SeeCode - A Code Review Plug-in for Eclipse.

Moran Shochat, Orna Raz, Eitan Farchi

Proceedings of the Hardware and Software: Verification and Testing, 2008

2007

Distributed desk checking.

Amiram Hayardeny, Shachar Fienblit, Eitan Farchi

Concurr. Comput. Pract. Exp., 2007

Choosing among alternative pasts.

Marina Biberstein, Eitan Farchi, Shmuel Ur

Concurr. Comput. Pract. Exp., 2007

The Advantages of Post-Link Code Coverage.

Orna Raz, Moshe Klausner, Nitzan Peleg, Gadi Haber, Eitan Farchi, Shachar Fienblit, Yakov S. Filiarsky, Shay Gammer, Sergey Novikov

Proceedings of the Hardware and Software: Verification and Testing, 2007

Cross-Entropy Based Testing.

Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov

Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007

2006

Formal verification of concurrent software: two case studies.

Hana Chockler, Eitan Farchi, Ziv Glazberg, Benny Godlin, Yarden Nir-Buchbinder, Ishai Rabinovitz

Proceedings of the 4th Workshop on Parallel and Distributed Systems: Testing, 2006

Producing scheduling that causes concurrent programs to fail.

Yosi Ben-Asher, Yaniv Eytani, Eitan Farchi, Shmuel Ur

Proceedings of the 4th Workshop on Parallel and Distributed Systems: Testing, 2006

Noise Makers Need to Know Where to be Silent - Producing Schedules That Find Bugs.

Yosi Ben-Asher, Eitan Farchi, Yaniv Eytani, Shmuel Ur

Proceedings of the Leveraging Applications of Formal Methods, 2006

2005

Compact Representations of Search in Complex Domains.

Yosi Ben-Asher, Eitan Farchi

IGTR, 2005

Applications of synchronization coverage.

Arkady Bron, Eitan Farchi, Yonit Magid, Yarden Nir, Shmuel Ur

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2005

Assisting the Code Review Process Using Simple Pattern Recognition.

Eitan Farchi, Bradley R. Harrington

Proceedings of the Hardware and Software Verification and Testing, 2005

Optimal Algorithmic Debugging and Reduced Coverage Using Search in Structured Domains.

Yosi Ben-Asher, Igor Breger, Eitan Farchi, Ilia Gordon

Proceedings of the Hardware and Software Verification and Testing, 2005

Effective Testing and Debugging Techniques for a Group Communication System.

Eitan Farchi, Gabriel Kliot, Yoel Krasny, Alex Krits, Roman Vitenberg

Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005

2004

Concurrent and Distributed Desk Checking.

Amiram Hayardeny, Shachar Fienblit, Eitan Farchi

Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

Automatic Simulation of Network Problems in UDP-Based Java Programs.

Eitan Farchi, Yoel Krasny, Yarden Nir

Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

Fidgeting to the Point of No Return.

Marina Biberstein, Eitan Farchi, Shmuel Ur

Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

2003

Framework for testing multi-threaded Java programs.

Orit Edelstein, Eitan Farchi, Evgeny Goldin, Yarden Nir, Gil Ratsaby, Shmuel Ur

Concurr. Comput. Pract. Exp., 2003

Concurrent Bug Patterns and How to Test Them.

Eitan Farchi, Yarden Nir, Shmuel Ur

Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

Heuristics for Finding Concurrent Bug.

Yosi Ben-Asher, Eitan Farchi, Yaniv Eytani

Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

2002

Using a model-based test generator to test for standard conformance.

Eitan Farchi, Alan Hartman, Shlomit S. Pinter

IBM Syst. J., 2002

Multithreaded Java program test generation.

Orit Edelstein, Eitan Farchi, Yarden Nir, Gil Ratsaby, Shmuel Ur

IBM Syst. J., 2002

Automatic query refinement using lexical affinities with maximal information gain.

David Carmel, Eitan Farchi, Yael Petruschka, Aya Soffer

Proceedings of the SIGIR 2002: Proceedings of the 25th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, 2002

2001

Static Index Pruning for Information Retrieval Systems.

Aya Soffer, David Carmel, Doron Cohen, Ronald Fagin, Eitan Farchi, Michael Herscovici, Yoëlle S. Maarek

Proceedings of the SIGIR 2001: Proceedings of the 24th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, 2001

1999

Optimal Search in Trees.

Yosi Ben-Asher, Eitan Farchi, Ilan Newman

SIAM J. Comput., 1999

1997

Optimal Search in Trees: Extended Abstract + Appendix.

Yosi Ben-Asher, Eitan Farchi, Ilan Newman

Proceedings of the Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, 1997

1994

Using true concurrency to model execution of parallel programs.

Yosi Ben-Asher, Eitan Farchi

Int. J. Parallel Program., 1994