IBM Research - Haifa

Collaborations and Partnerships

Across all our activities, our team works with internal IBM product organizations as well as with IBM customers. We engage directly in development and delivery projects, partnering with the following IBM business units:

• IBM Systems and Technology Group, home of IBM System products
• IBM Software Group, home of IBM middleware products
• IBM Global Services, delivering business consulting services and technology services to customers worldwide
• Sister IBM Research laboratories in California, India, New York, and Zurich
• IBM sales teams

We routinely work with standard organizations to set systems and storage industry standards. A recent example of our work in this area is the CBCS standard for secure access to networked storage. Our team has conceived and developed this standard, and then led the process of its approval by the T10 standards body.

• 

  Lastly, we collaborate with European academic and industrial organizations on projects of mutual joint interest. These include the following activities:

• 

  FI-WARE

  This is an EU FP7 project launched in May 2011, which is the cornerstone of the FI-PPP programme -- a cluster of Future Internet research projects aimed at creating a technology ecosystem and boosting the innovation in multiple industrial sectors, such as transportation, media, energy, smart cities and others. The goal of FI-WARE is to design a cloud-based core platform, which will be used to efficiently develop and host Future Internet applications. Our team leads the architecture and implementation efforts of the Cloud Hosting activity in FI-WARE.

• 

  VISION Cloud

  This is a pioneering EU FP7 project, where we lead a consortium of 15 European companies and universities. We aim to develop an advanced infrastructure for the secure delivery of data-intensive storage services with guaranteed QoS, featuring comprehensive data mobility and interoperability, a rich data model, safe and efficient computation close to the storage, and content-centric access.

• 

  FITTEST

  This is an EU FP7 project aimed at providing tools and methodologies for testing the Future Internet with its complex interaction of services, applications and contents. Our contribution there is in concurrency testing and coverage.

• 

  ERA

  This is an FP7 project involving a reconfigurable platform aimed at meeting the requirements of running applications. The project targets several components for reconfiguration, including CPU, network and memory, software components e.g., operating system and compiler.

• 

  GAMES

  This is an EU FP7 project which focuses on energy management in modern data centers. In this project we work with partners across Europe to develop tools and methods for planning energy-efficient IT infrastructrures, in line with the emerging global trend of Green IT.

• 

  IOLanes

  This is an FP7 project which pursues advancements in the scalability and performance of I/O subsystems in multicore platforms. In this project we work on hypervisor design and implementation, focusing on high-performance I/O in virtualized environments.

• 

  HiPEAC

  This is an European Network of Excellence on High Performance and Embedded Architecture and compilation. HIPEAC started as an FP6 project, and now continues as an FP7 project.

• 

  ENSURE

  Kicked off in February, 2011, this EU FP7 project is being led by HRL, and is researching ways for long term preservation of digital data for enterprises, where the cost associated with preserving data will be a factor in driving the preservation solution. Besides leading the project management and architecture, our researchers are investigating long-term storage techniques and virtualization technologies for the preservation of applications.

Completed Projects

• 

  Reservoir

  This is an ambitious EU FP7 project, where we lead a consortium of 13 European companies and universities who collaborate on developing an advanced infrastructure for Cloud Computing, based on deep integration of virtualization and grid technologies.

• 

  SARC

  This is an FP6 Integrated Project in the area of advanced computer architectures, with a focus on a systematic scalable approach to the design of systems ranging from small embedded systems to large scale networked data servers.

• 

  Shadows

  This is an EU FP6 project, led by our team, which focuses on developing tools and methods for designing self-managing systems, based on the DMTF/CIM and Eclipse/TPTP open standards.

• 

  CASPAR

  This is an EU FP6 project which focuses on tools and methods for preserving cultural, scientific, and artistic long-term data. The project builds on the Object Storage standard (conceived by our team and standardized by SNIA) and the OAIS standard.

• 

  ACOTES

  This is an FP7 project aimed at addressing the complexity and cost of programming emerging embedded architectures by implementing program transformation techniques in compilation tools to enable efficient programming of highly parallel architectures for stream computing.

