Discovering New L-Function Relations Using Algebraic Sieving. - Hadrien Barral; Éric Brier; Rémi Géraud-Stewart; Arthur Léonard; David Naccache; Quentin Vermande; Samuel Vivien (IACR Cryptol. ePrint Arch., 2021)

Parallel integer multiplication. - Samuel Vivien (PDP, 2022)

PureCake: A Verified Compiler for a Lazy Functional Language. - Hrutvik Kanabar; Samuel Vivien; Oskar Abrahamsson; Magnus O. Myreen; Michael Norrish; Johannes Åman Pohjola; Riccardo Zanetti (Proc. ACM Program. Lang., 2023)