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

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
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