• Troppmann D, Fass A and Staicu C. Typed and Confused: Studying the Unexpected Dangers of Gradual Typing. Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering. (1858-1870).

    https://doi.org/10.1145/3691620.3695549

  • Wang P, Bangert J and Kern C. (2021). If It’s Not Secure, It Should Not Compile: Preventing DOM-Based XSS in Large-Scale Web Development with API Hardening 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE). 10.1109/ICSE43902.2021.00123. 978-1-6654-0296-5. (1360-1372).

    https://ieeexplore.ieee.org/document/9401952/

  • Serrano M. (2020). JavaScript AOT compilation. ACM SIGPLAN Notices. 53:8. (50-63). Online publication date: 6-Apr-2020.

    https://doi.org/10.1145/3393673.3276950

  • Kazerounian M, Guria S, Vazou N, Foster J and Van Horn D. Type-level computations for Ruby libraries. Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. (966-979).

    https://doi.org/10.1145/3314221.3314630

  • Malik R, Patra J and Pradel M. NL2Type. Proceedings of the 41st International Conference on Software Engineering. (304-315).

    https://doi.org/10.1109/ICSE.2019.00045

  • Naus N and Thiemann P. (2019). Dynamic Flow Analysis for JavaScript. Trends in Functional Programming. 10.1007/978-3-030-14805-8_5. (75-93).

    http://link.springer.com/10.1007/978-3-030-14805-8_5

  • Serrano M. JavaScript AOT compilation. Proceedings of the 14th ACM SIGPLAN International Symposium on Dynamic Languages. (50-63).

    https://doi.org/10.1145/3276945.3276950

  • Kazerounian M, Vazou N, Bourgerie A, Foster J and Torlak E. (2018). Refinement Types for Ruby. Verification, Model Checking, and Abstract Interpretation. 10.1007/978-3-319-73721-8_13. (269-290).

    http://link.springer.com/10.1007/978-3-319-73721-8_13

  • Chaudhuri A, Vekris P, Goldman S, Roch M and Levi G. (2017). Fast and precise type checking for JavaScript. Proceedings of the ACM on Programming Languages. 1:OOPSLA. (1-30). Online publication date: 12-Oct-2017.

    https://doi.org/10.1145/3133872

  • Canino A and Liu Y. (2017). Proactive and adaptive energy-aware programming with mixed typechecking. ACM SIGPLAN Notices. 52:6. (217-232). Online publication date: 14-Sep-2017.

    https://doi.org/10.1145/3140587.3062356

  • Canino A and Liu Y. Proactive and adaptive energy-aware programming with mixed typechecking. Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation. (217-232).

    https://doi.org/10.1145/3062341.3062356

  • Omar C and Aldrich J. (2016). Programmable semantic fragments: the design and implementation of typy. ACM SIGPLAN Notices. 52:3. (81-92). Online publication date: 12-May-2017.

    https://doi.org/10.1145/3093335.2993245

  • Chang S, Knauth A and Greenman B. (2017). Type systems as macros. ACM SIGPLAN Notices. 52:1. (694-705). Online publication date: 11-May-2017.

    https://doi.org/10.1145/3093333.3009886

  • Kristensen E and MØller A. Inference and Evolution of TypeScript Declaration Files. Proceedings of the 20th International Conference on Fundamental Approaches to Software Engineering - Volume 10202. (99-115).

    https://doi.org/10.1007/978-3-662-54494-5_6

  • Chang S, Knauth A and Greenman B. Type systems as macros. Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. (694-705).

    https://doi.org/10.1145/3009837.3009886

  • Chandra S, Gordon C, Jeannin J, Schlesinger C, Sridharan M, Tip F and Choi Y. (2016). Type inference for static compilation of JavaScript. ACM SIGPLAN Notices. 51:10. (410-429). Online publication date: 5-Dec-2016.

    https://doi.org/10.1145/3022671.2984017

  • Ancona D and Corradi A. (2016). Semantic subtyping for imperative object-oriented languages. ACM SIGPLAN Notices. 51:10. (568-587). Online publication date: 5-Dec-2016.

    https://doi.org/10.1145/3022671.2983992

  • Omar C and Aldrich J. Programmable semantic fragments: the design and implementation of typy. Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences. (81-92).

    https://doi.org/10.1145/2993236.2993245

  • Chandra S, Gordon C, Jeannin J, Schlesinger C, Sridharan M, Tip F and Choi Y. Type inference for static compilation of JavaScript. Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. (410-429).

    https://doi.org/10.1145/2983990.2984017

  • Ancona D and Corradi A. Semantic subtyping for imperative object-oriented languages. Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. (568-587).

    https://doi.org/10.1145/2983990.2983992

  • Ren B and Foster J. (2016). Just-in-time static type checking for dynamic languages. ACM SIGPLAN Notices. 51:6. (462-476). Online publication date: 1-Aug-2016.

    https://doi.org/10.1145/2980983.2908127

  • Vekris P, Cosman B and Jhala R. (2016). Refinement types for TypeScript. ACM SIGPLAN Notices. 51:6. (310-325). Online publication date: 1-Aug-2016.

    https://doi.org/10.1145/2980983.2908110

  • Adamsen C, Mezzetti G and Møller A. Analyzing test completeness for dynamic languages. Proceedings of the 25th International Symposium on Software Testing and Analysis. (142-153).

    https://doi.org/10.1145/2931037.2931059

  • Wei S, Xhakaj F and Ryder B. (2016). Empirical study of the dynamic behavior of JavaScript objects. Software—Practice & Experience. 46:7. (867-889). Online publication date: 1-Jul-2016.

    https://doi.org/10.1002/spe.2334

  • Ren B and Foster J. Just-in-time static type checking for dynamic languages. Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation. (462-476).

    https://doi.org/10.1145/2908080.2908127

  • Vekris P, Cosman B and Jhala R. Refinement types for TypeScript. Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation. (310-325).

    https://doi.org/10.1145/2908080.2908110

  • Bonnaire-Sergeant A, Davies R and Tobin-Hochstadt S. Practical Optional Types for Clojure. Proceedings of the 25th European Symposium on Programming Languages and Systems - Volume 9632. (68-94).

    /doi/10.5555/3089528.3089532

  • Bonnaire-Sergeant A, Davies R and Tobin-Hochstadt S. (2016). Practical Optional Types for Clojure. Programming Languages and Systems. 10.1007/978-3-662-49498-1_4. (68-94).

    http://link.springer.com/10.1007/978-3-662-49498-1_4

  • Vitousek M, Kent A, Siek J and Baker J. (2014). Design and evaluation of gradual typing for python. ACM SIGPLAN Notices. 50:2. (45-56). Online publication date: 12-May-2015.

    https://doi.org/10.1145/2775052.2661101

  • Rastogi A, Swamy N, Fournet C, Bierman G and Vekris P. (2015). Safe & Efficient Gradual Typing for TypeScript. ACM SIGPLAN Notices. 50:1. (167-180). Online publication date: 11-May-2015.

    https://doi.org/10.1145/2775051.2676971

  • Rastogi A, Swamy N, Fournet C, Bierman G and Vekris P. Safe & Efficient Gradual Typing for TypeScript. Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. (167-180).

    https://doi.org/10.1145/2676726.2676971

  • Choi W, Chandra S, Necula G and Sen K. (2015). SJS: A Type System for JavaScript with Fixed Object Layout. Static Analysis. 10.1007/978-3-662-48288-9_11. (181-198).

    https://link.springer.com/10.1007/978-3-662-48288-9_11

  • Feldthaus A and Møller A. (2014). Checking correctness of TypeScript interfaces for JavaScript libraries. ACM SIGPLAN Notices. 49:10. (1-16). Online publication date: 31-Dec-2015.

    https://doi.org/10.1145/2714064.2660215

  • Vitousek M, Kent A, Siek J and Baker J. Design and evaluation of gradual typing for python. Proceedings of the 10th ACM Symposium on Dynamic languages. (45-56).

    https://doi.org/10.1145/2661088.2661101

  • Feldthaus A and Møller A. Checking correctness of TypeScript interfaces for JavaScript libraries. Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications. (1-16).

    https://doi.org/10.1145/2660193.2660215

  • Wei S and Ryder B. State-Sensitive Points-to Analysis for the Dynamic Behavior of JavaScript Objects. Proceedings of the 28th European Conference on ECOOP 2014 --- Object-Oriented Programming - Volume 8586. (1-26).

    https://doi.org/10.1007/978-3-662-44202-9_1

  • Gibbs Politz J, Guha A and Krishnamurthi S. (2014). Typed-based verification of Web sandboxes. Journal of Computer Security. 22:4. (511-565). Online publication date: 1-Jul-2014.

    /doi/10.5555/2699784.2699787

  • Sun K, Chen S, Wang M and Hao D. What Types Are Needed for Typing Dynamic Objects? A Python-Based Empirical Study. Programming Languages and Systems. (24-45).

    https://doi.org/10.1007/978-981-99-8311-7_2

  • Kazerounian M, Foster J and Min B. (2021). SimTyper: sound type inference for Ruby using type equality prediction. Proceedings of the ACM on Programming Languages. 5:OOPSLA. (1-27). Online publication date: 20-Oct-2021.

    https://doi.org/10.1145/3485483

  • Serrano M. (2021). Of JavaScript AOT compilation performance. Proceedings of the ACM on Programming Languages. 5:ICFP. (1-30). Online publication date: 22-Aug-2021.

    https://doi.org/10.1145/3473575

  • Wang P, Bangert J and Kern C. If It's Not Secure, It Should Not Compile. Proceedings of the 43rd International Conference on Software Engineering. (1360-1372).

    https://doi.org/10.1109/ICSE43902.2021.00123