Pierre Neron -

Registered user since Mon 5 Jan 2015

Name:Pierre Neron

Country:France

Affiliation:French Network and Information Technology Agency

Personal website:https://pneron.github.io/

Research interests:Programming Languages, Type systems, Formal Methods, Verification

Contributions

PEPM 2016	Author of A Constraint Language for Static Semantic Analysis Based on Scope Graphs within the PEPM-track
ECOOP 2016	Author of Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics within the Research Track-track Author of Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics within the Artifacts-track Author of Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics within the Posters-track
ESOP 2015	Author of A Theory of Name Resolution within the ESOP-track
Onward! 2014	Author of A Language Designer’s Workbench. A One-Stop-Shop for Implementation and Verification of Language Designs within the Onward! Papers-track