Pierre Néron

According to our database, Pierre Néron authored at least 14 papers between 2011 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2016

Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (Artifact).

Casper Bach Poulsen, Pierre Néron, Andrew P. Tolmach, Eelco Visser

Dagstuhl Artifacts Ser., 2016

A constraint language for static semantic analysis based on scope graphs.

Hendrik van Antwerpen, Pierre Neron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth

Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2016

SpecCert: Specifying and Verifying Hardware-Based Security Enforcement.

Thomas Letan, Pierre Chifflier, Guillaume Hiet, Pierre Néron, Benjamin Morin

Proceedings of the FM 2016: Formal Methods, 2016

Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics.

Casper Bach Poulsen, Pierre Néron, Andrew P. Tolmach, Eelco Visser

Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

Axiomatizing Analog Algorithms.

Olivier Bournez, Nachum Dershowitz, Pierre Néron

Proceedings of the Pursuit of the Universal - 12th Conference on Computability in Europe, 2016

2015

A Certifying Square Root and Division Elimination.

Pierre Neron

Proceedings of the Seventh and Eighth International Workshops on Numerical Software Verification, 2015

DynSem: A DSL for Dynamic Semantics Specification.

Vlad A. Vergu, Pierre Neron, Eelco Visser

Proceedings of the 26th International Conference on Rewriting Techniques and Applications, 2015

A Theory of Name Resolution.

Pierre Neron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth

Proceedings of the Programming Languages and Systems, 2015

2014

Elimination of Square Roots and Divisions by Partial Inlining.

Pierre Neron

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.

Eelco Visser, Guido Wachsmuth, Andrew P. Tolmach, Pierre Neron, Vlad A. Vergu, Augusto Passalaqua, Gabriël Konat

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).

Pierre Néron

PhD thesis, 2013

A Formal Proof of Square Root and Division Elimination in Embedded Programs.

Pierre Neron

J. Formaliz. Reason., 2013

Square Root and Division Elimination in PVS.

Pierre Neron

Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

2011

A Formal Security Model of a Smart Card Web Server.

Pierre Neron, Quang-Huy Nguyen

Proceedings of the Smart Card Research and Advanced Applications, 2011