[PDF][PDF] Unifying the perspectives of nlp and software engineering: A survey on language models for code

Z Zhang, C Chen, B Liu, C Liao, Z Gong… - arXiv preprint arXiv …, 2023 - simg.baai.ac.cn
In this work we systematically review the recent advancements in code processing with
language models, covering 50+ models, 30+ evaluation tasks, 170+ datasets, and 700 …

Generative type inference for python

Y Peng, C Wang, W Wang, C Gao… - 2023 38th IEEE/ACM …, 2023 - ieeexplore.ieee.org
Python is a popular dynamic programming language, evidenced by its ranking as the
second most commonly used language on GitHub. However, its dynamic type system can …

Chatgpt: A study on its utility for ubiquitous software engineering tasks

G Sridhara, S Mazumdar - arXiv preprint arXiv:2305.16837, 2023 - arxiv.org
ChatGPT (Chat Generative Pre-trained Transformer) is a chatbot launched by OpenAI on
November 30, 2022. OpenAI's GPT-3 family of large language models serve as the …

Selfpico: Self-guided partial code execution with llms

Z Xue, Z Gao, S Wang, X Hu, X Xia, S Li - Proceedings of the 33rd ACM …, 2024 - dl.acm.org
Code executability plays a vital role in software debugging and testing (eg, detecting runtime
exceptions or assertion violations). However, code execution, especially partial or arbitrary …

Domain knowledge matters: Improving prompts with fix templates for repairing python type errors

Y Peng, S Gao, C Gao, Y Huo, M Lyu - Proceedings of the 46th IEEE …, 2024 - dl.acm.org
As a dynamic programming language, Python has become increasingly popular in recent
years. Although the dynamic type system of Python facilitates the developers in writing …

Deepinfer: Deep type inference from smart contract bytecode

K Zhao, Z Li, J Li, H Ye, X Luo, T Chen - … of the 31st ACM Joint European …, 2023 - dl.acm.org
Smart contracts play an increasingly important role in Ethereum platform. It provides various
functions implementing numerous services, whose bytecode runs on Ethereum Virtual …

Autopruner: transformer-based call graph pruning

T Le-Cong, HJ Kang, TG Nguyen, SA Haryono… - Proceedings of the 30th …, 2022 - dl.acm.org
Constructing a static call graph requires trade-offs between soundness and precision.
Program analysis techniques for constructing call graphs are unfortunately usually …

Pyty: Repairing static type errors in python

YW Chow, L Di Grazia, M Pradel - Proceedings of the IEEE/ACM 46th …, 2024 - dl.acm.org
Gradual typing enables developers to annotate types of their own choosing, offering a
flexible middle ground between no type annotations and a fully statically typed language. As …

Pyrtfuzz: Detecting bugs in python runtimes via two-level collaborative fuzzing

W Li, H Yang, X Luo, L Cheng, H Cai - Proceedings of the 2023 ACM …, 2023 - dl.acm.org
Given the widespread use of Python and its sustaining impact, the security and reliability of
the Python runtime system is highly and broadly critical. Yet with real-world bugs in Python …

Reef: A framework for collecting real-world vulnerabilities and fixes

C Wang, Z Li, Y Pena, S Gao, S Chen… - 2023 38th IEEE/ACM …, 2023 - ieeexplore.ieee.org
Software plays a crucial role in our daily lives, and therefore the quality and security of
software systems have become increasingly important. However, vulnerabilities in software …