153 citations · 186 across the 10 of their papers we have counts for
3 papers · 1 filter
Experimenting a New Programming Practice with LLMs
Simiao Zhang, Jiaping Wang, Guoliang Dong +3
The recent development on large language models makes automatically constructing small programs possible. It thus has the potential to free software engineers from low-level coding…
PTE: Axiomatic Semantics based Compiler Testing
Guoliang Dong, Jun Sun, Richard Schumi +2
The correctness of a compiler affects the correctness of every program written in the language, and thus must be thoroughly evaluated. Existing automatic compiler testing methods h…
Prompting Frameworks for Large Language Models: A Survey
Xiaoxia Liu, Jingyi Wang, Jun Sun +5
Since the launch of ChatGPT, a powerful AI Chatbot developed by OpenAI, large language models (LLMs) have made significant advancements in both academia and industry, bringing abou…