conf.researchr.org / Thomas P. Jensen
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

PEPM 2019Committee Member in Program Committee within the PEPM 2019-track
Session Chair of Session 2 (part of PEPM 2019)
ESOP 2019Author of Compiling Sandboxes: Formally Verified Software Fault Isolation within the ESOP 2019-track
POPL 2019Author 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 2018Author of Verification of High-Level Transformations with Inductive Refinement Types within the GPCE 2018-track