OUDIN Nehalenniæ Lilith

PhD student
Team : MoVe
Arrival date : 07/13/2019
    Sorbonne Université - LIP6
    Boîte courrier 169
    Couloir 25-26, Étage 2, Bureau 231
    4 place Jussieu
    75252 PARIS CEDEX 05

Tel: +33 1 44 27 51 28, Neha.Oudin (at) nulllip6.fr

Supervision : Fabrice KORDON

Co-supervision : SOPENA julien

SAT-solving: One clausebase to rule them all

During this thesis, I will focus on the memory sharing between cores in parallel SAT-solving. I will design new concurrent data structures and algorithm to solve this difficult problems, allowing to scale to a hundred cores on a single machine.

2020 Publications

  • 2020
    • G. Berthou, P.‑E. Dagand, D. Demange, R. Oudin, T. Risset : “Intermittent Computing with Peripherals, Formally Verified”, LCTES '20: 21st ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems Proceedings, London / Virtual, United Kingdom, pp. 85-96, (ACM) (2020)