• 

  MilePost

  This is an FP7 project that exploits machine learning for embedded programs optimizations. The overall objective of MilePost is to develop compiler technology that can automatically learn how to best optimize programs.

Selected Research Papers - Cloud Platforms

• "Guaranteeing High Availability Goals for Virtual Machine Placement",
  Eyal Bin, Ofer Biran, Odellia Boni, Erez Hadad, Hillel Kolodner, Yosef Moatti and Dean Lorenz, 2011, The 31st International Conference on Distributed Computing Systems (ICDCS).
• "On the Management of Virtual Machines for Cloud Infrastructures",
  M. Llorente, R. S. Montero, B. Sotomayor, D. Breitgand, A. Maraschini, E. Levy, B. Rochwerger, Chapter 6 of Cloud Computing: Principles and Paradigms, Editors: Radjkumar Buyya, James Broberg, Andrzej M. Goscinski , Wiley, 2011.
• "Efficient Control of False Negative and False Positive Errors with Separate Adaptive Thresholds",
  David Breitgand, Maayan Golodstein, Ealan Henis, Onn Shehory, 2011, Springer Journal of Network and System Management (JNSM), to appear
• "Cost-Aware Live Migration of Services in the Cloud",
  David Breitgand, Gilad Kutiel, Danny Raz, USENIX Hot-ICE 2011, Boston, MA, USA, 2011
• "SLA-aware Placement of Multi-Virtual Machine Elastic Services in Compute Clouds",
  David Breitgand, Amir Epstein, IEEE IM 2011, Dublin, Ireland, 2011
• "Inter-Cloud Mobility of Virtual Machines",
  Kenneth Nagin, David Hadas, Zvi Dubitzky, Alex Glikson, Irit Loy, Benny Rochwerger, Liran Schour, Systor '11, May 30 - Jun 01 2011, Haifa, Israel
• "Reservoir - When One Cloud Is Not Enough",
  B. Rochwerger, D. Breitgand, A. Epstein, D Hadas, I. Loy, K. Nagin, J. Tordsson, C. Ragusa, M. Villari, S. Clayman, E. Levy, A. Maraschini, P. Massonet,, H. Muñoz, G. Tofetti IEEE Computer March 2011 (vol. 44 no. 3) pp. 44-51. http://www.computer.org/portal/web/csdl/doi/10.1109/MC.2011.64
• "On Cost-Aware Monitoring for Adaptive Load Sharing",
  David Breitgand, Amir Nahir, Rami Cohen, Danny Raz, IEEE Journal on Selected Areas in Communications (JSAC), Vol. 28, No. 1, Jan 2010
• "An Architecture For Federated Cloud Computing",
  B, Rochwerger, C. Vázquez, D. Breitgand, D. Hadas, M. Villari, P. Massonet, E. Levy, A. Galis, I. Llorente, R. Montero, Y. Wolfsthal, K. Nagin, L. Larsson, F. Galán ; Chapter 15 of "Cloud Computing: Principles and Paradigms" book - Rajkumar Buyya (Ed.), James Broberg (Ed.) and Andrzej Goscinski (Ed.), Wiley 2010
• "Monitoring Future Internet Service Clouds",
  S. Clayman, A. Galis, C. Chapman, L.R, Merino, .L M. Vaquero, K. Nagin, B. Rochwerger, G. Toffetti - "Towards the Future Internet - A European Research Perspective book, April 2010 IOS Press, http://www.iospress.nl/
• "NAP: a building block for remediating performance bottlenecks via black box network analysis",
  Muli Ben-Yehuda, David Breitgand, Michael Factor, Hillel Kolodner, Valentin Kravtsov, Dan Pelleg, In Proceedings of the 6th International Conference on Autonomic Computing, pp. 179-188, Barcelona, Spain, 2009
