Xiaokun Luan

According to our database, Xiaokun Luan authored at least 4 papers between 2021 and 2023.

Collaborative distances:

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

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