Eitan Farchi

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 48

Top Topics

Feature Interactions

Business Requirements

Top Venues

Publications

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
Alignment Studio: Aligning Large Language Models to Particular Contextual Regulations. CoRR (2024)
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
Detectors for Safe and Reliable LLMs: Implementations, Uses, and Limitations. CoRR (2024)
Scott Ballentine, Eitan Farchi
Effective Technical Reviews. CoRR (2024)
Samuel Ackerman, Eitan Farchi, Rami Katan, Orna Raz
Using Combinatorial Optimization to Design a High quality LLM Solution. CoRR (2024)
Mudit Verma, Sandeep Hans, Diptikalyan Saha, Praveen Jayachandran, Eitan Farchi, Naga Ravi Chaitanya Elluri, Tullio Sebastiani, Paige Rubendall, Yogananth Subramanian, Pradeep Surisetty, Brian Riordan
A Chaos Recommendation Tool for Reliability Testing in Large-Scale Cloud-Native Systems. COMSNETS (2024)
Marcel Zalmanovici, Orna Raz, Eitan Farchi, Iftach Freund
Generating Unseen Code Tests In Infinitum. CoRR (2024)
George Kour, Marcel Zalmanovici, Naama Zwerdling, Esther Goldbraich, Ora Nova Fandina, Ateret Anaby-Tavor, Orna Raz, Eitan Farchi
Unveiling Safety Vulnerabilities of Large Language Models. CoRR (2023)
Dennis Wei, Haoze Wu, Min Wu, Pin-Yu Chen, Clark W. Barrett, Eitan Farchi
Convex Bounds on the Softmax Function with Applications to Robustness Verification. CoRR (2023)
Samuel Ackerman, Axel Bendavid, Eitan Farchi, Orna Raz
Automatic Generation of Attention Rules For Containment of Machine Learning Model Errors. CoRR (2023)
Dipak Wani, Samuel Ackerman, Eitan Farchi, Xiaotong Liu, Hau-wen Chang, Sarasi Lalithsena
Data Drift Monitoring for Log Anomaly Detection Pipelines. CoRR (2023)
Dennis Wei, Haoze Wu, Min Wu, Pin-Yu Chen, Clark W. Barrett, Eitan Farchi
Convex Bounds on the Softmax Function with Applications to Robustness Verification. AISTATS (2023)
Samuel Ackerman, George Kour, Eitan Farchi
Characterizing how 'distributional' NLP corpora distance metrics are. CoRR (2023)
Andrea Stocco, Onn Shehory, Gunel Jahangirova, Vincenzo Riccio, Guy Barash, Eitan Farchi, Diptikalyan Saha
Software testing in the machine learning era. Empir. Softw. Eng. 28 (3) (2023)
Samuel Ackerman, Lincoln Alexander, Margaret Bennett, Donglin Chen, Eitan Farchi, Autumn Houseknecht, Padmanabhan Santhanam
Deploying automated ticket router across the enterprise. AI Mag. 44 (1) (2023)
Eitan Farchi, Saritha Route
Quality Engineering for Agile and DevOps on the Cloud and Edge. CoRR (2023)
Achiya Elyasaf, Eitan Farchi, Oded Margalit, Gera Weiss, Yeshayahu Weiss
Generalized Coverage Criteria for Combinatorial Sequence Testing. IEEE Trans. Software Eng. 49 (8) (2023)
Ella Rabinovich, Samuel Ackerman, Orna Raz, Eitan Farchi, Ateret Anaby-Tavor
Predicting Question-Answering Performance of Large Language Models through Semantic Consistency. CoRR (2023)
Eitan Farchi, Krithika Prakash, Vitali Sokhin
Random Test Generation of Application Programming Interfaces. CoRR (2022)
George Kour, Samuel Ackerman, Orna Raz, Eitan Farchi, Boaz Carmeli, Ateret Anaby-Tavor
Measuring the Measuring Tools: An Automatic Evaluation of Semantic Metrics for Text Corpora. CoRR (2022)
Achiya Elyasaf, Eitan Farchi, Oded Margalit, Gera Weiss, Yeshayahu Weiss
Combinatorial Sequence Testing Using Behavioral Programming and Generalized Coverage Criteria. CoRR (2022)
Sweta Singh, Vaibhav Kulkarni, Mario Briggs, Deepak Mahajan, Eitan Farchi
Using Fuzzy Matching of Queries to optimize Database workloads. CoRR (2022)
Samuel Ackerman, Ateret Anaby-Tavor, Eitan Farchi, Esther Goldbraich, George Kour, Ella Rabinovich, Orna Raz, Saritha Route, Marcel Zalmanovici, Naama Zwerdling
High-quality Conversational Systems. CoRR (2022)
Samuel Ackerman, Eitan Farchi, Orna Raz, Onn Shehory
Experiment Based Crafting and Analyzing of Machine Learning Solutions. CoRR (2022)
Samuel Ackerman, Eitan Farchi, Orna Raz, Marcel Zalmanovici, Maya Zohar
Density-based interpretable hypercube region partitioning for mixed numeric and categorical data. CoRR (2021)
Samuel Ackerman, Sanjib Choudhury, Nirmit Desai, Eitan Farchi, Dan Gisolfi, Andrew Hicks, Saritha Route, Diptikalyan Saha
Towards API Testing Across Cloud and Edge. CoRR (2021)
Samuel Ackerman, Parijat Dube, Eitan Farchi, Orna Raz, Marcel Zalmanovici
Machine Learning Model Drift Detection Via Weak Data Slices. CoRR (2021)
Eitan Farchi, Ramasuri Narayanam, Lokesh Nagalapatti
Ranking Data Slices for ML Model Validation: A Shapley Value Approach. ICDE (2021)
Guy Barash, Eitan Farchi, Sarit Kraus, Onn Shehory
Broadly Applicable Targeted Data Sample Omission Attacks. CoRR (2021)
Samuel Ackerman, Parijat Dube, Eitan Farchi, Orna Raz, Marcel Zalmanovici
Machine Learning Model Drift Detection Via Weak Data Slices. DeepTest@ICSE (2021)
Samuel Ackerman, Parijat Dube, Eitan Farchi
Using sequential drift detection to test the API economy. CoRR (2021)
Eliran Roffe, Samuel Ackerman, Orna Raz, Eitan Farchi
Detecting model drift using polynomial relations. CoRR (2021)
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 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
The Association for the Advancement of Artificial Intelligence 2020 Workshop Program. AI Mag. 41 (4) (2020)
Samuel Ackerman, Eitan Farchi, Orna Raz, Marcel Zalmanovici, Parijat Dube
Detection of data drift and outliers affecting machine learning model performance over time. CoRR (2020)
Samuel Ackerman, Parijat Dube, Eitan Farchi
Sequential Drift Detection in Deep Learning Classifiers. CoRR (2020)
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
Reports of the Workshops Held at the 2019 AAAI Conference on Artificial Intelligence. AI Mag. 40 (3) (2019)
P. Santhanam, Eitan Farchi, Victor Pankratius
Engineering Reliable Deep Learning Systems. CoRR (2019)
Eitan Farchi, Onn Shehory, Guy Barash
Defending via strategic ML selection. CoRR (2019)
Guy Barash, Eitan Farchi, Ilan Jayaraman, Orna Raz, Rachel Tzoref-Brill, Marcel Zalmanovici
Bridging the gap between ML solutions and their business requirements using feature interactions. ESEC/SIGSOFT FSE (2019)
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
Reports of the Workshops of the 32nd AAAI Conference on Artificial Intelligence. AI Mag. 39 (4) (2018)
Guy Barash, Eitan Farchi
A randomized algorithm for constructing cross-feature tests from single feature tests. HLDVT (2017)
Anna Zamansky, Amir Shwartz, Seri Khoury, Eitan Farchi
A Composition-Based Method for Combinatorial Test Design. ICST Workshops (2017)
Maria Spichkova, Anna Zamansky, Eitan Farchi
A Visual Logical Language for System Modelling in Combinatorial Test Design. CAiSE Workshops (2016)
Maria Spichkova, Anna Zamansky, Eitan Farchi
Towards a Human-Centred Approach in Modelling and Testing of Cyber-Physical Systems. CoRR (2016)
Anna Zamansky, Eitan Farchi
Teaching Logic to Information Systems Students: Challenges and Opportunities. CoRR (2015)
Maria Spichkova, Anna Zamansky, Eitan Farchi
Towards a Human-Centred Approach in Modelling and Testing of Cyber-Physical Systems. ICPADS (2015)
Anna Zamansky, Eitan Farchi
Helping the Tester Get It Right: Towards Supporting Agile Combinatorial Test Design. SEFM Workshops (2015)
Anna Zamansky, Eitan Farchi
Exploring the Role of Logic and Formal Methods in Information Systems Education. SEFM Workshops (2015)
Eitan Farchi, Robert M. Hierons, João Lourenço
Special issue on testing, analysis and debugging of concurrent programs. Softw. Test. Verification Reliab. 25 (3) (2015)
Irit Hadar, Meira Levy, Yochai Ben-Chaim, Eitan Farchi
Using Wiki as a Collaboration Platform for Software Requirements and Design. KICSS (2014)
Eitan Farchi, Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick
Combinatorial Testing with Order Requirements. ICST Workshops (2014)
Eitan Farchi, Itai Segall, Rachel Tzoref-Brill
Using Projections to Debug Large Combinatorial Models. ICST Workshops (2013)
Eitan Farchi, Itai Segall, João Lourenço, Diogo Sousa
Using program closures to make an application programming interface (API) implementation thread safe. PADTAD (2012)
Jeremy S. Bradbury, Itai Segall, Eitan Farchi, Kevin Jalbert, David Kelk
Using combinatorial benchmark construction to improve the assessment of concurrency bug detection tools. PADTAD (2012)
Vasco Pessanha, Ricardo J. Dias, João Lourenço, Eitan Farchi, Diogo Sousa
Practical verification of high-level dataraces in transactional memory programs. PADTAD (2011)
Peleg Yiftachel, Irit Hadar, Dan Peled, Eitan Farchi, Dan Goldwasser
The Study of Resource Allocation among Software Development Phases: An Economics-Based Approach. Adv. Softw. Eng. 2011 (2011)
Itai Segall, Rachel Tzoref-Brill, Eitan Farchi
Using binary decision diagrams for combinatorial test design. ISSTA (2011)
Rahul Agarwal, Saddek Bensalem, Eitan Farchi, Klaus Havelund, Yarden Nir-Buchbinder, Scott D. Stoller, Shmuel Ur, Liqiang Wang
Detection of deadlock potentials in multithreaded programs. IBM J. Res. Dev. 54 (5) (2010)
Yochai Ben-Chaim, Meira Levy, Irit Hadar, Eitan Farchi, Alla Bronshtein
Engaging Stakeholders in Globally Distributed Software Development Processes. MCIS (2010)
Bruno C. Teixeira, João Lourenço, Eitan Farchi, Ricardo J. Dias, Diogo Sousa
Detection of Transactional Memory anomalies using static analysis. PDATAD (2010)
Yao Qi, Yarden Nir-Buchbinder, Eitan Farchi, Raja Das, Zhi Da Luo, Zhi Gan
Unit testing for concurrent business code. PDATAD (2010)
Yoram Adler, Eitan Farchi, Moshe Klausner, Dan Pelleg, Orna Raz, Moran Shochat, Shmuel Ur, Aviad Zlotnick
Advanced code coverage analysis using substring holes. ISSTA (2009)
Ehud Trainin, Yarden Nir-Buchbinder, Rachel Tzoref-Brill, Aviad Zlotnick, Shmuel Ur, Eitan Farchi
Forcing small models of conditions on program interleaving for detection of concurrent bugs. PADTAD (2009)
Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov
Cross-Entropy-Based Replay of Concurrent Programs. FASE (2009)
Yoram Adler, Eitan Farchi, Moshe Klausner, Dan Pelleg, Orna Raz, Moran Shochat, Shmuel Ur, Aviad Zlotnick
Automated substring hole analysis. ICSE Companion (2009)
Eitan Farchi
Pitfalls in teaching development and testing of concurrent programs and how to overcome them. PADTAD (2008)
Eitan Farchi, Shmuel Ur
Selective Homeworkless Reviews. ICST (2008)
Shmuel Ur, Scott D. Stoller, Eitan Farchi
6th workshop on parallel and distributed systems: testing and debugging (PADTAD '08). ISSTA (2008)
Moran Shochat, Orna Raz, Eitan Farchi
SeeCode - A Code Review Plug-in for Eclipse. Haifa Verification Conference (2008)
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)
Amiram Hayardeny, Shachar Fienblit, Eitan Farchi
Distributed desk checking. Concurr. Comput. Pract. Exp. 19 (3) (2007)
Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov
Cross-Entropy Based Testing. FMCAD (2007)
Marina Biberstein, Eitan Farchi, Shmuel Ur
Choosing among alternative pasts. Concurr. Comput. Pract. Exp. 19 (3) (2007)
Yosi Ben-Asher, Yaniv Eytani, Eitan Farchi, Shmuel Ur
Producing scheduling that causes concurrent programs to fail. PADTAD (2006)
Yosi Ben-Asher, Eitan Farchi, Yaniv Eytani, Shmuel Ur
Noise Makers Need to Know Where to be Silent - Producing Schedules That Find Bugs. ISoLA (2006)
Hana Chockler, Eitan Farchi, Ziv Glazberg, Benny Godlin, Yarden Nir-Buchbinder, Ishai Rabinovitz
Formal verification of concurrent software: two case studies. PADTAD (2006)
Yosi Ben-Asher, Igor Breger, Eitan Farchi, Ilia Gordon
Optimal Algorithmic Debugging and Reduced Coverage Using Search in Structured Domains. Haifa Verification Conference (2005)
Yosi Ben-Asher, Eitan Farchi
Compact Representations of Search in Complex Domains. IGTR 7 (1) (2005)
Yosi Ben-Asher, Eitan Farchi
Compact Representations of Search in Complex Domains. IGTR 7 (2) (2005)
Eitan Farchi, Bradley R. Harrington
Assisting the Code Review Process Using Simple Pattern Recognition. Haifa Verification Conference (2005)
Arkady Bron, Eitan Farchi, Yonit Magid, Yarden Nir, Shmuel Ur
Applications of synchronization coverage. PPOPP (2005)
Eitan Farchi, Gabriel Kliot, Yoel Krasny, Alex Krits, Roman Vitenberg
Effective Testing and Debugging Techniques for a Group Communication System. DSN (2005)
Eitan Farchi, Yoel Krasny, Yarden Nir
Automatic Simulation of Network Problems in UDP-Based Java Programs. IPDPS (2004)
Amiram Hayardeny, Shachar Fienblit, Eitan Farchi
Concurrent and Distributed Desk Checking. IPDPS (2004)
Marina Biberstein, Eitan Farchi, Shmuel Ur
Fidgeting to the Point of No Return. IPDPS (2004)
Eitan Farchi, Yarden Nir, Shmuel Ur
Concurrent Bug Patterns and How to Test Them. IPDPS (2003)
Yosi Ben-Asher, Eitan Farchi, Yaniv Eytani
Heuristics for Finding Concurrent Bug. IPDPS (2003)
Orit Edelstein, Eitan Farchi, Evgeny Goldin, Yarden Nir, Gil Ratsaby, Shmuel Ur
Framework for testing multi-threaded Java programs. Concurr. Comput. Pract. Exp. 15 (3-5) (2003)
Marina Biberstein, Eitan Farchi, Shmuel Ur
Choosing among Alternative Pasts. IPDPS (2003)
Orit Edelstein, Eitan Farchi, Yarden Nir, Gil Ratsaby, Shmuel Ur
Multithreaded Java program test generation. IBM Syst. J. 41 (1) (2002)
Eitan Farchi, Alan Hartman, Shlomit S. Pinter
Using a model-based test generator to test for standard conformance. IBM Syst. J. 41 (1) (2002)
David Carmel, Eitan Farchi, Yael Petruschka, Aya Soffer
Automatic query refinement using lexical affinities with maximal information gain. SIGIR (2002)
Orit Edelstein, Eitan Farchi, Yarden Nir, Gil Ratsaby, Shmuel Ur
Multithreaded Java program test generation. Java Grande (2001)
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)
Yosi Ben-Asher, Eitan Farchi, Ilan Newman
Optimal Search in Trees. SIAM J. Comput. 28 (6) (1999)
Yosi Ben-Asher, Eitan Farchi, Ilan Newman
Optimal Search in Trees: Extended Abstract + Appendix. SODA (1997)
Yosi Ben-Asher, Eitan Farchi
Using true concurrency to model execution of parallel programs. Int. J. Parallel Program. 22 (4) (1994)