Publication Precise and Scalable Static Analysis of jQuery using a Regular Expression Domain DLS 2016: Dynamic Language Symposium. 1 Nov 2016 ACM SIGPLAN Notices – DLS ’16. Volume 52 Issue 2, February 2017, pp. 25-36 Authors Changhee Park Hyeonseung Im Sukyoung Ryu Tags programming-languages formal-methods data-systems PDF