Skip to main content

Machine Learning and Constraint Satisfaction

Machine Learning Publications

  • D. Pelleg, M. Ben-Yehuda, R. Harper, L. Spainhower, and T. Adeshiyan (2008), "Vigilant: out-of-band detection of failures in virtual machines", ACM SIGOPS Operating Systems Review, 42(1): 26-31.
  • M. Rosen-Zvi, E. Sch?lter, A. Altman, S. Sierra-Aragon, M. Zazzi, A. S?nnerborg, T. Lengauer, R. Kaiser(2008), "Sustaining 3TC/FTC, ABC, AZT or ATV from a previous treatment shows a clinical benefit", Accepted for a poster presentation at the XVII International HIV Drug Resistance Workshop, Sitges 2008.
  • A. Gruber, M. Rosen-Zvi and Y. Weiss (2008), "Latent Topic Models for Hypertext", Accepted for an oral presentation at the UAI conference, Helsinki 2008.
  • M. Rosen-Zvi, A. Altmann, M. Prosperi, E. Aharoni, H. Neuvirth, A. S?nnerborg, E. Sch?lter, D. Struck, Y. Peres, F. Incardona, R. Kaiser, M. Zazzi, T. Lengauer (2008), "Selecting anti-HIV therapies based on a variety of genomic and clinical factors", Accepted for an oral presentation at the ISMB conference/ bioinformatics journal Toronto 2008.
  • A. Altmann, M. Rosen-Zvi, M. Prosperi, E. Aharoni, H. Neuvirth, E. Sch?lter, J. B?ch, Y. Peres, F. Incardona, A. S?nnerborg, R. Kaiser, M. Zazzi, T. Lengauer (2008), "The EuResist approach for predicting response to anti HIV-1 therapy" Accepted for an oral presentation at the 6th European HIV Drug Resistance Workshop, Cascais, Portugal 2008.
  • S. Sabato and S. Shalev-Shwartz (2008), "Ranking Categorical Features Using Generalization Properties", To appear in Journal of Machine Learning Research.
  • D. Carmel, E. Yom-Tov, H. Roitman (2008) "Enhancing Digital Libraries Using Missing Content Analysis" Accepted to the 2008 Joint Conference on Digital Libraries (JCDL 2008).
  • M. Factor, S. Iren, D. Nagle, D. Naor, E. Riedel, O. Rodeh, and J. Satran (2008), "The ANSI T10 Object-based Storage Standard and Current Implementations" Accepted to the IBM R&D journal, 2008.
  • O. Margalit, A. Ticknor, R. J. Baseman (2008), "Semi-Automatic Detection of Tool Variability", accepted for presentation in the 9th European AEC/APC Conference.
  • A. Freund, D. Pelleg, and Y. Richter (2008), "Clustering from Constraint Graphs", Siam Conf. on Data Mining (SDM).
  • E Aharoni, A Altman, G Borgulya, R D'Autilia, F Incardona, R Kaiser, C Kent, T Lengauer, H Neuvirth, Y Peres, A Petroczi, M Prosperi, M Rosenzvi, E Schulter, T Sing, A Sonnenborg, R Thompson, M Zazzi, (2007) Integration of viral genomics with clinical data to predict response to anti-HIV treatment. IST-Africa 2007 Conference & Exhibition, May 9-11, 2007, Maputo, Mozambique
  • M Zazzi, E Aharoni, A Altmann, F Bazs?, P Bidgood, G Borgulya, J Denholm-Prince, M Fielder, R Kaiser, C Kent, T Lengauer, T. Nepusz, H Neuvirth, Y Peres, A Petroczi, M Prosperi, L Romano, M Rosen-Zvi, E Sch?lter, T Sing, A Sonnerborg, R Thompson, G Ulivi, L Zal?nyi, F Incardona, (2007) EuResist: exploration of multiple modeling techniques for prediction of response to treatment. Proceedings of the 5th European HIV Drug Resistance Workshop, March 29, 2007, Cascais, Portugal.
  • M. Rosen-Zvi, E. Aharoni, A. Altmann, R. Kaiser, T. Lengauer, H. Neuvirth, M. Prosperi, F. Bazs?, F. Incardona, M. Zazzi (2007) EuResist: European data - European interpretation systems, European Journal of Medical Research
  • A Gruber, M Rosen-Zvi and Y Weiss (2007) "Hidden Topic Markov Models", Artificial Intelligence and Statistics (AISTATS), San Juan, Puerto Rico, March 2007.
  • M Rosen-Zvi, W Muth, S G Conti, F A Scholl, R J. Baseman, (2008), "Learning with Bayesian networks from in-line metrology sampling data" accepted for presentation in the 9th European AEC/APC Conference.
  • Shai Fine and Yishay Mansour, (2007), "Active sampling for multiple output identification", Machine Learning Journal, Volume 69, Issue 2-3, pp 213-228
  • E. Yom-Tov, D. Pelleg, R. Natarajan, E. Pednault, N. Slonim (2007) "Large scale clustering and regression using the IBM Parallel Machine Learning toolbox" Neural Information Processing Systems (NIPS) 2007 Workshop on Efficient Machine Learning, Whistler, Canada.
  • H. Leather, E. Yom-Tov, M. Namolaru, A. Freund (2008) "Automatic Feature Generation for Setting Compilers Heuristics" 2nd Workshop on Statistical and Machine learning approaches to ARchitectures and compilaTion (SMART'08).
  • D. Pelleg and D. Baras (2007), "K-means with Large and Noisy Constraint Sets", to appear in Proceedings of the eighteenth European Conference on Machine Learning (ECML 2007) Lecture Notes in Computer Science 4701, pp. 674-682, Springer 2007. Extended version: IBM Research Report H-0253.
  • E. Yom-Tov and Y. Aridor (2007), "A self-optimized job scheduler for heterogeneous server clusters" 13th Workshop on Job Scheduling Strategies for Parallel Processing (JSSPP) 2007.
  • R. Tzoref, S. Ur, and E. Yom-Tov (2007), "Instrumenting Where it Hurts - An Automatic Concurrent Debugging Technique" Accepted for presentation at The International Symposium on Software Testing and Analysis (ISSTA) 2007.
  • E. Amitay, S. Yogev, and E. Yom-Tov (2007), "Serial Sharers: Detecting Split Identities of Web Authors" Accepted for presentation at the SIGIR Workshop on Plagiarism Analysis, Authorship Identification, and Near-Duplicate Detection, 2007.
  • S. Sabato and S. Shalev-Shwartz (2007), "Prediction by categorical features: generalization properties and application to feature ranking", to appear in Proceedings of The Twentieth Annual Conference on Learning Theory (COLT).
  • S. Sabato, E. Yom-Tov, A. Tsherniak, and S. Rosset (2007), "Analyzing System Logs: A New View of What's Important", accepted for presentation in the Second Workshop on Tackling Computer Systems Problems with Machine Learning Techniques (SysML07).
  • E. Yom-Tov, Y. Xu, M. Rosen-Zvi, and J. Wong (2007), "A Novel Classification Technique Using Compression-based Similarity with Application to Residual Gas Analysis Data", accepted for presentation in the 8th European AEC/APC Conference.
  • E. Yom-Tov (2007) "A distributed sequential solver for large scale SVMs" In: O. Chapelle, D. DeCoste, J. Weston, L. Bottou Large scale kernel machines MIT Press: 141-156
  • D. Pelleg(2006), "Learning Rules of Thumb", IBM Research Report H-0255
  • R. El-Yaniv, D. Pechyony, and E. Yom-Tov (2006), "Superior Multi-Class Classification through a Margin-Optimized Single Binary Problem", IBM Research Report H-0243.
  • E. Yom-Tov and Y. Aridor (2006), "Improving Resource Matching through Estimation of Actual Job Requirements", IBM Research Report H-0244.
  • Elad Yom-Tov and Yariv Aridor, (2006), "Improving Resource Matching Through Estimation of Actual Job Requirements", 15th IEEE International Symposium on High Performance Distributed Computing (HPDC 2006), Paris, France. pp. 367-368.
  • Elad Yom-Tov, David Carmel, Adam Darlow, and Dan Pelleg (2006), "What makes a query difficult?", 29th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR 2006), Seattle, Washington. pp. 390-397.
  • Shmuel Ur, Elad Yom-Tov, and Paul Wernick (2006), "An Open Source Simulation Model of Software Testing", Haifa Verification Conference. Lecture Notes in Computer Science 2007, volume 4383 (124-137).
  • Ran El-Yaniv, Tomer Kotek, Dmitry Pechyony, and Elad Yom-Tov (2006), "On Multiclass Classification via a Single Binary Classifier", IBM Research Report H-0241.
  • Dorit Baras and Ron Meir (2006), "Reinforcement Learning, Spike Time Dependent Plasticity and the BCM Rule", Neural Computation, vol. 19: 2245-2279, 2007.
  • Dorit Baras and Ron Meir (2006), "Reinforcement Learning, Spike Time Dependent Plasticity and the BCM Rule", CNS 2007. BMC Neuroscience 2007, 8(Suppl 2):P197.
  • Shai Fine and Yishay Mansour (2006), "Active Sampling for Multiple Output Identification", COLT 2006: 620-634.
  • Tzur Savag, Shai Fine, and Yishay Mansour (2006), "Combining Multiple Heuristics", STACS 2006: 242-253.
  • Shai Fine, Ari Freund, Itai Jaeger, Yishay Mansour, Yehuda Naveh, and Avi Ziv (2006), "Harnessing Machine Learning to Improve the Success Rate of Stimuli Generation". IEEE Trans. Computers 55(11): 1344-1355.
  • Michal Rosen-Zvi, Hani Neuvirth, Ehud Aharoni, Maurizio Zazzi, and Naftali Tishby (2006), "Consistent dimensionality reduction scheme and its application to clinical HIV data", NIPS 2006 workshop poster: "Novel applications of dimensionality reduction".
  • Hani Neuvirth , Michal Rosen-Zvi, Nathan Srebro, Ehud Aharoni, Maurizio Zazzi, and Naftali Tishby (2006), "Improved Prediction of HIV Resistance In-Vitro by Biochemically-Driven Models", NIPS 2006 workshop talk: "New Problems and Methods in Computational Biology".
  • Elad Yom-Tov (2006), "Field editor for the Encyclopedic reference of Neuroscience", Springer, 2006.
  • Shady Copty, Shai Fine, Shmuel Ur, Elad Yom-Tov, and Avi Ziv (2006), "A Probabilistic Alternative to Regression Suites", Accepted for publication in Theoretical Computer Science.
  • Shady Copty, Shmuel Ur, and Elad Yom-Tov (2005), "Evaluating the Reverse Greedy Algorithm", Fifth Haifa Workshop on Interdisciplinary Applications of Graph Theory, Combinatorics and Algorithms.
  • Dan Pelleg and Andrew Moore (2005), "Dependency Trees in Sub-linear Time and Bounded Memory", VLDB Journal, Volume 15(3), pp.250-262.
  • Reuven Bar-Yehuda, Keren Bendel, Ari Freund, and Dror Rawitz (2005), "The local ratio technique and its application to scheduling and resource allocation problems", In M.C. Golumbic, I.B-A. Hartman (eds.), Graph Theory, Combinatorics and Algorithms. Springer 2005, pp. 107-143.
  • Shai Fine, Ari Freund, Itai Jaeger, Yishay Mansour, Yehuda Naveh, and Avi Ziv (2005), "Harnessing machine learning to improve the success rate of stimuli generation", Proc. High Level Design Validation and Test Workshop (HLDVT) 2005 pp. 112-118. Accepted for publication in IEEE Transactions on Computers, Special Issue on Simulation-Based Validation.
  • Elad Yom-Tov, Shai Fine, David Carmel, and Adam Darlow (2005), "Learning to Estimate Query Difficulty with Applications to Missing Content Detection and Distributed Information Retrieval", The 28th Annual International ACM SIGIR Conference, SIGIR2005, Won best paper award.
  • Shai Fine, Shmuel Ur, and Avi Ziv (2004), "Probabilistic Regression Suites for Functional Verification", Proceedings of the 41st annual conference on Design automation, San Diego, CA, USA, pp. 49-54.
  • Markus Braun, Shai Fine, and Avi Ziv (2004), "Enhancing Efficiency of Bayesian Network based Coverage Directed Test Generation", Proc. High Level Design Validation and Test Workshop (HLDVT) 2004, pp. 75-80.
  • Shady Copty, Shai Fine, Shmuel Ur, and Avi Ziv (2004), "Probabilistic Alternative Regression Suites", 1st International Symposium on Leveraging Applications of Formal Methods, Cyprus.
  • Shai Fine and Avi Ziv (2004), "On the Application of Bayesian Networks for Simulation-based Verification", The second Bayesian modeling applications workshop of Uncertainty in Artificial Intelligence, Banff, Canada.
  • Elad Yom-Tov, Shai Fine, David Carmel, Adam Darlow, and Einat Amitay (2004), "Improving document retrieval according to prediction of query difficulty", TREC report, Text Retrieval Conference, Gaithersburg, MD, USA.
  • Elad Yom-Tov (2004), "Introduction to Pattern Classification", in Advanced Lectures on Machine Learning - ML Summer Schools 2003. Bousquet O., Luxburg U.v., Raetsch G. (Eds.), Springer.
  • Shai Fine and Avi Ziv (2003), "Enhancing the Control and Efficiency of the Covering Process", Proc. High-level Design, Verification and Testing Workshop (HLDVT), pp. 96-101.
  • Shai Fine and Avi Ziv (2003), "Coverage Directed Test Generation for Functional Verification using Bayesian Networks" Proceedings of the 40th Design Automation Conference, pp. 286-291.

