Write a Blog >>
Mon 10 Oct 2022 14:30 - 14:45 at Room 129 - Session 3

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 Oct

Displayed time zone: Eastern Time (US & Canada) change

13:30 - 15:00
13:30
45m
Talk
Invited talk: "Virtual threads: scalable, harmonious concurrency"
[Workshop] JPF '22
14:15
15m
Talk
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
15m
Talk
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
15m
Talk
Gradle support for Symbolic PathFinder
[Workshop] JPF '22
Gaurang Kudale University of Pune