IBM Research and BM Haifa Research Lab Overview

IBM Haifa Research Lab

IBM Research & Haifa Research Lab Overview

David Bernstein
Program Manager of CEE Collaboration
December 7, 2012

2012 IBM Corporation

IBM: 100 Years of Innovations that Matter
Highlights of IBM Research

1944: 1948: 1956: 1957: 1964: 1966: 1967: 1970: 1971:
Mark 1 SSEC RAMAC FORTRAN System/360 One-Device Fractals Relational Speech
Memory Cell Database Recognition

Nobel Prizes:
1973: 1979: 1980: 1986: 1987: 1990: 1994: 1993: RS/6000 SP
Winchester Disk Thin Film RISC Scanning High Temperature Chemically SIGe 1996,97: Deep Blue
Recording Tunneling Superconductivity Amplified
Heads Microscope Photoresists

2004: 2006: 2008: 2010:
1997: 1998: 1998: Watson
Copper Silicon-on-Insulator Microdrive 2002: Blue Gene 5-stage Carbon World’s First Petaflop
Interconnect Millipede The fastest Nanotube Ring Supercomputer
Wiring supercomputer Oscillator
in the world

IBM Research – Haifa © 2012 IBM Corporation

Evolution of IBM Research

Collaboration for a
Smarter
Planet
Integrated
Solutions

Services
Research Agenda

Software

Hardware

1970s 1980s 1990s 2000s 2010s

IBM Research – Haifa © 2012 IBM Corporation

IBM Research - ~3k IBMers

Dublin China
Zurich
Almaden Watson Haifa
Tokyo Highly Innovative
Austin India 50% of external honors
Kenya 46% of IBM Fellows
25% of all patents filed
Brazil
26% of new academy members
Melbourne
Widely Recognized
5 Nobel Laureates
14 National Medals
Largest lab outside of the US 6 Turing Awards
84 Members, National Academies
14 Inductees, National Inventors
Hall of Fame

4 IBM Research – Haifa © 2012 IBM Corporation


• IBM’s largest Research facility outside USA
• Spans many IBM Research strategy areas:

Storage, Verification, Systems – Cloud Computing, Information
Management, Collaboration, Event Processing, Optimization,
Machine Learning, Distributed Middleware, Software development,
Services Science, Healthcare Information, Mobile Technologies

• Focus on technology leadership
• Innovative breakthroughs
• IP assets and patents
• Scientific publications
• Industry standards
• Practice innovation that matters
• Focus on solving customer challenges
• Bridge academia, innovation sources and IBM
• Build an innovation pipeline through synergy with sister development labs

5 © 2012 IBM Corporation


sample projects:

Systems



Cloud Computing

Research Applications
Optimal allocation of system Reservoir – federation of
resources clouds
– energy, performance, availability – Large EU project, led by HRL

Application mobility Private clouds
Special Purpose Clouds
– Storage cloud
– Software development cloud



The Reservoir EU Project



Verification Technology

Biased random generators Test generation for coverage
– Bug detection in circuit, processor,
Formal verification system designs
– Used in every IBM chip design
Temporal logic
Formal verification of designs
and programs

Defining the IEEE standard for
Property Specification
Language
– Assertion Based Verification widely
applied using PSL and supported by
all Electronic Design vendors



Compiler Optimization

Advanced data structures Improvements of key IBM
Algorithms announcements
– DB2; Oracle, Sybase on IBM
Complexity servers
Compiler/Architecture
co-design Part of IBM offerings
Parallel/Distributed computing – AIX performance tools
Post link optimization – Cell Processor SDK



Tools for the Multicore Processors
Code Analyzer GCC compiler advanced
optimizations: auto-par
Trace Analyzer
– Analysis and visualization
– Expert system
– Part of Visual Performance Analyzer (VPA)
Trace Analyzer

Code Analyzer
– Part of Visual Performance Analyzer (VPA)

FDPR-Pro – post-link optimizer



sample projects:

Software



Distributed Computing

Distributed computing Distribution and consistency
– Group communication
services
– Virtual synchrony – WebSphere cluster
– WebSphere Front Office for
– Total order Financial Markets
– High throughput, low latency
High availability
– Messaging oriented middleware
Reliable Multicast Messaging
– WebSphere MQ Low Latency
Messaging Product
– Reuters RMDS



Reliable Multicast Messaging
A Research asset matures into a customer solution

Enables IBM to sign a deal with
Reuters news agency



Software Testing Analysis and Review (STAR)

Software Development Testing of concurrent
programs
– Methodologies and tools
Coverage analysis
Software Verification and – Reduce the size of the test
Testing while increasing its quality

Usage of modeling for early
detection of defects



Social & Web 2.0 Technologies

Social Network Analysis Social Networks & Discovery
– Aggregating and analyzing
Relationship mining relationships across social media
– Support search,
Recommender Systems recommendations, expertise
location, reputation, …

Social Travel
– Adding social and aggregation
features to travel applications
– Work with IBM Travel on a global
system

Experience Organizer
– Augmenting human memory



Information Retrieval

Information retrieval Enterprise & Desktop search
– IBM WebSphere Portal search engine
Text analysis – Semantic search in e-mails

Text mining Faceted search and BI
– eDiscovery Analyzer
Classification
– Cognos Search

Social search
– Lotus connections