Workshops

Verification Solutions Publications

Functional Coverage and Meteor

  • Hezi Azatchi, Eitan Marcus, Laurent Fournier, Shmuel Ur, Avi Ziv, and Keren Zohar (2005), "Advanced Analysis Techniques for Cross-Product Coverage", Accepted for publication in IEEE Transactions on Computers, Special Issue on Simulation-Based Validation.
  • Hezi Azatchi, Laurent Fournier, Avi Ziv, and Keren Zohar (2005), "Advanced Analysis Techniques for Cross-Product Coverage", Proc. High Level Design Validation and Test Workshop (HLDVT) 2005, pp. 229-236.
  • Sigal Asaf, Eitan Marcus, and Avi Ziv (2004), "Defining coverage views to improve functional coverage analysis", Proceedings of the 41st Design Automation Conference, pp. 41-44.
  • Avi Ziv (2003), "Cross-Product Functional Coverage Measurement with Temporal Properties-based Assertions", Proceedings of the 2003 Design, Automation and Test in Europe Conference, pp. 834-841.
  • Eitan Marcus, Oded Lachish, Shmuel Ur, and Avi Ziv, "Hole Analysis for Functional Coverage Data", Proceedings of the 39th Design Automation Conference, pp. 807-812.
  • Avi Ziv (2002), "Using Temporal Checkers for Functional Coverage", Microprocessor Test and Verification (MTV).
  • Alan Hartman, Shmuel Ur, and Avi Ziv (1999), "Short Vs. Long, Size Does Make a Difference", Proc. High-level Design, Verification and Testing Workshop (HLDVT).
  • Raanan Grinwald, Eran Harel, Michael Orgad, Shmuel Ur, and Avi Ziv (1998), "User Defined Coverage -- A Tool Supported Methodology for Design Verification", Proceedings of the 35th Design Automation Conference, pp. 158-163.
  • Shmuel Ur and Avi Ziv (1998), "Off-The-Shelf Vs. Custom-Made Coverage -- Which Is The One for You?", The International Conference on Software Testing Analysis and Review (STAR).

