• 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

SAS 2021 Author of Verified Functional Programming of an Abstract Interpreter within the SAS-track
LCTES 2020 pc in Program Committee within the LCTES 2020-track
LCTES 2019 Committee Member in Program Committee within the LCTES 2019-track
LCTES 2018 Committee Member in Program Committee
LCTES 2017 Committee Member in Program Committee
LCTES 2016 Committee Member in Program Committee

Share
xTue 28 Mar 13:58
using conf.researchr.org (v1.60.0)
Support page
Sign Up