Registered user since Wed 5 Dec 2018
Contributions
2024
CAKC
- Fast and Scalable Communication Channels
- Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM
- CQS: A Formally-Verified Framework for Fair and Abortable Synchronization Primitives
- Speaker in Organizing Committee within the Concurrent Algorithms in Kotlin Coroutines Tutorial-track
- Coroutines Scheduler
ISSTA/ECOOP 2024-profile
View general profile
View general profile