Xiaokun Luan

According to our database1, Xiaokun Luan authored at least 9 papers between 2021 and 2025.

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
Other 

Links

On csauthors.net:

Bibliography

2025
Generically Automating Separation Logic by Functors, Homomorphisms, and Modules.
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

Towards Large Language Model Aided Program Refinement.
CoRR, 2024

2023
HeatC: A Variable-Grained Coverage Criterion for Deep Learning Systems.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2023

MedTiny: Enhanced Mediator Modeling Language for Scalable Parallel Algorithms.
Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

2021
Using LSTM to Predict Tactics in Coq.
Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

Modeling and Verification of CKB Consensus Protocol in Coq.
Proceedings of the 21st IEEE International Conference on Software Quality, 2021


  Loading...