Pierre Néron
Pierre Néron
Standard Chartered
Adresse e-mail validée de polytechnique.org - Page d'accueil
TitreCitée parAnnée
A language designer's workbench: a one-stop-shop for implementation and verification of language designs
E Visser, G Wachsmuth, A Tolmach, P Neron, V Vergu, A Passalaqua, ...
Proceedings of the 2014 ACM International Symposium on New Ideas, New …, 2014
542014
A theory of name resolution
P Neron, A Tolmach, E Visser, G Wachsmuth
European Symposium on Programming Languages and Systems, 205-231, 2015
512015
A constraint language for static semantic analysis based on scope graphs
H Antwerpen, P Néron, A Tolmach, E Visser, G Wachsmuth
Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and …, 2016
322016
DynSem: A DSL for dynamic semantics specification
V Vergu, P Neron, E Visser
26th International Conference on Rewriting Techniques and Applications (RTA …, 2015
322015
Scopes describe frames: A uniform model for memory layout in dynamic semantics
C Bach Poulsen, P Néron, A Tolmach, E Visser
30th European Conference on Object-Oriented Programming (ECOOP 2016), 2016
112016
Axiomatizing analog algorithms
O Bournez, N Dershowitz, P Néron
Conference on Computability in Europe, 215-224, 2016
8*2016
A Quest for Exactness: Program Transformation for Reliable Real Numbers
P Neron
82013
A Formal Proof of Square Root and Division Elimination in Embedded Programs
P Neron
Certified Program and Proofs, 256-272, 2012
62012
Square root and division elimination in PVS
P Neron
International Conference on Interactive Theorem Proving, 457-462, 2013
52013
SpecCert: Specifying and Verifying Hardware-based Software Enforcement
T Letan, P Chifflier, G Hiet, P Néron, B Morin
3*2016
A formal security model of a smart card web server
P Neron, QH Nguyen
International Conference on Smart Card Research and Advanced Applications, 34-49, 2011
22011
Challenges in Android Malware Analysis
VVT Tong, JF Lalande, M Leslous
12016
A constraint language for static semantic analysis based on scope graphs with proofs
H van Antwerpen, P Néron, AP Tolmach, E Visser, G Wachsmuth
Technical Report TUD-SERG-2015-012, Software Engineering Research Group …, 2016
12016
A Certifying Square Root and Division Elimination
P Neron
Electronic Notes in Theoretical Computer Science 317, 117-131, 2015
12015
Elimination of square roots and divisions by partial inlining
P Neron
Proceedings of the 16th International Symposium on Principles and Practice …, 2014
12014
Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (Artifact).
CB Poulsen, P Néron, AP Tolmach, E Visser
DARTS 2 (1), 10:1-10:3, 2016
2016
A Quest for Exactness: Program Transformation for Reliable Real Numbers
MC MUÑOZ
University of Manchester, 2013
2013
Elimination des racines et divisions pour du code embarqué
P Neron
2013
Constrained Anti-Unification for Program Transformation
P Neron, R Bost
2013
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–19