Raphaël Monat
Raphaël Monat
Home
Publications
Talks
Software
Community Service
Posts
Light
Dark
Automatic
Antoine Miné
Latest
Démonstration de la plateforme Mopsa d’analyse statique de programmes par interprétation abstraite
Static Type Analysis by Abstract Interpretation of Python Programs
Static Type Analysis by Abstract Interpretation of Python Programs
Value and Allocation Sensitivity in Static Python Analyses
Value and Allocation Sensitivity in Static Python Analyses
Static Type Analysis of Python Programs: A Type Abstract Domain for Python
Combinations of reusable abstract domains for a multilingual static analyzer
Semantics & Static Type Analysis of Python Programs
Semantics & Static Type Analysis of Python Programs
Precise Thread-Modular Abstract Interpretation of Concurrent Programs using Relational Interference Abstractions
Cite
×