In this work, we conduct a study about SPF’s existing string support by running tests on a version of SPF with the latest string support. Base on the results, we then analyze each string method and identify the major challenges in supporting them. We categorize string API functions by type of the challenge, propose several solutions to each of the challenges, and discuss the feasibility and disadvantages of different approaches. We implement support in the case of three string methods according to the proposed solution, leaving other methods as future work.
Mon 10 OctDisplayed time zone: Eastern Time (US & Canada) change
Mon 10 Oct
Displayed time zone: Eastern Time (US & Canada) change
13:30 - 15:00 | |||
13:30 45mTalk | Invited talk: "Virtual threads: scalable, harmonious concurrency" [Workshop] JPF '22 | ||
14:15 15mTalk | jpf-logic: a Framework for Checking Temporal Logic Properties of Java Code [Workshop] JPF '22 Matt Walker York University, Canada, Parssa Khazra York University, Canada, Anto Nanah Ji York University, Canada, Hongru Wang York University, Canada, Franck van Breugel York University, Toronto | ||
14:30 15mTalk | Towards Wider Support for Java String Functions [Workshop] JPF '22 Qiuchen Yan University of Minnesota, Cyrille Artho KTH Royal Institute of Technology, Sweden, Pavel Parizek Charles University | ||
14:45 15mTalk | Gradle support for Symbolic PathFinder [Workshop] JPF '22 Gaurang Kudale University of Pune |