Vsevolod Livinskii

My name is Vsevolod Livinskii. I’m a Ph.D. student at the School of Computing at the University of Utah. I work with Prof. John Regehr.

My research focuses on compilers, particularly on random testing. My main project – YARPGen – detected more than 260 bugs in GCC, LLVM, other tools, and proprietary compilers.

CV

Download CV

Papers

• Fuzzing Loop Optimizations in Compilers for C++ and Data-Parallel Languages
  Vsevolod Livinskii, Dmitry Babokin, and John Regehr
  In Proceedings of the ACM on Programming Languages 7 PLDI, June 2023
  Video presentation | Slides

• Random Testing for C and C++ Compilers with YARPGen.
  Vsevolod Livinskii, Dmitry Babokin, and John Regehr
  In Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA) 2020, November 2020.
  Received Distinguished Paper Award
  Video presentation

Talks

• YARPGen: A Compiler Fuzzer for Loop Optimizations and Data-Parallel Languages Vsevolod Livinskii, Dmitry Babokin, and John Regehr
  LLVM Developers’ Meeting, 2022
  Video presentation | Slides

• Automatic Optimizations’ Errors Detection in C/C++ Compilers with Yet Another Random Program Generator
  Vsevolod Livinskii and Dmitry Babokin
  60th MIPT Scientific Conference, 2017

• Yet another Random Program Generator – a random test generator for optimization verification in C/C++ compilers
  Vsevolod Livinskii, Anton Mitrokhin, and Dmitry Babokin
  59th MIPT Scientific Conference, 2016

• LLVM: Advanced Vectorization Support and Drawbacks in the Presence of Explicitly Parallel Code
  Anton Mitrokhin, Vsevolod Livinskii, and Dmitry Babokin
  58th MIPT Scientific Conference, 2015

• A survey of random program generation methods for C/C++ compiler testing
  Vsevolod Livinskii, Anton Mitrokhin, and Dmitry Babokin
  58th MIPT Scientific Conference, 2015

Socials