-
Implementation and Complexity of the Lowest Static Reduction
The lowest static reduction (LSR) is the 0^th-order Control-Flow Analysis without continuation passing style (CPS) consideration. This article presents some algorithms... -
TBR Analysis in Reverse-Mode Automatic Differentiation
The automatic generation of adjoints of mathematical models that are implemented as computer programs is receiving a increased attention in the scientific and... -
Essays on Transport Congestion in the Central Paris Area
This PhD thesis focuses on urban transport congestion. Crossing traffic data and survey data, we study three major infrastructures in the central Paris area: the Paris... -
PAGAI: a path sensitive static analyzer
International audience -
Detection and resolution of aspect interactions
Aspect-Oriented Programming (AOP) promises separation of concerns at the implementation level. However, aspects are not always orthogonal and aspect interaction is an... -
Testing Inexecutable Conditions on Input Pointers in C Programs with SANTE
7 pages - Session 11: Testing - http://icssea.enst.fr/icssea12/ -
Static Analysis for Guarded Code
{\em Guarded(predicated) execution, as a new hardware feature, has been introduced into today's high performance processors. \em Guarded execution can significantly... -
Data Dependence Analysis of Assembly Code
Determination of data dependences is a task typically performed with high-leve- l language source code in today's optimizing and parallelizing compilers. Very little... -
Interactive Abstractions: Proving Safety Properties by Integrating Static Ana...
We present a new approach for proving safety properties of reactive systems, based on tight interaction between static analysis, theorem proving and abstraction... -
Static Analysis of Java for Distributed and Parallel Programming
We investigate the use of static analysis for building distributed and parallel programs in Java. We first quickly explain a principle of seamless sequential,... -
Static Debugging of C Programs: Detection of Pointer Errors in Recursive Data...
The incorrect use of pointers is one of the most common source of bugs in imperative languages. In this context, any kind of static code checking capable of detecting... -
Dynamic Attribute Grammars
Projet OSCAR -
Attribute Grammars: a Declarative Functional Language
Projet CHARME -
Static Vulnerability Detection in Java Service-oriented Components
International audience -
Synthesis of sup-interpretations: a survey
International audience -
Extending Abstract Acceleration Methods to Data-Flow Programs with Numerical ...
International audience -
Logico-Numerical Abstract Acceleration and Application to the Verification of...
International audience -
Applying abstract acceleration to (co-)reachability analysis of reactive prog...
International audience
