Author:Patrick Cousot

Publications
Verifying Numerical Programs via Iterative Abstract Testing Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang and Patrick Cousot EasyChair Preprint 1749
Syntactic and Semantic Soundness of Structural Dataflow Analysis Patrick Cousot EasyChair Preprint 1645
Program Analysis is Harder than Verification: A Computability Perspective Patrick Cousot, Roberto Giacobazzi and Francesco Ranzato EasyChair Preprint 365

Keyphrases

abstract interpretation³, Abstract Testing, calculational design, computability, dataflow analysis, deadness abstraction, definite deadness, definite liveness, flow analysis, Input space partitioning, liveness analysis, liveness analysis algorithm, maximal trace semantic, potential live variable algorithm, potential liveness, prefix trace, program verification², Rice's theorem, Semantic Definition, Semantic Soundness, soundness, static program analysis, structural dataflow analysis, structural induction, Trace semantic.