Write a Blog >>
ASE 2022
Mon 10 - Fri 14 October 2022 Oakland Center, Michigan, United States
ASE 2022 (series) / Oakland Center, Michigan, USA /

Room information: Room 129

VenueOakland Center, Michigan, USA
Room nameRoom 129
Floor0
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 10 Oct

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

08:30 - 10:00
Session 1[Workshop] JPF '22 at Room 129
09:00
15m
Day opening
Welcome
[Workshop] JPF '22

09:15
45m
Talk
Invited talk: "Eclipse Foundation: Enabling Open, Vendor Neutral Collaboration"
[Workshop] JPF '22
John Kellerman Eclipse Foundation
10:30 - 12:00
Session 2[Workshop] JPF '22 at Room 129
10:30
15m
Talk
Checking Just Pairs of Threads for Efficient and Scalable Incremental Verification of Multithreaded Programs
[Workshop] JPF '22
Pavel Parizek Charles University, Filip Kliber
10:45
15m
Talk
Using Theia Traceviewer to Visualize JPF Traces
[Workshop] JPF '22
Johan Besseling KTH Royal Institute of Technology, Sweden, Cyrille Artho KTH Royal Institute of Technology, Sweden
11:00
60m
Tutorial
Tutorial: Java PathFinder
[Workshop] JPF '22
Cyrille Artho KTH Royal Institute of Technology, Sweden
13:30 - 15:00
Session 3[Workshop] JPF '22 at Room 129
13:30
45m
Talk
Invited talk: "Virtual threads: scalable, harmonious concurrency"
[Workshop] JPF '22
Ron Pressler
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
15:30 - 17:00
Session 4[Workshop] JPF '22 at Room 129
15:30
60m
Tutorial
Tutorial: Symbolic PathFinder
[Workshop] JPF '22
Corina S. Pasareanu Carnegie Mellon University Silicon Valley, NASA Ames Research Center
16:30
30m
Day closing
Open Discussion
[Workshop] JPF '22

Mon 10 Oct

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

Room8:00309:003010:003011:003012:003013:003014:003015:003016:0030
Room 129

[Workshop] JPF '22

Session 1

[Workshop] JPF '22

Session 2

[Workshop] JPF '22

Session 3

[Workshop] JPF '22

Session 4

Mon 10 Oct

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Room 129
ASE [Workshop] JPF
Welcome
09:00 - 09:15
ASE [Workshop] JPF
Invited talk: "Eclipse Foundation: Enabling Open, Vendor Neutral Collab ...
09:15 - 10:00
ASE [Workshop] JPF
Checking Just Pairs of Threads for Efficient and Scalable Incremental V ...
10:30 - 10:45
ASE [Workshop] JPF
Using Theia Traceviewer to Visualize JPF Traces
10:45 - 11:00
ASE [Workshop] JPF
Tutorial: Java PathFinder
11:00 - 12:00
ASE [Workshop] JPF
Invited talk: "Virtual threads: scalable, harmonious concurrency"
13:30 - 14:15
ASE [Workshop] JPF
jpf-logic: a Framework for Checking Temporal Logic Properties of Java Code
14:15 - 14:30
ASE [Workshop] JPF
Towards Wider Support for Java String Functions
14:30 - 14:45
ASE [Workshop] JPF
Gradle support for Symbolic PathFinder
14:45 - 15:00
ASE [Workshop] JPF
Tutorial: Symbolic PathFinder
15:30 - 16:30
ASE [Workshop] JPF
Open Discussion
16:30 - 17:00