IBM Jeopardy Challenge
Customer profiling
– For mobile providers

Multimedia Search
– Audio / Visual search.
SAPIR EU project


IBM Jeopardy Challenge



sample projects:

Services Science



Optimization

Empty container logistics
Large scale linear and integer – Two of the worlds largest
programming container shipping companies
Queuing models Optimal assignments of
Modeling & simulation employees to jobs
– Optimatch - used by IBM Services
Combinatorial optimization (200,000+ employee organization)
Constraint satisfaction Trucks configuration
– One of the largest truck
manufacturers in the world

Shift work optimization
– Bezeq – 144, Erfurt, Germany
Delivery Service
Airline Crew Assignment
– El-Al



Machine Learning

Statistical analysis Defect prediction in silicon
wafer fabrication
Data classification
– IBM Fab: 300mm wafers

Adapt medication for AIDS
treatment
European program – EUResist



EuResist



Computer Vision

Computer vision and shape License plate recognition for
analysis traffic management
Pattern recognition – Stockholm road charging

Optical character recognition Processing of business
documents
– Seismic data
– US insurance services

Book scanning for digital
libraries
– IMPACT – EU project
– Hearst archive



Building a Smarter Planet: Smart Traffic
City of Stockholm breaks gridlock with a smart road use
management system
What’s smart?

• New, Dynamic Business Model
• Congestion Charging
• Real-time traffic prediction
• Technology to optically recognize
cars in milliseconds
• Real-time congestion tolling

Smarter Business Outcomes
• 25% Reduction in Traffic
Fact: Cost of congestion in U.S. • 40,000 more citizens on public
transportation system nears $200 transportation
billion each year • Less noise pollution and lower
carbon emissions


Speech

Spoken Term Detection Text to speech
Speaker identification and – IBM Embedded ViaVoice
segmentation
– Honda and other automotive
Speech synthesis customers

Voice morphing
Voice and Video Search
– SAPIR - EU Project
– HERMES - EU Project



sample activities:

Academia


Multi-Faceted Collaboration with Academia

• Joint research activities, aiming (mostly) to increase # of joint publications
• 2012 collaboration activities supported by IBM GUP
• 3 OCRs, 3 co-funded Faculty Awards, 1 self-funded Faculty Award, 3 Ph.D. Fellowship Awards

• Joint organization of research events and seminars (ICML 2010)
• 2012 events co-sponsored by EMEA Country Projects: SYSTOR 2012, Clinical Genomics Analysis Workshop

• Joint projects under government grants (mostly through the European Program)

• Supervision of under-graduate projects

• Joint supervision of graduate students

• IBMers employed in academia as faculty adjuncts or industry consultants

• Students and Faculty members work in HRL
• Students employment, faculty members - consultants
• Internships and post-doctoral positions
• 4 non-Israeli interns in summer 2011 (3 great minders and one PhD student from Edinburgh)
• Students working in IBM premise, funded by the universities

IBM Research – Haifa URLEF, Frankfurt, May 15-16, 2012 IBM Confidential © 2012 IBM Corporation

IBM Research – Haifa: Seminars and Conferences
2011 Seminars
– SYSTOR 2011 - The 4th Annual International Systems and Storage
(May 30 – June 1, 2011)
– Clinical Genomic Analysis Workshop (June 2, 2011)
– Machine Learning Seminar (June 12, 2011)
– Parallel and Distributed Systems Workshop: Testing, Analysis, and
Debugging Workshop 2011 (July 17, 2011)
– Future of Healthcare (November 14, 2011)
– Haifa Verification Conference 2011 (December 6-8, 2011)
IBM Research Haifa Leadership Seminars 2012 Seminars
• Academic conferences led by HRL
– Hardware Formal Verification with RuleBase-SixthSense Edition
colleagues
• Excellent reputation in Israeli academia April 2, 2012
and industry – SYSTOR 2012 - 5th Annual International Systems and Storage
• Some turned to be international events
Conference, June 4-6, 2012
– HVC 2012 - Haifa Verification Conference 2012, November 6-8,
2012
https://www.research.ibm.com/haifa/Workshops/seminars2012.shtml


Great Minds Program in HRL
Initiated in 2010: one student from Kazakhstan/KBTU
2011 ad-hoc program
1. Evaldas Vaiciukynas, Dept. of Electrical & Control Equipment, Kaunas University of
Technology, Lithuania. PhD student under supervision of Prof. Antanas Verikas
2. Kęstutis Dalinkevičius, Faculty of Mathematics and Informatics, Vilnius University, Lithuania
3. Elena-Georgiana Copil, Technical University of Cluj-Napoca, Department of Computer Science,
Romania. Ms.C student under supervision of Prof Ioan Salomie
4. Irina Kondratyeva, Novosibirsk State Tech Univ, Russia
– 2012 integrated HRL/Zurich program
1. Janos Csorba, Hungary
2. Onder Suvak, Turkey
3. Jagoda Lazarek, Poland


Thank you


IBM Research and BM Haifa Research Lab Overview

Recommended

Recommended

More Related Content

Viewers also liked

Viewers also liked (19)

Similar to IBM Research and BM Haifa Research Lab Overview

Similar to IBM Research and BM Haifa Research Lab Overview (20)

IBM Research and BM Haifa Research Lab Overview