https://nikitakoval.org/blog/algorithms-in-kotlin-coroutines 2018-01-23T00:00:00+01:00 https://nikitakoval.org/blog/time-machine-for-java 2018-02-16T00:00:00+01:00 https://nikitakoval.org/ https://nikitakoval.org/projects/ https://nikitakoval.org/publications/ https://nikitakoval.org/talks/ https://nikitakoval.org/workshop/ https://nikitakoval.org/presentations/dl_check_jeeconf_2017.pdf 2025-09-11T23:05:16+02:00 https://nikitakoval.org/presentations/hashtables_jbreak_2018.pdf 2025-09-11T23:05:16+02:00 https://nikitakoval.org/presentations/htm_java_jpoint_2018.pdf 2025-09-11T23:05:16+02:00 https://nikitakoval.org/presentations/hydra_2019_lincheck.pdf 2025-09-11T23:05:16+02:00 https://nikitakoval.org/presentations/hydra_2020_sqs.pdf 2025-09-11T23:05:16+02:00 https://nikitakoval.org/presentations/joker_2018_channels.pdf 2025-09-11T23:05:16+02:00 https://nikitakoval.org/presentations/joker_2019_lincheck.pdf 2025-09-11T23:05:16+02:00 https://nikitakoval.org/presentations/jpoint_2019_channels.pdf 2025-09-11T23:05:16+02:00 https://nikitakoval.org/presentations/lin_check_joker_2017.pdf 2025-09-11T23:05:16+02:00 https://nikitakoval.org/presentations/ppopp_2022_smq.pdf 2025-09-11T23:05:16+02:00 https://nikitakoval.org/publications/cav23-lincheck.pdf 2025-09-11T23:05:16+02:00 https://nikitakoval.org/publications/ecoop24-concurrency-bugs.pdf 2025-09-11T23:05:16+02:00 https://nikitakoval.org/publications/ecoop24-lincheck-plugin.pdf 2025-09-11T23:05:16+02:00 https://nikitakoval.org/publications/europar19-channels.pdf 2025-09-11T23:05:16+02:00 https://nikitakoval.org/publications/opodis19-dsu.pdf 2025-09-11T23:05:16+02:00 https://nikitakoval.org/publications/pldi23-cqs.pdf 2025-09-11T23:05:16+02:00 https://nikitakoval.org/publications/ppopp19-channels.pdf 2025-09-11T23:05:16+02:00 https://nikitakoval.org/publications/ppopp20-lincheck.pdf 2025-09-11T23:05:16+02:00 https://nikitakoval.org/publications/ppopp20-queues.pdf 2025-09-11T23:05:16+02:00 https://nikitakoval.org/publications/ppopp22-smq.pdf 2025-09-11T23:05:16+02:00 https://nikitakoval.org/publications/ppopp23-channels.pdf 2025-09-11T23:05:16+02:00 https://nikitakoval.org/publications/ppopp23-lprq.pdf 2025-09-11T23:05:16+02:00 https://nikitakoval.org/publications/ppopp24-bounded-queues.pdf 2025-09-11T23:05:16+02:00 https://nikitakoval.org/publications/spaa19-relaxed-schedulers.pdf 2025-09-11T23:05:16+02:00 https://nikitakoval.org/publications/spaa21-dynamic-connectivity.pdf 2025-09-11T23:05:16+02:00