Coverage Directed Generation

  • Shai Fine, Ari Freund, Itai Jaeger, Yishay Mansour, Yehuda Naveh, and Avi Ziv (2006), "Harnessing Machine Learning to Improve the Success Rate of Stimuli Generation," IEEE Transactions on Computers, vol. 55, no. 11, pp. 1344-1355.
  • Shai Fine and Yishay Mansour (2006), "Active Sampling for Multiple Output Identification", COLT 2006: 620-634.
  • Tzur Savag, Shai Fine, and Yishay Mansour (2006), "Combining Multiple Heuristics", STACS 2006: 242-253.
  • Shai Fine, Ari Freund, Itai Jaeger, Yishay Mansour, Yehuda Naveh, and Avi Ziv (2006), "Harnessing Machine Learning to Improve the Success Rate of Stimuli Generation". IEEE Trans. Computers 55(11): 1344-1355.
  • Shai Fine, Ari Freund, Itai Jaeger, Yishay Mansour, Yehuda Naveh, and Avi Ziv (2005), "Harnessing machine learning to improve the success rate of stimuli generation", Proc. High Level Design Validation and Test Workshop (HLDVT) 2005 pp. 112-118. Accepted for publication in IEEE Transactions on Computers, Special Issue on Simulation-Based Validation.
  • Markus Braun, Shai Fine, and Avi Ziv (2004), "Enhancing Efficiency of Bayesian Network based Coverage Directed Test Generation", Proc. High Level Design Validation and Test Workshop (HLDVT) 2004, pp. 75-80.
  • Shady Copty, Shai Fine, Shmuel Ur, and Avi Ziv (2004), "Probabilistic Alternative Regression Suites", 1st International Symposium on Leveraging Applications of Formal Methods, Cyprus.
  • Shai Fine, Shmuel Ur, and Avi Ziv (2004), "Probabilistic Regression Suites for Functional Verification", Proceedings of the 41st Annual Conference on Design Automation, San Diego, CA, USA, pp. 49-54.
  • Shai Fine and Avi Ziv (2004), "On The Application of Bayesian Networks for Simulation-based Verification", The second Bayesian modeling applications workshop of Uncertainty in Artificial Intelligence, Banff, Canada.
  • Shai Fine and Avi Ziv (2003), "Enhancing the Control and Efficiency of the Covering Process", Proc. High-level Design, Verification and Testing Workshop (HLDVT), pp. 96-101.
  • Shai Fine and Avi Ziv (2003), "Coverage Directed Test Generation for Functional Verification using Bayesian Networks" Proceedings of the 40th Design Automation Conference, pp. 286-291.
  • Gilly Nativ, Steve Mittermaier, Shmuel Ur, and Avi Ziv (2001), "Cost Evaluation of Coverage Directed Test Generation for the IBM Mainframe", Proc. of the International Test Conference (ITC), pp. 793-802.

