TY - GEN
T1 - RATCOP
T2 - 13th International Haifa Verification Conference, HVC 2017
AU - Mukherjee, Suvam
AU - Padon, Oded
AU - Shoham, Sharon
AU - D’Souza, Deepak
AU - Rinetzky, Noam
N1 - Publisher Copyright:
© Springer International Publishing AG 2017.
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 -