Thomas P. Jensen -

Registered user since Mon 24 Sep 2018

Name: Thomas P. Jensen

Affiliation: INRIA Rennes

Personal website: http://www.irisa.fr/celtique/jensen/

Contributions

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
PEPM 2019	Committee Member in Program Committee within the PEPM 2019-track Session Chair of Session 2 (part of PEPM 2019)
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
GPCE 2018	Author of Verification of High-Level Transformations with Inductive Refinement Types within the GPCE 2018-track