Dynamic and static analysis of multithreaded java programs

Tracking down sources of errors in multithreaded Java applications via static analysis is a laborious task. The team has identified a library of code patterns that may lead to such errors. Overall 38 so-called anti-patterns have been studied and used in the library. A dozen of anti-patterns were implemented in a tool for code analysis. In order to overcome the limitations of static analysis for revealing more subtle bugs, a complementary dynamic analysis was developed, based on the model checking technology. 

Along with these efforts focusing on multithreading, the team also specializes in measuring the quality of source code and its design. Poor coding and design invariably leads to software that is difficult to understand and to maintain, so it is important to assess the quality of the design and source code. This allows for an early detection of defects, such as non-compliance with well-established design principles and coding conventions.

Teams

Recent news

  • La Ville de Montréal lauréate d’un OCTAS 2019 pour un projet réalisé avec le CRIM
    06/06/2019

    Lors de la Grande soirée des OCTAS qui s'est tenue le 5 juin dernier, la Ville de Montréal a remporté l’OCTAS dans la catégorie Ville et organisme parapublic pour un projet réalisé en collaboration avec le CRIM.

    +

Upcoming event

  • Assemblée générale des membres du CRIM - 19 juin 2019
    19 June 2019 0:00
    CRIM (405, avenue Ogilvy, bureau 101, Montréal)
    Les membres du CRIM sont convoqués à l'Assemblée générale annuelle qui se tiendra le 19 juin 2019, dans les locaux du CRIM. Ne manquez pas cette importante réunion et à cette occasion de vous tenir au fait de plusieurs dossiers qui vous concernent.
    +

Recent Publications

  • Forage de données géospatiales, quelques applications

    +
  • Des technologies perturbatrices pour de futures applications du bâtiment intelligent utilisant AI

    +