Vladislav Shpilevoy
A senior network programmer in Ubisoft and a developer in Tarantool DBMS. Interested in large scale networking, system programming, game development, databases, distributed systems, low-level optimizations of extremely loaded code, algorithms and data structures, cross-platform development in C and C++, formal models’ verification with TLA+. Other talks: https://slides.com/gerold103.
Links
Events
| Title | Day | Room | Track | Start | End |
|---|---|---|---|---|---|
| Fair threaded task scheduler verified in TLA+ | Saturday | K.1.105 (La Fontaine) | Main Track - K Building | 17:00 | 17:50 |