CAKC 2024
Mon 16 - Fri 20 September 2024
Vienna, Austria
co-located with
ISSTA/ECOOP 2024
Toggle navigation
Attending
Venue: Vienna University of Technology (TU Wien) - Campus Gusshaus
Reception: Vienna University of Technology (TU Wien) - Campus Karlsplatz
Banquet: Fuhrgassl-Huber
Program
CAKC Program
Your Program
Mon 16 Sep
Tue 17 Sep
Wed 18 Sep
Thu 19 Sep
Fri 20 Sep
Track/Call
Organization
CAKC 2024 Committees
Track Committees
Organizing Committee
Contributors
People Index
Search
Series
Sign in
Sign up
CAKC 2024 Contributors
Filter
Role Type
Contributing to
Number of Roles
Country
Search
Results
(
1
)
K
Nikita Koval
Koval, Nikita
JetBrains
Netherlands
CQS: A Formally-Verified Framework for Fair and Abortable Synchronization Primitives
Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM
Coroutines Scheduler
Fast and Scalable Communication Channels
Speaker in Organizing Committee within the CAKC-track
x
Thu 19 Dec 01:07