E. Andreasen and A. Møller, Determinacy in static analysis for jQuery, p.OOPLSA, 2014.
DOI : 10.1145/2714064.2660214

S. Bae, H. Cho, I. Lim, and S. Ryu, SAFE WAPI : Web API misuse detector for web applications, 2014.
DOI : 10.1145/2635868.2635916

G. Balakrishnan and T. Reps, Recency-Abstraction for Heap-Allocated Storage, p.SAS, 2006.
DOI : 10.1007/11823230_15
URL : http://www.cs.wisc.edu/wpis/papers/tr1548.ps

P. Cousot and R. Cousot, Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, p.POPL, 1977.
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/hal-00930103

P. Cousot and R. Cousot, Systematic design of program analysis frameworks, Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '79, p.POPL, 1979.
DOI : 10.1145/567752.567778

A. Cox, B. Y. Chang, and X. Rival, Automatic Analysis of Open Objects in Dynamic Language Programs, p.SAS, 2014.
DOI : 10.1007/978-3-319-10936-7_9
URL : https://hal.archives-ouvertes.fr/hal-01095955

A. Cox, B. Y. Chang, and S. Sankaranarayanan, QUIC Graphs: Relational Invariant Generation for Containers, 2013.
DOI : 10.1007/978-3-642-39038-8_17
URL : http://www.cs.colorado.edu/~bec/papers/quicgraphs-ecoop13.pdf

L. Eshkevari, D. Mazinanian, S. Rostami, and N. Tsantalis, JSDeodorant: Classawareness for JavaScript programs, p.ICSE, 2017.
DOI : 10.1109/icse-c.2017.6

A. Feldthaus, M. Schäfer, M. Sridharan, J. Dolby, and F. Tip, Efficient construction of approximate call graphs for JavaScript IDE services, 2013 35th International Conference on Software Engineering (ICSE), p.ICSE, 2013.
DOI : 10.1109/ICSE.2013.6606621

B. Hackett and S. Y. Guo, Fast and precise hybrid type inference for JavaScript, 2012.
DOI : 10.1145/2345156.2254094

I. Research and :. T. , Watson Libraries for Analysis (WALA)

S. H. Jensen, M. Madsen, and A. Møller, Modeling the HTML DOM and browser API in static analysis of JavaScript web applications, Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering, SIGSOFT/FSE '11, 2011.
DOI : 10.1145/2025113.2025125

S. H. Jensen, A. Møller, and P. Thiemann, Type Analysis for JavaScript, p.SAS, 2009.
DOI : 10.1145/239912.239917
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.150.3128

H. Lee, S. Won, J. Jin, J. Cho, and S. Ryu, SAFE: Formal specification and implementation of a scalable analysis framework for ECMAScript, p.FOOL, 2012.

C. Park and S. Ryu, Scalable and precise static analysis of JavaScript applications via loop-sensitivity, 2015.

C. Park, S. Won, J. Jin, and S. Ryu, Static Analysis of JavaScript Web Applications in the Wild via Practical DOM Modeling (T), 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), p.ASE, 2015.
DOI : 10.1109/ASE.2015.27

M. Schäfer, M. Sridharan, J. Dolby, and F. Tip, Dynamic determinacy analysis, p.PLDI, 2013.

M. Sridharan, J. Dolby, S. Chandra, M. Schäfer, and F. Tip, Correlation Tracking for Points-To Analysis of JavaScript, 2012.
DOI : 10.1007/978-3-642-31057-7_20

S. Wei and B. G. Ryder, Practical blended taint analysis for JavaScript, Proceedings of the 2013 International Symposium on Software Testing and Analysis, ISSTA 2013, p.ISSTA, 2013.
DOI : 10.1145/2483760.2483788