Xiaokun Luan
According to our database1,
Xiaokun Luan
authored at least 9 papers
between 2021 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
2021
2022
2023
2024
2025
0
1
2
3
4
2
3
2
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
Proc. ACM Program. Lang., 2025
Automated Program Refinement: Guide and Verify Code Large Language Model with Refinement Calculus.
Proc. ACM Program. Lang., 2025
2024
The Fusion of Large Language Models and Formal Methods for Trustworthy AI Agents: A Roadmap.
CoRR, 2024
Protecting Deep Learning Model Copyrights with Adversarial Example-Free Reuse Detection.
CoRR, 2024
2023
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2023
Proceedings of the 23rd IEEE International Conference on Software Quality, 2023
2021
Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021
Proceedings of the 21st IEEE International Conference on Software Quality, 2021