Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Thomas P. Jensen
conf.researchr.org general profile
ETAPS 2019 profile
ICFP 2020 profile
ICFP 2024 profile
PLDI 2021 profile
POPL 2019 profile
POPL 2022 profile
POPL 2024 profile
SPLASH 2018 profile
SPLASH 2020 profile
SPLASH 2022 profile
SPLASH 2023 profile
SPLASH 2024 profile
Registered user since Mon 24 Sep 2018
Name:
Thomas P. Jensen
Affiliation:
INRIA Rennes
Personal website:
http://www.irisa.fr/celtique/jensen/
Contributions
2024
NSAD
Committee Member in Program Committee within the NSAD 2024-track
Session Chair of NSAD: Session 2 (part of NSAD 2024)
Static Analysis Symposium
Keynote Speaker of Verification of programs with ADTs using Shallow Horn Clauses within the SAS 2024-track
ICFP
PC Chair in ICFP Papers and Events within the ICFP Papers and Events-track
PriSC
Committee Member in Program Committee within the PriSC 2024-track
2023
PPDP
Author of Type-directed Program Transformation for Constant-Time Enforcement within the PPDP 2023-track
2022
SPLASH
Author of Stable relations and abstract interpretation of higher-order programs within the COVID Time Papers In Person-track
Static Analysis Symposium
Author of Lifting Numeric Relational Domains to Algebraic Data Types within the SAS-track
PriSC
Author of Type-directed Program Transformation for Constant-Time Enforcement within the PriSC 2022-track
2021
PLDI
Author of Trace-Based Control-Flow Analysis within the PLDI-track
2020
NSAD
Author of Numeric Domains Meet Algebraic Data Types within the NSAD-track
ICFP
Author of Stable Relations and Abstract Interpretation of Higher-Order Programs within the ICFP Program-track
Author of Regular Language Type Inference with Term Rewriting within the ICFP Program-track
2019
ESOP
Author of Compiling Sandboxes: Formally Verified Software Fault Isolation within the ESOP 2019-track
POPL
Author of Skeletal Semantics and their Interpretations within the Research Papers-track
Author of Inferring Frame Conditions with Static Correlation Analysis within the Research Papers-track
PEPM
Committee Member in Program Committee within the PEPM 2019-track
Session Chair of Session 2 (part of PEPM 2019)
2018
GPCE
Author of Verification of High-Level Transformations with Inductive Refinement Types within the GPCE 2018-track
Share
x
Mon 18 Nov 06:24
