Back to Research

Indian Institute of Technology Madras   Indian Institute of Technology Mandi  

Project 1101 - SPARE: Safe Portable partial-Analaysis REsults for Java programs


Running from 2019 to present

SPARE: Safe Portable partial-Analaysis REsults for Java programs

Eclipse   Open J9  

Java uses a two-step process of compilation: static compilation and just-in-time (JIT) compilation. Keeping performance aspects of Java applications in mind, JIT compilers typically sacrifice the precision of program analyses for efficiency. Similarly, keeping the correctness issues in mind, the possible scheme of performing static analysis of the Java applications, ignores the analysis of libraries (available only at runtime), and thereby generates imprecise results. The overall objective of our proposal is to realize precision of dynamic analysis with the low overheads nature of static analysis. Our recently proposed PYE framework can be used to address these issues.

  • The main objective of our proposal is to implement the PYE framework in Eclipse OpenJ9.
  • The generated partial results to be sent in a secure manner and the received partial results be verified in a fast and efficient manner to establish the correctness of the received results.
  • Store the results in a way that the increase in the class-file size is minimal, while keep the overheads of storage and verification in check.
  • Extend the idea of the PYE framework to optimizations and other analyses.

Explore the product that harvests this research results  

Research team:

  • IBM Project Lead (RCL): Vijay Sundaresan, IBM
  • IBM Sponsor (RCS): Vijay Sundaresan, IBM
  • IBM Contributor (RCC): Daryl Maier, IBM


Indian Institute of Technology Madras    Indian Institute of Technology Mandi