Tracing dynamic features in Python programs, Proceedings of the 11th Working Conference on Mining Software Repositories, MSR 2014, pp.292-295, 2014. ,
Combining string abstract domains for JavaScript analysis: An evaluation, Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2017), pp.41-57, 2017. ,
RPython: A step towards reconciling dynamically and statically typed OO languages, Proceedings of the 2007 Symposium on Dynamic Languages, DLS '07, pp.53-64, 2007. ,
Recency-abstraction for heap-allocated storage, Static Analysis: 13th International Symposium, pp.221-239, 2006. ,
Static analysis and verification of aerospace software by abstract interpretation, AIAA Infotech@Aerospace, number 2010-3385 in AIAA, pp.1-38, 2010. ,
URL : https://hal.archives-ouvertes.fr/inria-00528611
A trusted mechanised JavaScript specification. SIGPLAN Not, vol.49, pp.87-100, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-00910135
Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints, Proc. of the 4th ACM Symp. on Principles of Programming Languages (POPL'77), pp.238-252, 1977. ,
Automatic discovery of linear restraints among variables of a program, Conf. Rec. of the 5th Annual ACM SIGPLAN/SIGACT Symp. on Principles of Programming Languages (POPL'78), pp.84-97, 1978. ,
, ECMAScript 2017 Language Specification, 2017.
The essence of JavaScript, Proceedings of the 24th European Conference on Object-oriented Programming, ECOOP'10, pp.126-150, 2010. ,
A formal semantics of Python 3.3. Master's thesis, 2013. ,
SMT-based static type inference for Python 3, 2017. ,
Remedying the eval that men do, Proceedings of the 2012 International Symposium on Software Testing and Analysis, ISSTA 2012, pp.34-44, 2012. ,
Type analysis for JavaScript, Proceedings of the 16th International Symposium on Static Analysis, SAS '09, pp.238-255, 2009. ,
JSAI: A static analysis platform for JavaScript, Proceedings of the 22Nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2014, pp.121-132, 2014. ,
String analysis for dynamic field access, Compiler Construction: 23rd International Conference (CC 2014), pp.197-217, 2014. ,
The octagon abstract domain, Higher Order Symbol. Comput, vol.19, issue.1, pp.31-100, 2006. ,
Design and implementation of sparse global analyses for C-like languages, SIGPLAN Not, vol.47, issue.6, pp.229-238, 2012. ,
A small step abstract interpreter for (desugared) Python. Master's thesis, Università degli Studi di Padova, Dipartimento di Matematica, 2016. ,
Python: The full monty, SIGPLAN Not, vol.48, issue.10, pp.217-232, 2013. ,
, Python Software Foundation. The Python language reference
A semantics of Python in Isabelle/HOL, 2008. ,
Two approaches to interprocedural data flow analysis, Program Flow Analysis: Theory and Applications, pp.189-234, 1981. ,
Pick your contexts well: Understanding object-sensitivity, SIGPLAN Not, vol.46, issue.1, pp.17-30, 2011. ,
An executable operational semantics for Python, 2009. ,
A generic static analyser for the Java bytecode, Proc. of the 7th Workshop on Formal Techniques for Java-like Programs (FTfJP'2005), p.17, 2005. ,