IBM Research
  
IBM Research
Programming Languages & Software Engineering
Languages, Compilers & Optimization Technology Projects

Our ongoing research in programming languages includes various kinds of tool and compiler support for Java(TM), C++, and XML. We have developed compiler, memory management, and advanced optimization technology for many languages, plus a variety of programming support environment and program visualization tools.

Much of our research in the areas of programming languages and software engineering includes a particular focus on the problems of engineering, debugging, understanding, and evolving software that must work in distributed or heterogeneous settings, and many of the projects described on this page include support for distributed and/or heterogeneous systems.

  Concern Manipulation Environment (CME)
  Compiler Technology for Pacific Blue
  Distributed Application Partitioning (DAP)
  FDPR
  Gnosis
  Jikes Research Virtual Machine: An Open Source VM
  Java Just-in-time Compiler
  Jax: An Application Extractor for Java(TM)
  Jikes: IBM's Open Source Java(TM) Compiler
  Jinsight: Visualizing the execution of Java(TM) programs
  Mastery: Program Understanding via Logical Model Recovery
  Metronome - Real-Time Garbage Collection
  Ninja: Numerically Intensive Java(TM)
  Ocelot - Next Generation Object-Oriented Programming
  Performance Programming
  Program Analysis and Transformation
  Program Visualizer (PV)
  Recycler - Multiprocessor Garbage Collection
  Runtime Subsystems for Advanced Memory Management
  XAOS
  Xeena: An Editing Environment for XML Documents Derived from Valid DTDs
  XJ
  XML(Watson)
  XML
  XML Authoring Tool: FREEDOM
   
Software Engineering Projects

Our research in software engineering spans much of the field. Active areas of research include software engineering environments; software analysis, verification, and testing; metrics and evaluation; modularization, decomposition, and composition mechanisms, and integration techologies.

  Advanced Enterprise Middleware Group
  Asset Locator
  Canvas - Component Annotation, Verification, and Stuff
  Center for Software Engineering
    Orthogonal Defect Classification
    Software Data Analysis
    Testing
  ConTest
  Design Patterns
  Enterprise Builder
  Genesys: An Automatic Test-Program Generator for Processors
  Java Static Analysis
  LeakBot
  MessageCentral
  Multi-Dimensional Separation of Concerns using Hyperspaces
  Numerical Analysis Objects (NAO)
  RuleBase
  Stellation - Developing Collaborative Programming Environments
  Subject Oriented Programming Tools and Methodology
   
   
   Privacy Terms of use Contact IBM www.research Research Sites Page Contact