15 citations · 26 across the 4 of their papers we have counts for
Showing cs.SEShow all
3 papers · 1 filter
cs.SE2024★ 4 cited
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…
cs.SE2024
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…
cs.SE2023★ 15 cited
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…