Type analysis for JavaScript, SAS, 2009. ,
SAFE: Formal specification and implementation of a scalable analysis framework for ECMAScript, 2012. ,
Fast and precise hybrid type inference for JavaScript, 2012. ,
Practical blended taint analysis for JavaScript. ISSTA, 2013. ,
Determinacy in static analysis for jQuery. OOPLSA, 2014. ,
Scalable and precise static analysis of JavaScript applications via loop-sensitivity, 2015. ,
Correlation tracking for points-to analysis of JavaScript, ECOOP, 2012. ,
Revamping javascript static analysis via localization and remediation of root causes of imprecision, Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2016, pp.487-498, 2016. ,
JSAI: A static analysis platform for JavaScript, Proceedings of the 22Nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, vol.14, 2014. ,
Recency-abstraction for heap-allocated storage, SAS, 2006. ,
Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. POPL, 1977. Softw. Pract. Exper. (0000) Prepared using speauth ,
, European Association for Standardizing Information and Communication Systems (ECMA), vol.5, 2011.
Systematic design of program analysis frameworks, 1979. ,
A flexible approach to interprocedural data flow analysis and programs with recursive data structures, Proceedings of the 9th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '82, pp.66-74, 1982. ,
Analysis of pointers and structures, Proceedings of the ACM SIGPLAN 1990 Conference on Programming Language Design and Implementation, PLDI '90, pp.296-310, 1990. ,
Access Analysis-Based Tight Localization of Abstract Memories, pp.356-370, 2011. ,
A sparse evaluation technique for detailed semantic analyses, Systems & Structures, 2014. ,
Design and implementation of sparse global analyses for C-like languages, Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pp.229-238, 2012. ,
Large spurious cycle in global static analyses and its algorithmic mitigation, APLAS, 2009. ,
Static analysis of JavaScript web applications in the wild via practical DOM modeling, 2015. ,
Web API misuse detector for web applications, ESEC/FSE, 2014. ,
Modeling the HTML DOM and browser API in static analysis of JavaScript web applications, ESEC/FSE, 2011. ,
Automatic analysis of open objects in dynamic language programs, SAS, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01095955
QUIC graphs: Relational invariant generation for containers, ECOOP, 2013. ,
,
Dynamic determinacy analysis, 2013. ,
Efficient construction of approximate call graphs for JavaScript IDE services, 2013. ,
Exper. (0000) Prepared using speauth ,