Constraint Satisfaction (Octopus) Publications

  • Y. Richter, Y. Naveh, D. L. Gresh, and D. P. Connors (2007), "Optimatch: Applying Constraint Programming to Workforce Management of Highly-skilled Employees", IEEE/INFORMS International Conference on Service Operations and Logistics, and Informatics (SOLI), Philadelphia, pp. 173-178.
  • Y. Richter, Y. Naveh, D. L. Gresh, and D. P. Connors, "Optimatch: Applying Constraint Programming to Workforce Management of Highly-skilled Employees", International Journal of Services Operations and Informatics (IJSOI), special issue of SOLI '07, accepted for publication.
  • S. Wasserkrug, Y. Richter, and D. Gilat (2008), "Models for Manpower Planning at Different Time Horizons", The 15th Industrial Engineering and Management Conference (IE & M), Tel Aviv, Israel.
  • S. Sabato and Y. Naveh (2007), "Preprocessing Expression-based Constraint Satisfaction Problems for Stochastic Local Search", to appear in Proceedings of The Fourth International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CP-AI-OR).
  • Y. Naveh, Y. Richter, Y. Altshuler, D. Gresh, and D. Connors (2007), "Workforce Optimization: Identification and Assignment of Professional Workers Using Constraint Programming", accepted for publication in IBM J. R&D.
  • Yehuda Naveh, Michal Rimon, Itai Jaeger, Yoav Katz, Michael Vinov, Eitan Marcus, and Gil Shurek (2006), "Constraint-Based Random Stimuli Generation for Hardware Verification", IAAI 2006.
  • Yehuda Naveh, Michal Rimon, Itai Jaeger, Yoav Katz, Michael Vinov, Eitan Marcus, and Gil Shurek (2006), "Constraint-Based Random Stimuli Generation for Hardware Verification", accepted for publication in AI magazine.
  • Yossi Richter, Ari Freund, and Yehuda Naveh (2006), "Generalizing AllDifferent: The SomeDifferent constraint", : Proceedings of the 12 International Conference on Principles and Practice of Constraint Programming - CP 2006, Lecture Notes in Computer Science, Volume 4204, pages 468-483.
  • Yehuda Naveh, "Stochastic solver for constraint satisfaction problems with learning of high-level characteristics of the problem topography", in Local Search Techniques in Constraint Satisfaction (LSCS-04).
  • Felix Geller and Michael Veksler, "Assumption-based pruning in conditional CSP", in van Beek, P., ed., CP, "Principles and Practice of Constraint Programming - CP 2005" of Lecture Notes in Computer Science (3709), 241-255 Springer.

