RATCOP: Relational analysis tool for concurrent programs

Suvam Mukherjee*, Oded Padon, Sharon Shoham, Deepak D’Souza, Noam Rinetzky

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


In this paper, we present RATCOP, a static analysis tool for efficiently computing relational invariants in race free shared-variable multi-threaded Java programs. The tool trades the standard sound-at-all-program-points guarantee for gains in efficiency. Instead, it computes sound facts for a variable only at program points where it is “relevant”. In our experiments, RATCOP was fairly precise while being fast. As a tool, RATCOP is easy-to-use, and easily extensible.

Original languageEnglish
Title of host publicationHardware and Software
Subtitle of host publicationVerification and Testing - 13th International Haifa Verification Conference, HVC 2017, Proceedings
EditorsRachel Tzoref-Brill, Ofer Strichman
PublisherSpringer Verlag
Number of pages5
ISBN (Print)9783319703886
StatePublished - 2017
Event13th International Haifa Verification Conference, HVC 2017 - Haifa, Israel
Duration: 13 Nov 201715 Nov 2017

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10629 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference13th International Haifa Verification Conference, HVC 2017


Dive into the research topics of 'RATCOP: Relational analysis tool for concurrent programs'. Together they form a unique fingerprint.

Cite this