Sylvain Dailler
According to our database1,
Sylvain Dailler
authored at least 3 papers
between 2015 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2018
J. Log. Algebraic Methods Program., 2018
Proceedings of the Proceedings 4th Workshop on Formal Integrated Development Environment, 2018
2015
Extension paramétrée de compilateur certifié pour la programmation parallèle. (Parameterised extension of certified compiler for parallel programming).
PhD thesis, 2015