conference paper published yes Krishnendu Chatterjee author 2E5DCA20-F248-11E8-B48F-1D18A9856A870000-0002-4561-241X Amir Goharshady author 391365CE-F248-11E8-B48F-1D18A9856A870000-0003-1702-6584 Andreas Pavlogiannis author 49704004-F248-11E8-B48F-1D18A9856A870000-0002-8943-0722 DeepakD'Souza editor KrCh department ATVA: Automated Technology for Verification and Analysis Game Theory project Quantitative Graph Games: Theory and Applications project The notion of treewidth of graphs has been exploited for faster algorithms for several problems arising in verification and program analysis. Moreover, various notions of balanced tree decompositions have been used for improved algorithms supporting dynamic updates and analysis of concurrent programs. In this work, we present a tool for constructing tree-decompositions of CFGs obtained from Java methods, which is implemented as an extension to the widely used Soot framework. The experimental results show that our implementation on real-world Java benchmarks is very efficient. Our tool also provides the first implementation for balancing tree-decompositions. In summary, we present the first tool support for exploiting treewidth in the static analysis problems on Java programs. https://research-explorer.ista.ac.at/download/949/4835/IST-2017-845-v1+1_2017_Chatterjee_JTDec.pdf application/pdfno Springer2017Pune, India eng 0302-9743 00072356780000410.1007/978-3-319-68167-2_4 1048259 - 66 https://research-explorer.ista.ac.at/record/8934 Chatterjee, Krishnendu, Amir Kafshdar Goharshady, and Andreas Pavlogiannis. “JTDec: A Tool for Tree Decompositions in Soot.” edited by Deepak D’Souza, 10482:59–66. Springer, 2017. <a href="https://doi.org/10.1007/978-3-319-68167-2_4">https://doi.org/10.1007/978-3-319-68167-2_4</a>. Chatterjee, K., Goharshady, A. K., &#38; Pavlogiannis, A. (2017). JTDec: A tool for tree decompositions in soot. In D. D’Souza (Ed.) (Vol. 10482, pp. 59–66). Presented at the ATVA: Automated Technology for Verification and Analysis, Pune, India: Springer. <a href="https://doi.org/10.1007/978-3-319-68167-2_4">https://doi.org/10.1007/978-3-319-68167-2_4</a> Chatterjee K, Goharshady AK, Pavlogiannis A. 2017. JTDec: A tool for tree decompositions in soot. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 10482, 59–66. Chatterjee, Krishnendu, et al. <i>JTDec: A Tool for Tree Decompositions in Soot</i>. Edited by Deepak D’Souza, vol. 10482, Springer, 2017, pp. 59–66, doi:<a href="https://doi.org/10.1007/978-3-319-68167-2_4">10.1007/978-3-319-68167-2_4</a>. K. Chatterjee, A.K. Goharshady, A. Pavlogiannis, in:, D. D’Souza (Ed.), Springer, 2017, pp. 59–66. Chatterjee K, Goharshady AK, Pavlogiannis A. JTDec: A tool for tree decompositions in soot. In: D’Souza D, ed. Vol 10482. Springer; 2017:59-66. doi:<a href="https://doi.org/10.1007/978-3-319-68167-2_4">10.1007/978-3-319-68167-2_4</a> K. Chatterjee, A. K. Goharshady, and A. Pavlogiannis, “JTDec: A tool for tree decompositions in soot,” presented at the ATVA: Automated Technology for Verification and Analysis, Pune, India, 2017, vol. 10482, pp. 59–66. 9492018-12-11T11:49:22Z2026-10-04T22:31:01Z