Aharon Abadi  Aharon Abadi photo       

contact information

Research Staff Member
Haifa Research Lab, Haifa, Israel



Aharon Abadi has been a research staff member at IBM Research – Haifa since 2007. He works on a wide
range of topics, including static program analysis, refactoring, program transformations, automatic code fix,
semantic search, and software verification. His work has been included in IBM products and was awarded
the IBM Research Division award (RDA) and the IBM Outstanding Innovation Award (OIA). He is the main
author of many patents and is completing his PhD the blavatnik school of computer science at Tel-Aviv
University on the topics of program analysis, refactoring, and program transformations.Aharon's publications
relate to computer science and software engineering. His recent work on fine slicing and computationextraction
received the European Association of Software Science and Technology (EASST) Award as Best
Software Science paper presented at the European Joint Conferences on Theory and Practice of Software
ETAPS 2012.
Currently Aharon work in Mobile Research group at IBM, where he focuses on research in mobile software
engineering, mobile development tools, and static analysis for mobile applications. He is the main organizer
and the PC chair of the DeMobile 2013 and 2014 workshop at FSE and MobileDeLi 2013 and 2014
workshop at SPLASH. He established new ACM sponsored mobile conference MOBILESoft 2014. The new
conference will be co-located with ICSE 2014. Aharon is one of the leaders of the steering-committee and he
is the program chair of MOBILESoft 2014.

Research Interests:

  • mobile software engineering
  • mobile development tools
  • static analysis for mobile applications.
  • Interprocedural dataflow analysis
  • Program Slicing
  • Interprocedural Program Slicing
  • The Plan Calculus
  • Abstract interpretation
  • Program transformation and refactoring
  • First Order Logic
  • Many-Sorted Logic
  • The Classical Decision Problem