Titlebook: Static Analysis; 23rd International S Xavier Rival Conference proceedings 2016 Springer-Verlag GmbH Germany 2016 abstract interpretation.mo

Pastry

NAIVE

Robust

聚集

The Julia Static Analyzer for Javainter accesses, non-termination, wrong synchronization and injection threats to security. This article recaps the history of Julia, describes the technology under the hood of the tool, reports lessons learned from the market, current limitations and future work.

揭穿真相

制度

墙壁

Vital-Signs

Simulation and Invariance for Weak Consistencyt under the consistency model. In recent works with Patrick Cousot, we have developed an invariance method for proving the correctness of algorithms under weak consistency models. In this paper I would like to give a general overview of these works.

不利

Quantitative Monitor Automataslation result to establish that these two formalisms are equivalent. Weighted .-automata with monitors generalize weighted .-automata, and can express average response time property. They present a natural, robust, and expressive framework for quantitative specifications, with important decidable properties.

争论

Static Analysis by Abstract Interpretation of the Functional Correctness of Matrix Manipulating Progeration order, line swapping, and expression decomposition. Finally, we extend our method to enable modular analysis on code fragments manipulating matrices by reference, and show that it results in a significant analysis speedup.