[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 …
language models, covering 50+ models, 30+ evaluation tasks, 170+ datasets, and 700 …
Generative type inference for python
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 …
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 …
November 30, 2022. OpenAI's GPT-3 family of large language models serve as the …
Selfpico: Self-guided partial code execution with llms
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 …
exceptions or assertion violations). However, code execution, especially partial or arbitrary …
Domain knowledge matters: Improving prompts with fix templates for repairing python type errors
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 …
years. Although the dynamic type system of Python facilitates the developers in writing …
Deepinfer: Deep type inference from smart contract bytecode
Smart contracts play an increasingly important role in Ethereum platform. It provides various
functions implementing numerous services, whose bytecode runs on Ethereum Virtual …
functions implementing numerous services, whose bytecode runs on Ethereum Virtual …
Autopruner: transformer-based call graph pruning
Constructing a static call graph requires trade-offs between soundness and precision.
Program analysis techniques for constructing call graphs are unfortunately usually …
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 …
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
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 …
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
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 …
software systems have become increasingly important. However, vulnerabilities in software …