ePrints@IIScePrints@IISc Home | About | Browse | Latest Additions | Advanced Search | Contact | Help

RATCOP: Relational Analysis Tool for Concurrent Programs

Mukherjee, Suvam and Padon, Oded and Shoham, Sharon and D’Souza, Deepak and Rinetzky, Noam (2017) RATCOP: Relational Analysis Tool for Concurrent Programs. In: 13th International Haifa Verification Conference, HVC 2017, 13 November 2017 - 15 November 2017, Haifa, pp. 229-233.

Full text not available from this repository. (Request a copy)
Official URL: https://doi.org/10.1007/978-3-319-70389-3_18


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.

Item Type: Conference Paper
Series.: Lecture Notes in Computer Science
Publisher: Springer Verlag
Additional Information: The Copyright of this article belongs to the Springer Verlag
Keywords: Software testing; Static analysis; Verification; Concurrent program; Multi-threaded Java programs; Program points; Relational analysis; Shared variables; Computer software
Department/Centre: Division of Electrical Sciences > Computer Science & Automation
Date Deposited: 26 May 2022 11:11
Last Modified: 26 May 2022 11:11
URI: https://eprints.iisc.ac.in/id/eprint/72609

Actions (login required)

View Item View Item