• Sign in
  • Sign up
conf.researchr.org / Pierre Neron
  • ECOOP 2016 profile
  • ESOP 2015 profile
  • POPL 2016 profile
  • SPLASH 2014 profile
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

Share
xSun 11 Apr 17:50
using conf.researchr.org (v1.44.3)
Support page
Sign Up