Workshops

Invited Talks

  • Yehuda Naveh, "Advanced topics in the functional verification of high-end processors and systems using constraint satisfaction", DAC Tutorial, Anaheim, CA, 2005.
  • Yehuda Naveh, "Using Constraint Programming for the Functional Verification of Hardware Design", INFORMS Anual Meeting, San Francisco, CA, 2005.
  • Yehuda Naveh, "Random Simuli Generation for Functional Hardware Verification", Workshop on Constraints and Verification, LAA, Isaac Newton Institute, Cambridge, UK, 2006.

Miscellaneous Publications

  • O. Rodeh (2007), "B-trees, shadowing, and clones", ACM transactions on Storage, February 2008.
  • Y. Yom-Tov, S. Yom-Tov, D. MacDonald, and E. Yom-Tov (2007), "Population Cycles and Changes in Body Size of the Lynx in Alaska", Oecologia.
  • Amir Nahir, Avi Ziv, Roy Emek, Tal Keidar, and Nir Ronen (2006), "Scheduling-based Test-case Generation for Verification of Multimedia SoCs," Proceedings of the 43rd Design Automation Conference, pp. 348-351.
  • Amir Nahir, Yossi Shiloach, and Avi Ziv (2006), "Using Linear Programming Techniques for Scheduling-based Random Test-case Generation", Haifa Verification Conference (to be published in 2007).
  • Shlomo Hoory, Nathan Linial, and Avi Wigderson (2006), "Expander graphs and their applications", Bulletin of the American Mathematical Society 43, 439-561, 2006.
  • Shlomo Hoory and Stefan Szeider (2006), "A Note on Unsatisfiable k-CNF Formulas with Few Occurrences per Variable", SIAM Journal on Discrete Mathematics 20(2), 523-528, 2006.
  • Shlomo Hoory, Avner Magen, and Toniann Pitassi (2006), "Monotone circuits for the majority function", Random 2006, Barcelona.
  • Shlomo Hoory and Alex Brodsky (2006), "Simple Permutations Mix Even Better", Accepted for publication in Random Structure and Algorithms.