15:03Static Type Analysis by Abstract Interpretation of Python ProgramsACM SIGPLAN595 viewsView & Download
28:32Serge Sans Paille - Tooling for Static Analysis of Python ProgramsEuroPython Conference541 viewsView & Download
13:44A Multi-Language Static Analysis of Python Programs with Native C ExtensionsACM SIGPLAN145 viewsView & Download
13:48Static Analysis of Endian Portability by Abstract InterpretationACM SIGPLAN160 viewsView & Download
7:36Abstract Interpretation (Intro) - Master Course Compilation & Prog AnalysisCompil Lyon3.0K viewsView & Download
29:16Mark Azer: Using Static Analysis to Elevate Your Python Code @ PyCon Ireland 2023Python Ireland344 viewsView & Download
21:31Static analysis by abstract interpretation for multiple languages and multi-language programsSoftware and System Verification180 viewsView & Download
22:01[CGO '22] Session 7 - Sound, Precise, and Fast Abstract Interpretation with Tristate NumbersCGO Conference136 viewsView & Download
14:18[SAS 2021] Static Analysis of Endian Portability by Abstract InterpretationDavid Delmas93 viewsView & Download
18:53A Library Modeling Language for the Static Analysis of C ProgramsACM SIGPLAN212 viewsView & Download
23:08PLDI 2020 - SOAP - TACAI: An Intermediate Representation based on Abstract InterpretationACM SIGPLAN158 viewsView & Download
25:57PLDI 2020 - SOAP - Value and Allocation Sensitivities in Static Python AnalysesACM SIGPLAN99 viewsView & Download