Static inference meets deep learning-Reference-Cited by-同舟云学术

Static inference meets deep learning

Published:2022-05-21 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 44th International Conference on Software Engineering
language:
Short-container-title:

Author:

Peng Yun¹,Gao Cuiyun²,Li Zongjie²,Gao Bowei²,Lo David³,Zhang Qirun⁴,Lyu Michael¹

Affiliation:

1. The Chinese University of Hong Kong, Hong Kong, China

2. Harbin Institute of Technology, Shenzhen, China

3. Singapore Management University, Singapore

4. Georgia Institute of Technology

Funder

the Research Grants Council of the Hong Kong Special Administrative Region, China

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3510003.3510038

Reference62 articles.

1. aldur. The return value at line 295 ., 2021 . https://github.com/aldur/MatasanoCrypto/blob/master/matasano/blocks.py. aldur. The return value at line 295., 2021. https://github.com/aldur/MatasanoCrypto/blob/master/matasano/blocks.py.

2. Typilus: neural type hints

3. Dynamic inference of static types for ruby

4. Towards Type Inference for JavaScript

5. Sheng Chen and Martin Erwig . Principal type inference for gadts. In Rastislav Bodík and Rupak Majumdar, editors , Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St . Petersburg, FL, USA, January 20 - 22 , 2016 , pages 416 -- 428 . ACM, 2016. Sheng Chen and Martin Erwig. Principal type inference for gadts. In Rastislav Bodík and Rupak Majumdar, editors, Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016, pages 416--428. ACM, 2016.

Cited by 27 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Static analysis driven enhancements for comprehension in machine learning notebooks;Empirical Software Engineering;2024-08-12

2. Smart Software Analysis for Software Quality Assurance;ACM Turing Award Celebration Conference 2024;2024-07-05

3. Risky Dynamic Typing-related Practices in Python: An Empirical Study;ACM Transactions on Software Engineering and Methodology;2024-06-27

4. Generating Python Type Annotations from Type Inference: How Far Are We?;ACM Transactions on Software Engineering and Methodology;2024-06-03

5. Efficient Construction of Practical Python Call Graphs with Entity Knowledge Base;International Journal of Software Engineering and Knowledge Engineering;2024-05-22