Pierre-Marie Pédrot
Orcid: 0009-0002-8006-6239
According to our database1,
Pierre-Marie Pédrot
authored at least 18 papers
between 2014 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024
Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024
2022
The Advantages of Maintaining a Multitask, Project-Specific Bot: An Experience Report.
IEEE Softw., 2022
CoRR, 2022
Proceedings of the 30th EACSL Annual Conference on Computer Science Logic, 2022
2021
2020
Proc. ACM Program. Lang., 2020
Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020
2019
2018
Proceedings of the Programming Languages and Systems, 2018
2017
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, 2017
2016
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016
2015
2014
Nécessité faite loi : de la réduction linéaire de tête à l'évaluation paresseuse.
Proceedings of the 25. Journées francophones des langages applicatifs, 2014
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014