Skip to Main content Skip to Navigation
Habilitation à diriger des recherches

Static Analysis for Data-Centric Web Programming

Pierre Genevès 1
1 TYREX [?-2015] - Types and Reasoning for the Web [?-2015]
Inria Grenoble - Rhône-Alpes, LIG [2007-2015] - Laboratoire d'Informatique de Grenoble [2007-2015]
Abstract : This document presents an excerpt from the research results that I have obtained since I received a PhD in December 2006. My research addresses one fundamental challenge of our time: building the necessary theoretical foundations and practical tools for ensuring guarantees on web applications such as robustness, security, privacy, and efficiency, towards a web of trust. For this purpose, I build static analysis methods that analyse the source code of web applications for the purpose of automatically detecting defects, or certifying guarantees such as the absence of certain kinds of errors, otherwise. The methods that I develop can also be used for performing semantically-verified optimisations, in compiler design for instance. One particularity of my approach resides in the introduction of novel reasoning techniques, based on new rich modal logics and innovative algorithmic techniques. Another particularity of my research is that it considers theoretical aspects, algorithmic aspects as well as applied aspects such as implementation techniques, experimental validation, and practical relevance. The overall goal of my research is to enable people to construct more reliable, secure, and efficient information systems.
Complete list of metadatas

Cited literature [99 references]  Display  Hide  Download

https://hal.inria.fr/tel-01102401
Contributor : Tyrex Equipe <>
Submitted on : Monday, January 12, 2015 - 4:37:19 PM
Last modification on : Monday, July 20, 2020 - 4:28:02 PM
Long-term archiving on: : Saturday, September 12, 2015 - 1:45:27 AM

Identifiers

  • HAL Id : tel-01102401, version 1

Collections

CNRS | INRIA | LIG | UGA

Citation

Pierre Genevès. Static Analysis for Data-Centric Web Programming. Computer Science [cs]. Université Grenoble Alpes, 2014. ⟨tel-01102401⟩

Share

Metrics

Record views

593

Files downloads

500