Vitaly AksenovLecturer [cv] [github]Affiliations: City, University of London Former Affiliations: PhD Position, INRIA Paris; Post-doc, IST Austria; Assistant Professor, ITMO University. Phone: +440-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 |
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] |
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 |