Talks

Checking concurrent data structures correctness

October 21, 14:30
Room IV

Writing multithreaded programs is considered problematic by many developers, however testing these programs is not easier. In this talk, Lin-Check tool is presented – a new instrument for checking linearizability of multithreaded algorithms and data structures written in Java. The first part of the talk is dedicated to various strategies and techniques to check for linearizability. Then we discuss the API of the tool and its ability to test your data structures. The talk is aimed at those who are interested in concurrent programming, understanding of Java is useful.

Nikita Koval

Research engineer, Devexperts

I work as a research engineer in research group dxLab at Devexperts. I am a student at ITMO University and also teach a course on concurrent programming at the same university.

Dmitry Tsitelov

Head of dxLab research group, Devexperts

Head of dxLab research group at Devexperts, LLC. The group develops perspective research projects and instrumental tools in collaboration with students from ITMO, SPbU and other universities. Main areas of interest: concurrent data structures and algorithms development and verification, performance analysis and optimization, high-load distributed systems development.