Xiaokun Luan

According to our database, Xiaokun Luan authored at least 6 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Protecting Deep Learning Model Copyrights with Adversarial Example-Free Reuse Detection.

Xiaokun Luan, Xiyue Zhang, Jingyi Wang, Meng Sun

CoRR, 2024

Towards Large Language Model Aided Program Refinement.

Yufan Cai, Zhe Hou, Xiaokun Luan, David Sanán, Yun Lin, Jun Sun, Jin Song Dong

CoRR, 2024

2023

HeatC: A Variable-Grained Coverage Criterion for Deep Learning Systems.

Weidi Sun, Yuteng Lu, Xiaokun Luan, Meng Sun

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2023

MedTiny: Enhanced Mediator Modeling Language for Scalable Parallel Algorithms.

Xiangyu Li, Yihao Zhang, Xiaokun Luan, Xiaoyong Xue, Meng Sun

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

2021

Using LSTM to Predict Tactics in Coq.

Xiaokun Luan, Xiyue Zhang, Meng Sun

Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

Modeling and Verification of CKB Consensus Protocol in Coq.

Xiaokun Luan, Meng Sun

Proceedings of the 21st IEEE International Conference on Software Quality, 2021