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
Mon 16 Sep 2024
Tue 17 Sep 2024
Wed 18 Sep 2024
Thu 19 Sep 2024
Fri 20 Sep 2024
Rooms
Aula
EI 1 Petritsch
EI 4 Reithoffer
Fuhrgassl-Huber
Kuppelsaal
Tracks
CAKC
ISSTA/ECOOP Social Events
Badges
Nothing to filter
Your Program
Nothing to filter
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 | |||