Vitaly Aksenov


Assistant Professor [cv] [github]
Affiliations: ITMO University
Former Affiliations: PhD Position, INRIA Paris; Post-doc, IST Austria.
Phone: +44-7513-607-629 +7-951-662-33-99
E-mail: aksenov [@] itmo [.] ru
Research interests: Parallel algorithms, Concurrent data structures, Graph algorithms, Bioinformatics and Combinatorics

Publications

2024
R. Galiev, M. Spear, V. Aksenov. The Next 700 Benchmarking Frameworks for Concurrent Data Structures. ApPLIED Workshop, PODC 2024.
I. Kokorin, V. Yudov, V. Aksenov, D. Alistarh. Wait-free trees supporting asymptotically efficient range queries. IPDPS 2024.
E. Feder, A. Paramonov, P. Mavrin, I. Salem, S. Schmid, V. Aksenov. Toward Self-Adjusting k-ary Search Tree Networks. IPDPS 2024.
Z. Iakovlev, N. Golikov, A. Chulkov, V. Lukianov, N. Zinoviev, D. Ivanov, V. Aksenov. Trigram-Based Persistent IDE indices with Quick Startup. IDE Workshop, ICSE 2024.
V. Aksenov, N. Koval, P. Kuznetsov, A. Paramonov. Memory Bounds for Concurrent Bounded Queues. PPoPP 2024.
M. Khalaji, T. Brown, K. Daudjee, V. Aksenov. Practical Hardware Transactional vEB Trees. PPoPP 2024.

2023
V. Aksenov, M. Anoprenko, A. Fedorov, M. Spear. Brief Announcement: BatchBoost: Universal Batching for Concurrent Data Structures. DISC 2023. [pdf]
V. Aksenov, I. Kokorin, A. Martsenyuk. Parallel-batched Interpolation Search Tree. PaCT 2023. [pdf]
V. Aksenov, A. Paramonov, I. Salem, S. Schmid. Self-Adjusting Linear Networks with Ladder Demand Graph. SIROCCO 2023. [pdf]
I. Kokorin, A. Fedorov, T. Brown, V. Aksenov. Unexpected Scaling in Path Copying Trees (Poster). PPoPP 2023. [pdf] [poster]

2022
E. Feder, I. Rathod, P. Shyamsukha, R. Sama, V. Aksenov, I. Salem, S. Schmid. Lazy Self-Adjusting Bounded-Degree Networks for the Matching Model. INFOCOM 2022. [pdf]

2021
V. Aksenov, V. Gramoli, P. Kuznetsov, D. Shang, S. Ravi. Optimal Concurrency for List-Based Sets. PaCT 2021. [pdf]
V. Aksenov, O. Ben-Baruch, D. Hendler, I. Kokorin, M. Rusanovsky. Execution of NVRAM Programs with Persistent Stack. PaCT 2021. [pdf]
E. Feder, I. Rathod, P. Shyamsukha, R. Sama, V. Aksenov, I. Salem, S. Schmid. Brief-Announcement: Lazy Self-Adjusting Bounded-Degree Networks for the Matching Model. SPAA 2021. [pdf]
A. Ramezani-Kebrya, F. Faghri, I. Markov, V. Aksenov, D. Alistarh, D. M. Roy. NUQSGD: Provably Communication-efficient Data-parallel SGD via Nonuniform Quantization. JMLR. [html]

2020
V. Aksenov, D. Alistarh, J. Korhonen. Scalable Belief Propagationvia Relaxed Scheduling. NeurIPS 2020. [pdf]
V. Aksenov, D. Alistarh, A. Drozdova, A. Mohtashami. The Splay-List: A Distribution-Adaptive Concurrent Skip-List. DISC 2020. [pdf]
N. Koval, V. Aksenov. Restricted memory-friendly lock-free bounded queues (Poster). PPoPP 2020. [pdf] [poster]

2019
S. Aganezov, I. Zban, V. Aksenov, N. Alexeev, M. C. Schatz. Recovering Rearranged Cancer Chromosomes from Karyotype Graphs. RECOMB-CG 2019. [pdf]
U. Acar, V. Aksenov, A. Chargueraud, M. Rainey. Provably and Practically Efficient Granularity Control. PPoPP 2019. [pdf]

2018
V. Aksenov, P. Kuznetsov, A. Shalyto. Parallel Combining: Benefits of Explicit Synchronization OPODIS 2018. [pdf] [slides]
V. Aksenov, D. Alistarh, P. Kuznetsov. Brief-Announcement: Performance Prediction for Coarse-Grained Locking. PODC 2018. [pdf] [slides]
V. Aksenov, P. Kuznetsov, A. Shalyto. On Helping and Stacks. NETYS 2018. [pdf] [slides]
U. Acar, V. Aksenov, A. Chargueraud, M. Rainey. Performance Challenges in Modular Parallel Programs (Poster). PPoPP 2018. [pdf] [poster]

2017
V. Aksenov, V. Gramoli, P. Kuznetsov, A. Malova, S. Ravi. A Concurrency-Optimal Binary Search Tree. Euro-Par 2017. [pdf] [slides]
U. Acar, V. Aksenov, S. Westrick. Brief-Announcement: Parallel Dynamic Tree Contraction via Self-Adjusting Computation. SPAA 2017. [pdf] [full]

