15 citations · 15 across the 1 of their papers we have counts for
3 papers
cs.LO2025
Generalized Security-Preserving Refinement for Concurrent Systems
Huan Sun, David Sanán, Jingyi Wang +3
Ensuring compliance with Information Flow Security (IFS) is known to be challenging, especially for concurrent systems with large codebases such as multicore operating system (OS)…
cs.SE2024
Agents4PLC: Automating Closed-loop PLC Code Generation and Verification in Industrial Control Systems using LLM-based Agents
Zihan Liu, Ruinan Zeng, Dongxia Wang +5
In industrial control systems, the generation and verification of Programmable Logic Controller (PLC) code are critical for ensuring operational efficiency and safety. While Large…
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…