author-photo

Thomas P. Jensen

French Institute for Research in Computer Science and Automation
Centre national de la recherche scientifique

101

Papers

1725

Citations

Citation Trend

Filter By

Papers (101) Sort By

Journal Conference Others

Extrasynaptic GABA waves underlie epileptiform rhythms in the hippocampal network

2021 bioRxiv
Show All
- Source
- Cite
- Save
Citations (0)
Skeletal Semantics and their Interpretations

2019 POPL | Symposium on Principles of Programming Languages
Show All
- Source
- Cite
- Save
Citations (9)
Inferring frame conditions with static correlation analysis

2019 POPL | Symposium on Principles of Programming Languages
Show All
- Source
- Cite
- Save
Citations (2)
Compiling Sandboxes: Formally Verified Software Fault Isolation

2019 ESOP | European Symposium on Programming
Show All
- Source
- Cite
- Save
Citations (4)
Declarative cartography under fine-grained access control

2018 SSDBM | Statistical and Scientific Database Management
Show All
- Source
- Cite
- Save
Citations (0)
Modular Software Fault Isolation as Abstract Interpretation

2018 SAS | Static Analysis Symposium
Show All
- Source
- Cite
- Save
Citations (0)
Verifying Higher-Order Functions with Tree Automata

2018 FoSSaCS | Foundations of Software Science and Computation Structure
Show All
- Source
- Cite
- Save
Citations (1)
Verification of high-level transformations with inductive refinement types

2018 arXiv: Programming Languages
Show All
- Source
- Cite
- Save
Citations (2)
Securing Compilation Against Memory Probing

2018 PLAS | ACM Workshop on Programming Languages and Analysis for Security
Show All
- Source
- Cite
- Save
Citations (9)
Hybrid information flow analysis against web tracking (invited talk)

2017 CRiSIS | Conference on Risks and Security of Internet and Systems
Show All
- Source
- Cite
- Save
Citations (0)