Follow
Samuel Vivien
Samuel Vivien
ENS - PSL
Verified email at ens.psl.eu
Title
Cited by
Cited by
Year
PureCake: A Verified Compiler for a Lazy Functional Language
H Kanabar, S Vivien, O Abrahamsson, MO Myreen, M Norrish, JÅ Pohjola, ...
Proceedings of the ACM on Programming Languages 7 (PLDI), 952-976, 2023
42023
Discovering New -Function Relations Using Algebraic Sieving
H Barral, É Brier, R Géraud-Stewart, A Léonard, D Naccache, ...
Cryptology ePrint Archive, 2021
32021
Parallel integer multiplication
S Vivien
2022 30th Euromicro International Conference on Parallel, Distributed and …, 2022
1*2022
Automated Discovery of New -Function Relations
H Barral, R Géraud-Stewart, A Léonard, D Naccache, Q Vermande, ...
arXiv preprint arXiv:2206.03604, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–4