• Sign in
  • Sign up
conf.researchr.org / Jean-Pierre Talpin
  • PLDI 2016 profile
  • PLDI 2018 profile
  • PLDI 2019 profile
  • PLDI 2020 profile
  • PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
  • SPLASH 2021 profile
Jean-Pierre Talpin

Registered user since Wed 21 Dec 2016

Name:Jean-Pierre Talpin
Affiliation:INRIA, France
Personal website: http://www.irisa.fr/prive/talpin

Contributions

2021

Static Analysis Symposium

  • Author of Verified Functional Programming of an Abstract Interpreter within the SAS-track

2020

LCTES

  • pc in Program Committee within the LCTES 2020-track

2019

LCTES

  • Committee Member in Program Committee within the LCTES 2019-track

2018

LCTES

  • Committee Member in Program Committee

2017

LCTES

  • Committee Member in Program Committee

2016

LCTES

  • Committee Member in Program Committee
Share
xWed 21 May 17:14
using conf.researchr.org (v1.69.0)
Support page
Sign Up