• 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

2016

ECOOP

  • 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

PEPM

  • Author of A Constraint Language for Static Semantic Analysis Based on Scope Graphs within the PEPM-track

2015

ESOP

  • Author of A Theory of Name Resolution within the ESOP-track

2014

Onward!

  • Author of A Language Designer’s Workbench. A One-Stop-Shop for Implementation and Verification of Language Designs within the Onward! Papers-track
Share
xSat 19 Jul 22:17
using conf.researchr.org (v1.69.1)
Support page
Sign Up