Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jean-Pierre Talpin
conf.researchr.org general profile
PLDI 2016 profile
PLDI 2018 profile
PLDI 2019 profile
PLDI 2020 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
SPLASH 2021 profile
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
x
Tue 28 Mar 13:58