2016
V. Aksenov, K. Kokhas. Calculation of Pfaffians by a Chip Removal. Journal of Mathematical Sciences, 2016. [pdf]

2015
V. Aksenov, K. Kokhas. Chip removal. Urban Renewal Revisited. Journal of Mathematical Sciences, 2015. [pdf]

2014
V. Aksenov, K. Kokhas. Domino Tilings and Determinants. Journal of Mathematical Sciences, 2014. [pdf]

Students and their theses

Year Student Type Diploma Supervision

2023
Lev Dovzhik Masters "Acceleration of writes to hard drives with NVRAM" [pdf] Michael Spear
Pavel Martynov Bachelors "Investigating Algorithms For Constructing 3-Bounded Demand-Aware Computer Networks" [pdf] Stefan Schmid
Alexander Slastin Bachelors "Generic self-adjusting tree approach" [pdf] Dan Alistarh
Fedor Nadutkin Bachelors "Self-adjusting Networks based on SkipList" [pdf, russian] [draft]
Ravil Galiev Bachelors "Benchmark Framework with Skewed Workloads" [pdf, russian] [draft]
Nikolai Korobeinikov Bachelors "NUMA-aware lock for Java Lightweight Threads" [pdf, russian] [draft] Anton Malakhov
Denis Vorkozhokov Bachelors "Hybrid work distribution for parallel programs" [pdf, russian] [draft] Anton Malakhov
Artem Davydov Bachelors "HashMaps using SeqLocks" [pdf, russian] Anton Malakhov
Evgeniy Chernatskiy Bachelors "Verification of consensus algorithm in VK and testing the code on Go using TLA+ states" [pdf, russian] VK Collaboration
Nikita Sinyachenko Bachelors "Verification of consensus algorithm in VK on different levels of abstraction using TLA+" [pdf, russian] VK Collaboration
Idris Yandarov Bachelors "Verification of consensus algorithm in VK with the reconfiguration using TLA+" VK Collaboration

2022
Evgeniy Feder Masters "Dynamic and Static Networks Based on Static Optimality" [pdf] Stefan Schmid
Ilya Kokorin Masters "Development of Concurrent Hierachical Data Structures with Efficient Range Queries" [pdf] Dan Alistarh
Anton Paramonov Bachelors "Self-Adjusting Linear Networks with Ladder Demand Graph" [pdf] Stefan Schmid
Andrew Tsutsiev Bachelors "Finding Optimal Implementations of Concurrent Data Structures" [pdf] Petr Kuznetsov

2021
Alexandra Drozdova Bachelors "Self-adjusting Concurrent Data Structures" [pdf] Dan Alistarh
Oleg Fafurin Bachelors "Development of a Streaming Algorithm for the Decomposition of the Graph Metrics to Tree Metrics" [pdf, russian] Mikhail Kapralov
Roman Smirnov Bachelors "Development of Memory-friendly Concurrent Data Structures" [pdf, russian] Petr Kuznetsov
Daniil Bolotov Bachelors "Theoretical Analysis of the Performance of Concurrent Data Structures" [pdf, russian] Petr Kuznetsov
Alena Martsenyuk, MIPT Bachelors "Parallel Batched Interpolation Search Tree" [pdf, russian]
Vitalii Krasnov, MIPT Bachelors "Parallel Batched Self-adjusting Data Structures" [pdf, russian]
Ildar Zinatulin, MIPT Bachelors "Parallel Batched Persistent Binary Search Trees" [pdf, russian]

2020
Evgeny Feder Bachelors "Self-adjusting Networks in Matching Model" [pdf] Stefan Schmid and Iosif Salem
Ilya Kokorin Bachelors "The research of basic algorithms and data structures for Non-volatile memory" [pdf, russian] Danny Hendler, Ohad Ben-Baruch and Matan Rusanovsky

ICPC trainings under WCPS brand

2017
Long session during autumn in Paris. http://neerc.ifmo.ru/trains/paris
1-week session in ETH Zurich. http://neerc.ifmo.ru/trains/zurich

2016
1-week session in Toulouse. http://neerc.ifmo.ru/trains/toulouse/2016

2015
1-week session in Lyon. http://perso.ens-lyon.fr/eric.thierry/WCPS2015

2014
1-week session in Harbin. http://neerc.ifmo.ru/trains/harbin

Trainings for Mathematical Competitions

Season 2019-2020
Old trainings

Highlited Professional Activities

2017-...
Program Committee of The School on Practice and Theory of Distributed Computing (http://sptdc.org)

2022
Program Committee of OPODIS 2022

2021
Program Committee of ICDCS 2021
External Program Committee of PPoPP 2022

2019-2021
Program Committee of Hydra (An Industrial Distributed Computing Confrerence, http://hydraconf.com)

2017-...
Co-head of Jury of The Bioinformatics Contest (http://bioinf.me/contest)

2016
Host Scientific Committee of IOI in Kazan

2012-...
Jury of NERC, qualification for ICPC World Finals (http://neerc.ifmo.ru)

Software

ICPC Live Overlayer, a tool that draws overlays for broadcast of programming contests (Examples on youtube)
Parallel Container Template Library for automatic granularity control (with M. Rainey and A. Chargueraud)