Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Thomas P. Jensen
conf.researchr.org general profile
ETAPS 2019 profile
ICFP 2020 profile
PLDI 2021 profile
POPL 2019 profile
POPL 2022 profile
SPLASH 2018 profile
SPLASH 2020 profile
SPLASH 2022 profile
Registered user since Mon 24 Sep 2018
Name:
Thomas P. Jensen
Affiliation:
INRIA Rennes
Personal website:
http://www.irisa.fr/celtique/jensen/
Contributions
SPLASH 2022
Author of Stable relations and abstract interpretation of higher-order programs within the COVID Time Papers In Person-track
SAS 2022
Author of Lifting Numeric Relational Domains to Algebraic Data Types within the SAS-track
PriSC 2022
Author of Type-directed Program Transformation for Constant-Time Enforcement within the PriSC 2022-track
PLDI 2021
Author of Trace-Based Control-Flow Analysis within the PLDI-track
NSAD 2020
Author of Numeric Domains Meet Algebraic Data Types within the NSAD-track
ICFP 2020
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
ESOP 2019
Author of Compiling Sandboxes: Formally Verified Software Fault Isolation within the ESOP 2019-track
POPL 2019
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 2019
Committee Member in Program Committee within the PEPM 2019-track
Session Chair of Session 2 (part of PEPM 2019)
GPCE 2018
Author of Verification of High-Level Transformations with Inductive Refinement Types within the GPCE 2018-track
Share
x
Tue 6 Jun 01:24