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 16 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Domain Knowledge Matters: Improving Prompts with Fix Templates for Repairing Python Type Errors;Proceedings of the 46th IEEE/ACM International Conference on Software Engineering;2024-02-06

2. Learning Type Inference for Enhanced Dataflow Analysis;Computer Security – ESORICS 2023;2024

3. FQN Inference in Partial Code by Prompt-tuned Language Model of Code;ACM Transactions on Software Engineering and Methodology;2023-12-21

4. DeMinify: Neural Variable Name Recovery and Type Inference;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30

5. DeepInfer: Deep Type Inference from Smart Contract Bytecode;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30