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
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
x
Thu 21 Nov 11:36