Pierre Néron
Affiliations:- French Network and Information Security Agency (ANSSI)
According to our database1,
Pierre Néron
authored at least 15 papers
between 2011 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
1
1
1
4
3
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Proc. ACM Program. Lang., 2024
2016
Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (Artifact).
Dagstuhl Artifacts Ser., 2016
Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2016
Proceedings of the FM 2016: Formal Methods, 2016
Proceedings of the 30th European Conference on Object-Oriented Programming, 2016
Proceedings of the Pursuit of the Universal - 12th Conference on Computability in Europe, 2016
2015
Proceedings of the Seventh and Eighth International Workshops on Numerical Software Verification, 2015
Proceedings of the 26th International Conference on Rewriting Techniques and Applications, 2015
Proceedings of the Programming Languages and Systems, 2015
2014
Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014
A Language Designer's Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs.
Proceedings of the Onward! 2014, 2014
2013
A Quest for Exactness: Program Transformation for Reliable Real Numbers. (Transformation de Programmes pour des Nombres Réels Fiables).
PhD thesis, 2013
J. Formaliz. Reason., 2013
Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013
2011
Proceedings of the Smart Card Research and Advanced Applications, 2011