ISSTA/ECOOP 2024 (series) / CAKC 2024 (series) /
CAKC 2024 Program
This is the CAKC 2024 program - see the full program for ISSTA/ECOOP 2024 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 16 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 16 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:00 - 08:30 | |||
10:00 - 10:30 | |||
12:00 - 13:30 | |||
15:00 - 15:30 | |||
Tue 17 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 17 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:30 - 09:00 | |||
10:00 - 10:30 | |||
12:00 - 13:30 | |||
15:00 - 15:30 | |||
18:00 - 20:00 | |||
Wed 18 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 18 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:00 - 08:30 | |||
10:00 - 10:30 | |||
10:30 - 11:50 | |||
10:30 15mTalk | Coroutines Scheduler CAKC Nikita Koval JetBrains | ||
10:45 40mTalk | Fast and Scalable Communication Channels CAKC Nikita Koval JetBrains Link to publication | ||
11:25 25mTalk | CQS: A Formally-Verified Framework for Fair and Abortable Synchronization Primitives CAKC Nikita Koval JetBrains Link to publication | ||
12:00 - 13:30 | |||
12:00 - 13:30 | Diversity and Inclusion LunchSocial Events at EI 1 Petritsch https://conf.researchr.org/track/issta-ecoop-2024/issta-ecoop-2024-diversity | ||
15:00 - 15:30 | |||
15:30 - 16:50 | |||
15:30 80mTalk | Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM CAKC Nikita Koval JetBrains | ||
17:45 - 23:00 | BanquetSocial Events at Fuhrgassl-Huber We will take buses from the conference venue to go to the banquet. | ||
Thu 19 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 19 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:30 - 09:00 | |||
10:00 - 10:30 | |||
12:00 - 13:30 | |||
15:00 - 15:30 | |||
18:00 - 20:00 | |||
Fri 20 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Fri 20 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:30 - 09:00 | |||
10:00 - 10:30 | |||
12:00 - 13:30 | |||
15:00 - 15:30 | |||