• Sign in
  • Sign up
conf.researchr.org / Thomas P. Jensen
  • ETAPS 2019 profile
  • ICFP 2020 profile
  • PLDI 2021 profile
  • POPL 2019 profile
  • POPL 2022 profile
  • SPLASH 2018 profile
  • SPLASH 2020 profile
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

Share
xFri 20 May 18:57
using conf.researchr.org (v1.55.6)
Support page
Sign Up