RATCOP: Relational analysis tool for concurrent programs

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

doi:10.1007/978-3-319-70389-3_18

RATCOP: Relational analysis tool for concurrent programs

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

^*Corresponding author for this work

School of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

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 language	English
Title of host publication	Hardware and Software
Subtitle of host publication	Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Proceedings
Editors	Rachel Tzoref-Brill, Ofer Strichman
Publisher	Springer Verlag
Pages	229-233
Number of pages	5
ISBN (Print)	9783319703886
DOIs	https://doi.org/10.1007/978-3-319-70389-3_18
State	Published - 2017
Event	13th International Haifa Verification Conference, HVC 2017 - Haifa, Israel Duration: 13 Nov 2017 → 15 Nov 2017

Publication series

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

Conference

Conference	13th International Haifa Verification Conference, HVC 2017
Country/Territory	Israel
City	Haifa
Period	13/11/17 → 15/11/17

Access to Document

10.1007/978-3-319-70389-3_18

Cite this

Mukherjee, S., Padon, O., Shoham, S., D’Souza, D., & Rinetzky, N. (2017). RATCOP: Relational analysis tool for concurrent programs. In R. Tzoref-Brill, & O. Strichman (Eds.), Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Proceedings (pp. 229-233). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10629 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-319-70389-3_18

Mukherjee, Suvam ; Padon, Oded ; Shoham, Sharon et al. / RATCOP : Relational analysis tool for concurrent programs. Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Proceedings. editor / Rachel Tzoref-Brill ; Ofer Strichman. Springer Verlag, 2017. pp. 229-233 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{bf1afdf08dcf4e6591ae71e5e2926bfc,

title = "RATCOP: Relational analysis tool for concurrent programs",

abstract = "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.",

author = "Suvam Mukherjee and Oded Padon and Sharon Shoham and Deepak D{\textquoteright}Souza and Noam Rinetzky",

note = "Publisher Copyright: {\textcopyright} Springer International Publishing AG 2017.; null ; Conference date: 13-11-2017 Through 15-11-2017",

year = "2017",

doi = "10.1007/978-3-319-70389-3_18",

language = "אנגלית",

isbn = "9783319703886",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "229--233",

editor = "Rachel Tzoref-Brill and Ofer Strichman",

booktitle = "Hardware and Software",

}

Mukherjee, S, Padon, O, Shoham, S, D’Souza, D & Rinetzky, N 2017, RATCOP: Relational analysis tool for concurrent programs. in R Tzoref-Brill & O Strichman (eds), Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10629 LNCS, Springer Verlag, pp. 229-233, 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, 13/11/17. https://doi.org/10.1007/978-3-319-70389-3_18

RATCOP : Relational analysis tool for concurrent programs. / Mukherjee, Suvam; Padon, Oded; Shoham, Sharon et al.

Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Proceedings. ed. / Rachel Tzoref-Brill; Ofer Strichman. Springer Verlag, 2017. p. 229-233 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10629 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - RATCOP

AU - Mukherjee, Suvam

AU - Padon, Oded

AU - Shoham, Sharon

AU - D’Souza, Deepak

AU - Rinetzky, Noam

PY - 2017

Y1 - 2017

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85034605043&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-70389-3_18

DO - 10.1007/978-3-319-70389-3_18

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:85034605043

SN - 9783319703886

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 229

EP - 233

BT - Hardware and Software

A2 - Tzoref-Brill, Rachel

A2 - Strichman, Ofer

PB - Springer Verlag

Y2 - 13 November 2017 through 15 November 2017

ER -

Mukherjee S, Padon O, Shoham S, D’Souza D, Rinetzky N. RATCOP: Relational analysis tool for concurrent programs. In Tzoref-Brill R, Strichman O, editors, Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Proceedings. Springer Verlag. 2017. p. 229-233. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-70389-3_18

RATCOP: Relational analysis tool for concurrent programs

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this