• "Design for Future Internet Service Infrastructures",
  B. Rochwerger, A. Galis, D. Breitgand, E. Levy, J.A. Cáceres, I.M. Llorente, Y. Wolfsthal, M. Wusthoff, S. Clayman, C. Chapman, W. Emmerich, E. Elmroth, R.S. Montero , Future Internet Assembly 2009 (FIA'09), Prague, Czech Republic, May 2009
• "RESERVOIR: Management Technologies and Requirements for Next Generation Service Oriented Infrastructures",
  Benny Rochwerger, Alex Galis, Eliezer Levy, Juan A. Cáceres, David Breitgand, Yaron Wolfsthal, Ignacio M. Llorente, Mark Wusthoff, R. S. Montero, E. Elmroth, short paper, IFIP/IEEE 11th International Symposium on Integrated Network Management (IM'09), New-York, USA, 2009
• "The RESERVOIR Model And Architecture for Open Federated Cloud Computing",
  B. Rochwerger, J. Caceres, R.S. Montero, D. Breitgand, E. Elmroth, A. Galis, E. Levy, I.M. Llorente, K. Nagin, Y. Wolfsthal, IBM Journal: System Journal Special Edition on Internet Scale Data Centers, 2009
• "Virtual machine time travel using continuous data protection and checkpointing",
  Paula Ta-Shma, Guy Laden, Muli Ben-Yehuda, and Michael Factor, ACM SIGOPS Operating Systems Review, 42:1 (2008).
• "Tapping into the fountain of CPUs: on operating system support for programmable devices",
  Yaron Weinsberg, Danny Dolev, Tal Anker, Muli Ben-Yehuda, Pete Wyckoff, Proceedings of ASPLOS 2008: 179-188.
• "Multitoroidal interconnects for tightly coupled supercomputers",
  Yariv Aridor, Tamar Domany, Oleg Goldshmidt, Yevgeny Kliteynik, Edi Shmueli and Jose Moreira, IEEE Transactions on Parallel and Distributed Systems 19(1):52-65 (2008).
• "B-trees, shadowing, and clones",
  Ohad Rodeh, ACM Transactions on Storage 3(4): (2008).
• "Preservation DataStores: New storage paradigm for preservation environments",
  Simona Rabinovici-Cohen, Michael Factor, Dalit Naor, Leeat Ramati, Petra Reshef, Shahar Ronen, Julian Satran, David Giaretta, IBM Journal of Research and Development, Special Issue on Storage Technologies and Systems, 2008.
• "The ANSI T10 object-based storage standard and current implementations",
  David Nagle, Michael Factor, Sami Iren, Dalit Naor,Erik Riedel, Ohad Rodeh, Julian Satran, IBM Journal of Research and Development, Special Issue on Storage Technologies and Systems, 2008.
• "Derivation of Response Time Service Level Objectives for Business Services",
  David Breitgand, Ealan A. Henis, Onn Shehory, John M. Lake, in Proceedings of the 2nd IFIP/IEEE International Workshop on Business-Driven IT Management (BDIM 2007), pp. 29-38, Munich, Germany, 2007
• "Architectures for Controller Based CDP",
  Guy Laden, Paula Ta-Shma, Eitan Yaffe, Michael Factor, and Shachar Fienblit, Proceedings of The 5th USENIX Conference on File and Storage Technologies, February 2007 (FAST '07).
• "Capability based Secure Access Control to Networked Storage Devices",
  Michael Factor, Dalit Naor, Eran Rom, Julian Satran, Sivan Tal, Proceedings of MSST 2007:114-128.
• "Preservation DataStores: Architecture for Preservation Aware Storage",
  Michael Factor, Dalit Naor, Simona Rabinovici-Cohen, Leeat Ramati, Petra Reshef, Julian Satran, David L. Giaretta, Proceedings of MSST 2007: 3-15.
• "A Self-optimized Job Scheduler for Heterogeneous Server Clusters",
  Elad Yom-Tov, Yariv Aridor, Proceedings of JSSPP 2007:169-187.
• "The need for preservation aware storage: a position paper",
  Michael Factor, Dalit Naor, Simona Rabinovici-Cohen, Leeat Ramati, Petra Reshef, Julian Satran, Operating Systems Review 41(1): 19-23 (2007).
• "Encompass: Managing Functionality",
  Oleg Goldshmidt, Benny Rochwerger, Alex Glikson, Inbar Shapira, Tamar Domany, Proceedings of IPDPS 2007:1-5.
• "PANACEA Towards a Self-healing Development Framework",
  David Breitgand, Maayan Goldstein, Ealan Henis, Onn Shehory, Yaron Weinsberg, Proceedings of Integrated Network Management 2007:169-178.
• "On Fully Distributed Adaptive Load Balancing",
  David Breitgand, Rami Cohen, Amir Nahir, Danny Raz, Proceedings of DSOM 2007: 74-85.
• "Using the Right Amount of Monitoring in Adaptive Load Sharing",
  David Breitgand, Rami Cohen, Amir Nahir, Danny Raz, Proceedings of ICAC 2007: 7.
• "Cost Aware Adaptive Load Sharing",
  David Breitgand, Rami Cohen, Amir Nahir, Danny Raz, Proceedings of IWSOS 2007: 208-224.
• "The Traveling Miser Problem",
  D. Breitgand, D. Raz, and Y. Shavitt, IEEE/ACM Transactions on Networking (ToN), 14(4): 711-724, 2006
• "IP Only Server",
  Muli Ben-Yehuda, Oleg Goldshmidt, Elliot K. Kolodner, Zorik Machulsky, Vadim Makhervaks, Julian Satran, Marc Segal, Leah Shalev, Ilan Shimony, USENIX Annual Technical Conference, General Track 2006: 381-386.
• "Automated and Adaptive Threshold Setting: enabling technology for autonomy and self-management",
  David Breitgand, Ealan A. Henis, Onn Shehory, in Proceedings of Second International Conference on Autonomic Computing (ICAC'05), pp. 204-215, Seattle, USA, 2005
• "Root-cause analysis of SAN performance problems: an I/O path affine search approach",
  David Breitgand, Ealan A. Henis, Edya Ladan-Mozes, Onn Shehory, Elena Erushalmi, in Proceedings of the 9th IFIP/IEEE Integrated Network Management (IM'05), pp. 251-264, Nice, France, 2005
• "Automated and Adaptive Threshold Setting: Enabling Technology for Autonomy and Self-Management",
  David Breitgand, Ealan Henis, and Onn Shehory, The 2nd IEEE International Conference on Autonomic Computing (ICAC-05), 2005.
• "Design of the iSCSI Protocol",
  Kalman Z. Meth, Julian Satran, IEEE Symposium on Mass Storage Systems 2003:116-122.
• "Internet Protocol storage area networks",
  Prasenjit Sarkar, Kaladhar Voruganti, Kalman Z. Meth, Ofer Biran, Julian Satran, IBM Systems Journal 42(2): 218-231 (2003)
• "Management of application complexes in multitier clustered systems",
  Antonio Abbondanzio, Yariv Aridor, Ofer Biran, Liana Fong, German S. Goldszmidt, Richard Harper, Srirama Krishnakumar, Gregory Pruett, Ben-Ami Yassur: IBM Systems Journal 42(1), 2003.

Selected Research Papers - System Optimization and Quality

• "Measuring an Improving Latency to Avoid Test Suite Wear Out",
  Shmuel Ur, Mark Harman and Shin Yoo, SBST, Best Paper Award, April 2009.
• "Automated Substring Hole Analysis",
  Yoram Adler, Eitan Farchi, Moshe Klausner, Dan Peleg, Orna Raz, Moran Shochat, Shmuel Ur and Aviad Zlotnick, ICSE 2009.
• "A Concurrency Testing Tool and itsPlug-ins for Dynamic Analysis and Runtime Healing",
  Yarden Nir-Buchbinder, Zdenek Letko, Bohuslav Kerena, Rachel Tzoref-Brill, Shmuel Ur, and Tomás Vojnar, RV 2009.
• "Advanced Code Coverage Analysis Using Substring Holes",
  Yoram Adler, Eitan Farchi, Moshe Klausner, Dan Pelleg, Orna Raz, Moran Shochat, Shmuel Ur and Aviad Zlotnick, ISSTA 2009.
• "Cross-Entropy-Based Replay of Concurrent Programs",
  Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov, FASE 2009: 201-215.
• "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 and Eitan Farchi, PADTAD 2009.
• "An Effective Method for Keeping Design Artifacts Up-to-Date",
  Yochai Ben-Chaim, Eitan Farchi, Orna Raz, Wikis4SE 2009.
• "Hardware-less testing for RAS software",
  Aviad Zlotnick, Orna Raz, SYSTOR 2009: 17.
• "Controlling Levels of False Negative and False Positive Errors via Separate Adaptive Thresholds",
  David Breitgand, Ealan Henis, Maayan Goldstein, Onn Shehory, IM 2009.
• "Automated Collaboration among Communicating, Semiautonomous Vehicles",
  Dan Chevion, Ron Sivan, Onn Shehory, Yuval Shimony, MIMS 2009.
• "RacingSnail: Improving Throughput via Slowdowns",
  Maayan Goldstain, Onn Shehory, Rachel Tzoref-Brill, Shmuel Ur. P3AD 2009.
  
• "Proceedings of ICAC 2009",
  Book editor: Onn Shehory, IEEE, 2009.
• "The future of software engineering and multi-agent systems",
  D. Weyns, H.V.D. Parunak and O. Shehory, International Journal of Agent-Oriented Software Engineering, Vol. 3 No. 4, pp.369–377. 2009.
• "Lecture notes in BIP: Agent-Mediated Electronic Commerce X and Trading Agent Design and Analysis",
  O. Shehory and W. Ketter (Eds.), Springer 2009, to appear.
• "Compiling Effectively for Cell B.E. with GCC",
  Ira Rosen, Ben Elliston, Revital Eres, Alan Modra, Dorit Nuzman, Ulrich Weigand, Ayal Zaks, and David Edelsohn, CPC 2009, January 7-9, 2009, Zurich, Switzerland.
• "Outer-Loop Vectorization - Revisited for Short SIMD Architectures",
  Dorit Nuzman and Ayal Zaks, PACT 2008, October 25-29, 2008, Toronto, Canada.
  (Presentation)
• "Detecting Change in Program Behavior for Adaptive Optimization",
  N. Peleg and B. Mendelson, in Proc. of the 16th International Conference on Parallel Architectures and Compilation Techniques (PACT), Brasov, Romania, Sept. 2007, pp. 150159.
• "MILEPOST GCC: machine learning based research compiler",
  Grigori Fursin et al., GCC Developers' Summit, June 17-19, 2008, Ottawa, Canada.
  (Presentation)
• "Compiling for an Indirect Vector Register Architecture",
  Dorit Nuzman, Mircea Namolaru, Ayal Zaks, and Jeff H. Derby, Computing Frontiers, May 5-7, 2008, Ischia, Italy.
• "Automatic Feature Generation for Setting Compilers Heuristics",
  Hugh Leather, Elad Yom-Tov, Mircea Namolaru and Ari Freund, SMART '08 (2nd Workshop on Statistical and Machine learning approaches to ARchitectures and compilaTion ), January 27, 2008, Goteborg, Sweden.
• "Struct-reorg: current status and future perspectives",
  Olga Golovanevsky and Ayal Zaks, GCC Developers' Summit, July 18-20, 2007, Ottawa, Canada.
• "Loop-based SLP",
  Ira Rosen, Dorit Nuzman, and Ayal Zaks, GCC Developers' Summit, July 18-20, 2007, Ottawa, Canada.
• "New Algorithms for SIMD Alignment",
  Liza Fireman, Erez Petrank, and Ayal Zaks, CC 2007 (16th International Conference on Compiler Construction), March 26-30, 2007, Braga, Portugal.
  (PPT presentation)
• "Blackbox approach to selecting optimization options using budget-limited genetic algorithm",
  Y. Yaari and G. Bashkansky, Workshop on Statistical and Machine learning approaches to ARchitectures and compilaTion 2007 (SMART'07), within HiPEAC 2007 Conference, Ghent, Belgium , January 28, 2007.
• "Aggressive Function Inlining with Global Code Reordering",
  O. Boehm, D. Citron, G. Haber, M. Klausner, and R. Levin, IBM Research Report number H-0247, November, 2006.
• "Overlapping Memory Operations with Circuit Evaluation in Reconfigurable Computing",
  Y. Ben-Asher, D.Citorn and G. Haber, to be published in a Special Issue of the International Journal of Embedded Systems (IJES).
• "Understanding Performance of Multi-Core Systems using Trace-based Visualization",
  P. F. Sweeney, M. Haswirth, A. Diwan, M. Biberstein, and Y. Harel, First Workshop on Software Tools for Multi-Core Systems (STMCS), 2006.
• "Matrix flattening and transposing in GCC",
  Razya Ladelsky, GCC Developers' Summit, June 28-30, 2006, Ottawa, Canada.
  (PPT presentation)
• "Autovectorization in GCC - two years later",
  Dorit Nuzman and Ayal Zaks, GCC Developers' Summit, June 28-30, 2006, Ottawa, Canada.
  (PPT presentation)
• "Devirtualization in GCC",
  Mircea Namolaru, GCC Developers' Summit, June 28-30, 2006, Ottawa, Canada.
  (PPT presentation)
• "Auto-Vectorization of Interleaved Data for SIMD",
  Dorit Nuzman, Ira Rosen, and Ayal Zaks, PLDI, June 12-14, 2006, Ottawa, Canada, 132-143. (PPT presentation)
• "Exploiting the AltiVec Unit for Commercial Applications",
  Daniel Citron, Hiroshi Inoue, Takao Moriyama, Motohiro Kawahito, Hideaki Komatsu, and Toshio Nakatani, CAECW-9 (9th workshop on Computer Architecture Evaluation using Commercial Workloads), Feb 12, 2006, Austin, Texas. Also presented at an IBM Academy of Technology conference, Almaden, Feb 22, 2006.
  (PPT presentation)
• "Multi-platform Auto-vectorization",
  Dorit Nuzman and Richard Henderson, CGO-4 (The 4th Annual International Symposium on Code Generation and Optimization), March 26-29, 2006, Manhattan, New York, 281-294.
• "Computing the minimum DNF representation of Boolean functions defined by intervals",
  Baruch Schieber, Danny Geist and Ayal Zaks, Discrete Applied Mathematics, Volume 149, Issues 1-3, 1 August 2005, Pages 154-173. See also IBM Technical Report RC23335 (W0409-058) September 10, 2004.
• "Auto-Vectorization of Interleaved Data for SIMD",
  Dorit Nuzman, Ira Rosen and Ayal Zaks, IBM Research Report H-0235, 2005.
• "Contributions to the GNU Compiler Collection GCC",
  David Edelsohn et al, IBM Systems Journal issue on Open Source, volume 44, number 2 May 2005, pp 259-278.
• "Interprocedural Constant Propagation and Method Versioning in GCC",
  Razya Ladelsky and Mircea Namolaru, The 2005 GCC Developers Summit (http://www.gccsummit.org/2005/), pp 133-143.
• "Cache Aware Data Layout Reorganization Optimization in GCC",
  Mostafa Hagog and Caroline Tice, The 2005 GCC Developers Summit (http://www.gccsummit.org/2005/), pp 69-92.
• "Instrumenting Annotated Programs",
  M. Biberstein, V. Sreedhar, B. Mendelson, D. Citron, and A. Giammaria, First ACM/USENIX Conference on Virtual Execution Environments (VEE'05).

COQT publications full list.