Repository navigation
Expand file tree
/
Copy pathpapers-data.js
More file actions
2919 lines (2919 loc) · 173 KB
/
Copy pathpapers-data.js
File metadata and controls
2919 lines (2919 loc) · 173 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
window.LAB_PAPERS_BUNDLE = {
"papers": [
{
"id": "AAAI2023Purifier",
"title": "Purifier: Defending Data Inference Attacks via Transforming Confidence Scores",
"authors": "Ziqi Yang, Lijin Wang, Da Yang, Jie Wan, Ziming Zhao, Ee-Chien Chang, Fan Zhang*, Kui Ren",
"year": 2023,
"venue": "AAAI",
"ccf": "A",
"core": "A*",
"thcpl": "A",
"type": "conference",
"accepted": true,
"ncsCategory": "NONE",
"sciZone": "NONE",
"fields": [
"人工智能"
],
"researchDirections": [
"大模型推理与训练"
],
"link": "https://www.aaai.org/Conferences/AAAI-23/",
"abstract": "通过转换置信度分数来防御数据推理攻击,提出Purifier机制,在保持模型精度的前提下有效抵御成员推断攻击和属性推断攻击,实验验证了方法的有效性与通用性。"
},
{
"id": "AAAI2026QuFid",
"title": "Adaptive Fidelity Estimation for Quantum Programs with Graph-Guided Noise Awareness",
"authors": "Tingting Li, Ziming Zhao*, Jianwei Yin*",
"year": 2026,
"venue": "AAAI",
"ccf": "A",
"core": "A*",
"thcpl": "A",
"type": "conference",
"accepted": true,
"ncsCategory": "NONE",
"sciZone": "NONE",
"fields": [
"人工智能"
],
"researchDirections": [
"量子软工"
],
"link": "https://ojs.aaai.org/index.php/AAAI/article/view/37035",
"abstract": "QuFid 是一种面向 NISQ 设备的自适应保真度估计框架,用于解决量子程序测试中测量成本高、预算难以预先设定的问题。它将量子程序表示为有向无环图,并通过结合控制流信息的随机游走来分析量子门依赖关系中的噪声传播。与此同时,QuFid 还考虑了转译过程带来的线路结构变化,以刻画不同量子硬件后端对程序执行的影响。在此基础上,方法利用噪声传播算子的谱特征量化线路复杂度,从而在线动态调整测量次数。实验结果表明,QuFid 在保持保真度估计误差可接受的同时,能够显著降低测量开销。"
},
{
"id": "AAAI2026RelOpt",
"title": "Adaptive Fidelity Estimation for Quantum Programs with Graph-Guided Noise Awareness",
"authors": "Ziming Zhao, Tingting Li*, Zhaoxuan Li, Jianwei Yin*",
"year": 2026,
"venue": "AAAI",
"ccf": "A",
"core": "A*",
"thcpl": "A",
"type": "conference",
"accepted": true,
"ncsCategory": "NONE",
"sciZone": "NONE",
"fields": [
"人工智能"
],
"researchDirections": [
"量子软工"
],
"link": "https://ojs.aaai.org/index.php/AAAI/article/view/38457",
"abstract": "RelOpt 是一种面向量子程序的语义保持优化框架,旨在在降低噪声影响和优化执行性能的同时,避免现有启发式或学习式方法可能引入的语义错误。它基于轻量级中间语言 QCore,构建了支持部分迹等价、测量分布保持以及近似正确性的关系操作语义,用于刻画优化前后程序之间的正确性关系。RelOpt 在优化过程中结合门数量、线路深度和纠错开销等多种目标进行综合权衡,并且只应用那些经过形式化验证、满足用户指定契约的重写规则。其核心引擎融合了符号模拟、SMT 推理和代价分析,从而实现安全且高效的量子程序优化。实验结果表明,在 QFT、Grover 和 QAOA 等标准基准上,RelOpt 在多项成本指标上均优于 Qiskit、t|ket> 和学习式优化器,同时保持严格的形式化保证。"
},
{
"id": "ACL2026ASE",
"title": "A.S.E: A Repository-Level Benchmark for Evaluating Security in AI-Generated Code",
"authors": "Keke Lian#, Bing Wang#, Lei Zhang, Libo Chen, Junjie Wang, Ziming Zhao, Yujiu Yang, Miaoqian Lin, Haotong Duan, Haoran Zhao, Shuang Liao, Mingda Guo, Jiazheng Quan, Yilu Zhong, Chenhao He, Zichuan Chen, Jie Wu, Haoling Li, Zhaoxuan Li, Jiongchi Yu, Hui Li*, Dong Zhang*",
"year": 2026,
"venue": "ACL",
"ccf": "A",
"core": "A*",
"thcpl": "A",
"type": "conference",
"accepted": false,
"ncsCategory": "NONE",
"sciZone": "NONE",
"fields": [
"人工智能"
],
"researchDirections": [
"大模型代码修复",
"代码安全",
"基准测试"
],
"link": "https://arxiv.org/pdf/2508.18106",
"abstract": "现有针对 LLM 生成代码安全性的评测基准与真实 AI 辅助编程场景脱节,难以反映生产环境中的实际风险。为此,作者提出了更贴近真实仓库级编程任务的安全评测基准 A.S.E,并通过实验发现当前主流 LLM 在安全编码方面仍存在明显不足,尤其在复杂仓库场景下表现下降,而且更大的推理预算也未必能带来更好的代码生成效果。"
},
{
"id": "ACL2026QRepair",
"title": "Explainable Quantum Program Repair with Verifiable Proof Traces",
"authors": "Tingting Li, Ziming Zhao*, Zhaoxuan Li, Jiongchi Yu, Xiaofei Yue, Jianwei Yin*",
"year": 2026,
"venue": "ACL",
"ccf": "A",
"core": "A*",
"thcpl": "A",
"type": "conference",
"accepted": true,
"ncsCategory": "NONE",
"sciZone": "NONE",
"fields": [
"人工智能"
],
"researchDirections": [
"量子软工",
"量子代码修复"
],
"link": "",
"abstract": "这篇工作提出了一种“可解释的量子程序修复”框架,旨在解决现有大语言模型修复方法只给出事后自然语言解释、却无法执行和验证的问题。针对存在错误的量子电路,该方法不仅生成修复候选方案,还会同步产出结构化的变换依据,并将其编译为可由机器检查的可执行证明轨迹。系统结合电路等价性检查、ZX 演算、稳定子分析和量子模拟等形式化验证后端,只有在解释被完全验证通过时才接受修复结果。实验表明,在 QASMBench 的量子程序缺陷修复任务中,该方法在保持有竞争力修复成功率的同时,显著提升了语义准确性和解释可信度。"
},
{
"id": "ACL2026QUARTZ",
"title": "QUARTZ: Quantile-Aware Routing and Queueing for TTFT SLOs in LLM Serving",
"authors": "Z Liu#, Yifan Zheng#, Fanqi Kong, Ziming Zhao*",
"year": 2026,
"venue": "ACL",
"ccf": "A",
"core": "A*",
"thcpl": "A",
"type": "conference",
"accepted": true,
"ncsCategory": "NONE",
"sciZone": "NONE",
"fields": [
"人工智能"
],
"researchDirections": [
"大模型服务",
"大模型推理优化",
"推理与调度"
],
"link": "",
"abstract": "本论文关注大语言模型在线服务中的首 token 延迟(TTFT)问题,指出现有路由器在混合负载下往往忽略请求成本差异,容易造成队列阻塞和尾延迟放大。为此,提出 QUARTZ,一种面向 LLM Serving 的分位数感知路由与排队层,利用路由端可见的轻量信号预测保守的请求成本分位数,而非单一点估计。QUARTZ 结合这些成本分位数与 worker backlog 状态进行调度和准入决策,从而更好地满足 TTFT 尾延迟 SLO,同时兼顾公平性。作者将 QUARTZ 实现为 SGLang 的路由器升级,并在交互式与 RAG 工作负载上验证了其有效性,结果显示该方法能够降低 TTFT 尾延迟和 SLO 违约率。"
},
{
"id": "ACNS2024DDoSMiner",
"title": "DDoSMiner: An Automated Framework for DDoS Attack Characterization and Vulnerability Mining",
"authors": "Xi Ling, Jiongchi Yu, Ziming Zhao, Zhihao Zhou, Haitao Xu, Binbin Chen, Fan Zhang",
"year": 2024,
"venue": "ACNS",
"ccf": "C",
"core": "B",
"thcpl": "B",
"type": "conference",
"accepted": true,
"ncsCategory": "NONE",
"sciZone": "NONE",
"fields": [
"网络与信息安全"
],
"researchDirections": [
"网络安全",
"符号执行"
],
"link": "https://link.springer.com/chapter/10.1007/978-3-031-54773-7_12",
"abstract": "本文针对不断演化的分布式拒绝服务攻击提出了一种自动化攻击特征分析与漏洞挖掘框架 DDoSMiner。面对基于规则的流量分析和深度包检测等传统防御手段,攻击者持续寻找新的攻击面和流量放大方式以绕过检测。为此,DDoSMiner 通过分析 TCP 类 DDoS 攻击的系统调用模式,构建攻击调用流图(ACFG),并识别攻击流量与正常流量之间的关键差异特征。进一步地,该框架提取丢弃节点和关键 TCP 状态,并结合符号执行技术探索 DDoS 攻击的变种。实验结果表明,DDoSMiner 能够发现新的 DDoS 攻击轨迹,且生成的攻击流量能够绕过 Snort 及其三种主流规则集的检测。"
},
{
"id": "ACTAP2021MoS2",
"title": "MoS2 Membranes with Photothermal Conversion Property for Nanofiltration and Antibacterial Activity",
"authors": "Jiongchi Yu, Mengqi Ma, Chengye Zhu, Dengfeng Hu, Jian Ji, Zhikang Xu",
"year": 2021,
"venue": "ACTA POLYMERICA SINICA",
"ccf": "N",
"core": "N",
"thcpl": "N",
"type": "journal",
"accepted": true,
"ncsCategory": "NONE",
"sciZone": "SCI3",
"fields": [
"其他"
],
"researchDirections": [
"AI for Science"
],
"link": "https://www.gfzxb.org/en/article/doi/10.11777/j.issn1000-3304.2020.20264/",
"abstract": "针对二维纳米片构建的层状纳滤膜在稳定性差、盐截留性能不足以及制备复杂等问题,作者提出了一种基于单宁酸功能化二硫化钼纳米片并通过均苯三甲酰氯交联的新型薄层复合纳滤膜结构。该方法通过界面聚合构建致密交联网络,有效调控膜孔结构,从而显著提升膜的稳定性与分离性能。实验结果表明,该膜对多价盐(如 Na₂SO₄)具有较高截留率,对带负电染料的截留率超过98.5%,同时对染料/盐混合体系具有良好的选择性分离能力。此外,MoS₂ 纳米片赋予膜优异的光热转换性能,在近红外照射下可实现抗菌与自清洁功能,从而缓解膜污染问题。整体来看,该工作提出了一种兼具高效分离、稳定性和抗菌能力的多功能纳滤膜设计策略,在工业废水处理等场景具有应用潜力。"
},
{
"id": "ACTAPH2021Calculation",
"title": "Calculation and Optimization of Correlation Function in Distillation Method of Lattice Quantum Chromodynamcis",
"authors": "Renqiang Zhang, Xiangyu Jiang, Jiongchi Yu, Chong Zeng, Ming Gong, Shun Xu",
"year": 2021,
"venue": "ACTA PHYSICA SINICA",
"ccf": "N",
"core": "N",
"thcpl": "N",
"type": "journal",
"accepted": true,
"ncsCategory": "NONE",
"sciZone": "SCI3",
"fields": [
"其他"
],
"researchDirections": [
"AI for Science"
],
"link": "https://wulixb.iphy.ac.cn/en/article/doi/10.7498/aps.70.20210030",
"abstract": "针对格点量子色动力学中蒸馏算法在构造关联函数时面临的数据规模大、计算复杂度高的问题,作者提出了一套多层次优化的计算方案。该方法基于蒸馏算法中约化传播子与拉普拉斯本征系统的结构,通过引入中间变量对计算过程进行重构,将原本随本征向量数四次方增长的计算复杂度降低为三次方,从而显著减少计算开销。在实现层面,作者结合MPI、OpenMP以及SIMD三层并行优化技术,并针对数据布局与复数运算进行向量化改造,以提升计算效率与内存访问性能。实验结果表明,该程序在大规模并行环境下具有良好的扩展性,在512个进程下仍可达到约70%的并行效率,同时相比串行计算实现显著加速。"
},
{
"id": "ARXIV2026DataEfficient",
"title": "Data-Efficient Large Language Model Training: A Survey",
"authors": "Xinyang Liu, Qiang Hu∗, Yujie Ma, Zhenheng Tang, Jiongchi Yu, Tianlin Li, Yao Zhang, Junjie Wang, Hao Liu, Yongqiang Lyu, Yves Le Traon",
"year": 2026,
"venue": "arxiv",
"ccf": "N",
"core": "N",
"thcpl": "N",
"type": "conference",
"accepted": false,
"ncsCategory": "NONE",
"sciZone": "NONE",
"fields": [
"人工智能"
],
"researchDirections": [
"大模型推理与训练"
],
"link": "https://wellido.github.io/paper/DS4LLM.pdf",
"abstract": "构建大语言模型通常依赖大规模高质量数据,代价高且计算开销大,因此本文系统综述了“有限数据下构建 LLM”的研究进展。文章梳理了数据高效训练的统一问题与术语,系统分析了如何识别对预训练和微调最关键的数据样本,并总结了该领域的挑战与未来研究方向。",
"pdf": "https://wellido.github.io/paper/DS4LLM.pdf"
},
{
"id": "ARXIV2026HumanintheLoopforFuzzTesting",
"title": "Human in the Loop for Fuzz Testing: Literature Review and the Road Ahead",
"authors": "JIONGCHI YU#, XIAOLIN WEN#, SIZHE CHENG, XIAOFEI XIE,QIANG HU*, YONG WANG*",
"year": 2026,
"venue": "arxiv",
"ccf": "N",
"core": "N",
"thcpl": "N",
"type": "conference",
"accepted": false,
"ncsCategory": "NONE",
"sciZone": "NONE",
"fields": [
"人工智能"
],
"researchDirections": [
"大模型 for 安全"
],
"link": "https://arxiv.org/pdf/2603.13411",
"abstract": "传统模糊测试虽然有效,但依赖自动化启发式方法,难以发现深层或复杂漏洞,因此需要将人类专家引入模糊测试流程。文章据此提出了一个 Human-in-the-Loop 模糊测试研究路线图,重点关注人类监控、人类引导,以及人类与大语言模型协作,以构建下一代交互式、智能化的模糊测试体系。"
},
{
"id": "ARXIV2026LEVERAGINGLLM",
"title": "Leveraging LLM Agents for Automated Video Game Testing",
"authors": "Chengjia Wang, Lanling Tang, Ming Yuan, Jiongchi Yu*, Xiaofei Xie, Jiajun Bu",
"year": 2026,
"venue": "arxiv",
"ccf": "N",
"core": "N",
"thcpl": "N",
"type": "conference",
"accepted": false,
"ncsCategory": "NONE",
"sciZone": "NONE",
"fields": [
"人工智能"
],
"researchDirections": [
"大模型推理与训练",
"大数据系统优化"
],
"link": "https://arxiv.org/pdf/2509.22170",
"abstract": "提出了一个面向MMORPG测试的LLM驱动智能代理框架TITAN,通过状态抽象、动作优化、长程推理与自反纠错以及基于LLM的测试判定机制,显著提升了任务完成率和缺陷检测能力。实验表明,该方法在真实商业游戏中优于现有自动化测试方案,并已成功应用于多个实际QA流程中。"
},
{
"id": "ARXIV2026PTCBENCH",
"title": "PTCBENCH: Benchmarking Contextual Stability of Personality Traits in LLM Systems",
"authors": "Jiongchi Yu#, Yuhan Ma#, Xiaoyu Zhang*, Junjie Wang, Qiang Hu, Chao Shen, and Xiaofei Xie",
"year": 2026,
"venue": "arxiv",
"ccf": "N",
"core": "N",
"thcpl": "N",
"type": "conference",
"accepted": false,
"ncsCategory": "NONE",
"sciZone": "NONE",
"fields": [
"人工智能"
],
"researchDirections": [
"大模型推理与训练"
],
"link": "https://arxiv.org/pdf/2602.00016",
"abstract": "随着 LLM 被广泛用于情感陪伴和智能体系统,保持其人格的一致性对用户信任很重要,但现有研究忽视了人格会随情境变化这一心理学事实。为此,作者提出了 PTCBench,在不同地点与人生事件等 12 类情境下系统评估 LLM 的人格一致性,并发现某些情境会显著改变模型的人格特征,甚至影响其推理能力。"
},
{
"id": "ARXIV2026TheFoundationCracks",
"title": "The Foundation Cracks: A Comprehensive Study on Bugs and Testing Practices in LLM Libraries",
"authors": "Weipeng Jiang, Xiaoyu Zhang, Xiaofei Xie, Jiongchi Yu, Yuhan Zhi, Shiqing Ma, Chao Shen",
"year": 2026,
"venue": "arxiv",
"ccf": "N",
"core": "N",
"thcpl": "N",
"type": "conference",
"accepted": false,
"ncsCategory": "NONE",
"sciZone": "NONE",
"fields": [
"人工智能"
],
"researchDirections": [
"大模型 for 安全"
],
"link": "https://arxiv.org/pdf/2506.12320",
"abstract": "LLM 库作为大模型生态的基础设施,虽然至关重要,但存在大量影响系统可靠性的缺陷。本文通过对 HuggingFace Transformers 和 vLLM 中 313 个缺陷修复提交及 7,748 个测试函数的实证分析,系统总结了缺陷表现、根因和测试方法,并发现 API 误用已成为最主要的缺陷来源,而现有测试在用例、驱动和预言机方面仍明显不足。"
},
{
"id": "ARXIV2026Understanding",
"title": "Understanding the Supply Chain and Risks of Large Language Model Applications",
"authors": "Yujie Ma, Lili Quan, Xiaofei Xie, Qiang Hu, Jiongchi Yu, Yao Zhang, Sen Chen",
"year": 2026,
"venue": "arxiv",
"ccf": "N",
"core": "N",
"thcpl": "N",
"type": "conference",
"accepted": false,
"ncsCategory": "NONE",
"sciZone": "NONE",
"fields": [
"人工智能"
],
"researchDirections": [
"大模型推理与训练",
"大数据系统优化"
],
"link": "https://arxiv.org/pdf/2507.18105",
"abstract": "LLM 系统依赖复杂的软件供应链(模型、数据集、库等),但现有风险研究多局限于模型或数据层面,缺乏系统性评估基准。为此,作者提出 LLMSCBench 数据集,刻画 LLM 生态中的依赖关系与安全风险,并通过实证分析揭示其广泛且复杂的供应链漏洞,强调加强安全与隐私防护的必要性。"
},
{
"id": "ASE2025AutoFid",
"title": "AutoFid: Adaptive and Noise-Aware Fidelity Measurement for Quantum Programs via Circuit Graph Analysis",
"authors": "Tingting Li, Ziming Zhao*, Jianwei Yin*",
"year": 2025,
"venue": "ASE",
"ccf": "A",
"core": "A*",
"thcpl": "A",
"type": "conference",
"accepted": true,
"ncsCategory": "NONE",
"sciZone": "NONE",
"fields": [
"软件工程/系统软件/程序设计语言",
"交叉/综合/新兴"
],
"researchDirections": [
"量子智能"
],
"link": "https://conf.researchr.org/home/ase-2025",
"abstract": "处于噪声高的中尺度量子(NISQ)时代,量子计算机面临着固有噪声和有限量子比特相干性的重大挑战。准确的量子态保真度评估需要多次重复测量以获得统计结果。但由于量子噪声的动态和器件依赖性,确定最佳测量次数仍是一个未解问题。现有方法要么假设对噪声模型有先验知识,要么固有地采用固定的测量策略,这限制了其在实际部署场景中的适用性。本文介绍了AutoFid,一种自适应且能感知噪声的保真度测量框架,能够根据电路结构和硬件反馈自动确定所需测试次数。AutoFid 将量子电路建模为有向无环图,并通过随机游走估计结构复杂度,从而实现测量工作量的估算。它还集成了对转译感知的功能,如门控保真度、深度膨胀和串扰,以优化迭代预算。运行期间,AutoFid 动态采样保真度结果,并基于置信区间采用早期停止策略,减少重复测量,同时保持准确性保证。我们基于18项在真实IBMQ硬件平台上执行的量子基准测试来评估AutoFid。实验结果显示,AutoFid 相比固定射击和基于学习的基线,测量成本降低了超过 50%,同时保真度偏差始终低于 0.01。利用经典软件测试指标和消融研究进行额外分析,展示了其在广泛量子工作负载下的有效性、鲁棒性和适应性。",
"imageUrl": "figures/TIFS2025TDQDF.png"
},
{
"id": "ASE2025Defects4C",
"title": "Defects4C: Benchmarking Large Language Model Repair Capability with C/C++ Bugs",
"authors": "Jian Wang, Xiaofei Xie, Qiang Hu, Shangqing Liu, Jiongchi Yu, Jiaolong Kong, Yi Li",
"year": 2025,
"venue": "International Conference on Automated Software Engineering",
"ccf": "A",
"core": "A*",
"thcpl": "A",
"type": "conference",
"accepted": true,
"ncsCategory": "NONE",
"sciZone": "NONE",
"fields": [
"软件工程/系统软件/程序设计语言",
"人工智能"
],
"researchDirections": [
"代码修复"
],
"link": "https://arxiv.org/abs/2510.11059",
"abstract": "Defects4C 是一个面向 C/C++ 程序修复的高质量基准数据集,用于解决当前自动程序修复研究中缺乏真实世界 C/C++ 数据的问题。该方法从开源仓库中构建包含约 900 万条缺陷相关提交、248 个高质量缺陷函数和 102 个漏洞函数的数据集,并配套测试用例以支持可复现评估。在此基础上,基于 Defects4C 对 24 个主流大语言模型在 C/C++ 缺陷修复任务中的能力进行了系统实验分析。结果表明,尽管 LLM 在 Java 等语言上表现良好,但在真实 C/C++ 场景下修复性能显著下降,尤其在多行缺陷和依赖上下文信息的问题上表现不足。总体而言,Defects4C 为评估和改进 LLM 驱动的程序修复方法提供了关键基础,同时揭示了当前方法在复杂系统级语言中的局限性"
},
{
"id": "ASE2026QGenome",
"title": "The Gene Is Not the Gate: Conceptualizing the Semantic Genome of Quantum Software",
"authors": "Jiongchi Yu, Yue Duan, Ziming Zhao*, Xiaofei Yue, Zhaoxuan Li",
"year": 2026,
"venue": "ASE Workshop",
"ccf": "N",
"core": "N",
"thcpl": "N",
"type": "conference",
"accepted": true,
"ncsCategory": "NONE",
"sciZone": "NONE",
"fields": [
"软件工程/系统软件/程序设计语言"
],
"researchDirections": [
"量子智能",
"量子软工"
],
"link": "",
"abstract": "本文提出了 QGenome(Quantum Software Genome) 概念框架,旨在为量子软件建立一种类似“基因组”的语义描述体系,以解决现有软件抽象方法难以跨越应用、编译器、运行时和硬件层表达量子软件核心语义的问题。该方法将量子软件中的可复用责任单元定义为“软件基因”,通过类型化描述、依赖关系、演化路径和证据关联,实现对量子程序语义、实现过程和跨层行为的追踪。研究进一步构建了量子软件基因组的组织模型,为量子软件复用、演化分析、缺陷定位和自动化验证提供了新的理论基础。该工作为未来量子软件工程的发展提出了一种面向语义和生命周期管理的新型研究范式。"
},
{
"id": "BIBM2024DCANet",
"title": "DCA-Net:Data-Driven Collaborative Assistance Network for Semi-supervised Medical Segmentation",
"authors": "Yuhan Chen, Chunshi Wang, Bin Zhao*",
"year": 2024,
"venue": "BIBM",
"ccf": "B",
"core": "N",
"thcpl": "N",
"type": "conference",
"accepted": true,
"ncsCategory": "NONE",
"sciZone": "NONE",
"fields": [
"人工智能",
"交叉/综合/新兴"
],
"researchDirections": [
"医学智能",
"半监督学习",
"医学图像分割"
],
"link": "https://ieeexplore.ieee.org/abstract/document/10821880/",
"abstract": "在本文当中,我们重点关注半监督医学图像分割问题中标记数据与未标记数据之间的经验匹配问题。当标记数据与未标记数据之间的经验匹配度不高时,网络无法更好的利用从标记数据当中学到的知识。为此,我们提出了一种高效优雅的方法,称为\"DCA-Net\",该方法使用了频域中的数据增强模块-STM与数据双向复制粘贴-BCP, 可以更好的减少标记数据与未标记数据的分布差距。同时,我们将知识蒸馏领域与半监督学习相结合,促进更深入的特征学习和更稳定的模型行为。我们使用\"DCA-Net\"在LA数据集与ACDC数据集进行实验并取得Sota的效果。"
},
{
"id": "CCS2023ThemisPoster",
"title": "Poster: Detecting Adversarial Examples Hidden under Watermark Perturbation via Usable Information Theory",
"authors": "Ziming Zhao, Zhaoxuan Li, Tingting Li, Zhuoxue Song, Fan Zhang, Rui Zhang",
"year": 2023,
"venue": "ACM SIGSAC Conference on Computer and Communications Security",
"ccf": "N",
"core": "N",
"thcpl": "N",
"type": "conference",
"accepted": true,
"ncsCategory": "NONE",
"sciZone": "NONE",
"fields": [
"网络安全",
"人工智能"
],
"researchDirections": [
"AI安全"
],
"link": "https://doi.org/10.1145/3576915.3624396",
"abstract": "针对图像水印可被攻击者利用以构造对抗样本、从而混淆深度学习分类器,而现有针对噪声扰动的对抗样本检测方法对水印型扰动效果不佳的问题,本文提出基于可用信息论的水印对抗样本检测方法 Themis。该方法无需修改受保护的分类器,也不依赖对抗样本生成过程信息,而是通过辅助模型计算样本的点可用信息(PVI)分数,从而识别隐藏在水印扰动下的对抗样本。实验结果表明,在 InceptionV3 等常用模型及多种攻击设置下,Themis 相较于 5 种现有 SOTA 方法的检测准确率提升超过 15%,同时具有更高的 AUC 和较低的额外开销。"
},
{
"id": "CCS2024SmartContractSymX",
"title": "Demo: Enhancing Smart Contract Security Comprehensively through Dynamic Symbolic Execution",
"authors": "Zhaoxuan Li, Ziming Zhao, Wenhao Li, Rui Zhang, Rui Xue, Siqi Lu, Fan Zhang",
"year": 2024,
"venue": "ACM SIGSAC Conference on Computer and Communications Security",
"ccf": "A",
"core": "A*",
"thcpl": "A",
"type": "conference",
"accepted": true,
"ncsCategory": "NONE",
"sciZone": "NONE",
"fields": [
"软件工程",
"网络安全"
],
"researchDirections": [
"网络安全"
],
"link": "https://doi.org/10.1145/3658644.3691365",
"abstract": "针对智能合约漏洞仿真、结果验证与行为识别需求,以及传统符号执行难以还原合约真实执行路径的问题,本文提出一种基于动态符号执行的智能合约安全增强方法。该方法通过选择性规避策略尽可能保留相对完整的循环路径,结合真实合约执行以保证调用合约与被调用合约之间的数据一致性,并通过及时记录 EVM 操作过程中的状态变化来支持多交易连续执行。在此基础上,系统能够同时完成漏洞检测、漏洞验证和合约调用行为识别。实验结果表明,该方法实现了 90.22% 的漏洞检测准确率和 98.04% 的合约调用行为识别准确率,并能够有效验证重入、任意发送、合约自毁、整数溢出等典型漏洞。"
},
{
"id": "CSCWD2024AlertCrossVerification",
"title": "An Automated Alert Cross-Verification System with Graph Neural Networks for IDS Events",
"authors": "Liang Li, Feiyang Huang, Yuanhui He, Ziming Zhao, Zhuoxue Song, Tong Zhou, Zhenyuan Li, Fan Zhang*",
"year": 2024,
"venue": "CSCWD",
"ccf": "C",
"core": "N",
"thcpl": "N",
"type": "conference",
"accepted": true,
"ncsCategory": "NONE",
"sciZone": "NONE",
"fields": [
"网络与信息安全",
"人工智能"
],
"researchDirections": [
"网络与算网融合"
],
"link": "http://2024.cscwd.org/",
"abstract": "入侵检测系统(IDS)对于检测网络攻击以及确保网络资源的机密性和完整性至关重要。目前,行业标准的IDS主要依赖基于规则或异常检测技术。然而,现有的检测技术常常产生假阳性和假阴性,也称为警报疲劳问题。大量错误事件通过给安全分析师带来的负担,降低了IDS的效率。本文介绍了ACVS,一种创新的自动警报交叉验证系统,利用图神经网络识别安全事件中的错误分类。最初,ACVS利用IP地址和时间戳等属性生成事件图,并利用警报信息验证错误分类。最后,系统使用图神经网络自动分类和纠正这些安全事件。我们基于包含超过500万次安全事件的大量真实世界数据集进行ACVS评估,这些事件被划分为5个不同组别。结果显示,反腐化检测系统显著提升了入侵检测系统的准确性,并大幅减少了人工分析的需求。"
},
{
"id": "CommPhys2024SimulatingUnsteadyFlows",
"title": "Simulating unsteady flows on a superconducting quantum processor",
"authors": "Zhaoyuan Meng, Jiarun Zhong, Shibo Xu, Ke Wang, Jiachen Chen, Feitong Jin, Xuhao Zhu, Yu Gao, Yaozu Wu, Chuanyu Zhang, Ning Wang, Yiren Zou, Aosai Zhang, Zhengyi Cui, Fanhao Shen, Zehang Bao, Zitian Zhu, Ziqi Tan, Tingting Li, Pengfei Zhang, Shiying Xiong, Hekang Li, Qiujiang Guo, Zhen Wang, Chao Song, H. Wang, Yue Yang",
"year": 2024,
"venue": "Communications Physics",
"ccf": "N",
"core": "N",
"thcpl": "N",
"type": "journal",
"accepted": true,
"ncsCategory": "NCS_SUB",
"sciZone": "SCI1",
"fields": [
"交叉/综合/新兴",
"计算机体系结构/并行与分布计算/存储系统"
],
"researchDirections": [
"量子智能"
],
"link": "https://www.nature.com/articles/s42005-024-01845-w",
"doi": "https://doi.org/10.1038/s42005-024-01845-w",
"abstract": "该工作在超导量子处理器上实现了非定常流体的数字量子模拟,算法基于薛定谔方程流体力学形式下的哈密顿量演化。作者利用 10 个量子比特分别模拟二维可压缩发散流与二维衰减涡流,实验结果较好刻画了平均密度、动量分布及其时序变化。研究表明,量子计算有望在复杂流体动力学乃至湍流模拟中发挥作用。"
},
{
"id": "CompNet2024metaNet",
"title": "metaNet: Interpretable Unknown Mobile Malware Identification with a Novel Meta-features Mining Algorithm",
"authors": "Zhaoxuan Li, Ziming Zhao, Rui Zhang, Haoyang Lu, Wenhao Li, Fan Zhang, Siqi Lu, Rui Xue",
"year": 2024,
"venue": "Computer Networks",
"ccf": "B",
"core": "B",
"thcpl": "B",
"type": "journal",
"accepted": true,
"ncsCategory": "NONE",
"sciZone": "SCI1",
"fields": [
"计算机网络",
"网络安全",
"人工智能"
],
"researchDirections": [
"未知检测",
"机器学习"
],
"link": "https://dl.acm.org/doi/10.1016/j.comnet.2024.110563",
"abstract": "针对已知与未知家族移动恶意软件在开放集场景下面临的准确性、鲁棒性、稳定性与可解释识别挑战,本文提出 metaNet 方法。该方法综合提取类别静态与动态特征,基于 FP-trees 挖掘类别特征频繁项,并结合差集过滤得到类别元特征;在此基础上,构建异构孪生 U-Net 网络模型 HSU-Net 以完成二分类与多分类任务。实验结果表明,metaNet 不仅能够实现已知家族样本的高精度识别,在未知家族识别场景下也具有优异表现:二分类任务中,已知家族识别准确率达到 99.52%,在已知 80% 家族条件下未知家族识别准确率达到 99.31%;多分类任务中,已知与未知家族样本识别准确率分别达到 99.05% 和 93.45%。此外,该方法还支持少样本识别并能有效缓解特征混淆带来的影响。在 16 个类别、112 个去中心化应用程序(DApps)流量数据集上,metaNet 也能够准确识别 94.6% 的全已知 DApp 样本和 81.36% 的已知 80% DApp 样本类别。"
},
{
"id": "CompSecurity2024DDoSFamily",
"title": "DDoS Family: A Novel Perspective for Massive Types of DDoS Attacks",
"authors": "Ziming Zhao, Zhaoxuan Li, Zhihao Zhou, Jiongchi Yu, Zhuoxue Song, Xiaofei Xie, Fan Zhang*, Rui Zhang",
"year": 2024,
"venue": "Computers & Security",
"ccf": "B",
"core": "B",
"thcpl": "N",
"type": "journal",
"accepted": true,
"ncsCategory": "NONE",
"sciZone": "SCI1",
"fields": [
"网络与信息安全"
],
"researchDirections": [
"网络安全",
"网络流量"
],
"link": "https://www.sciencedirect.com/science/article/pii/S0167404823005734",
"abstract": "本文针对 DDoS 防御中攻击变种不断增多所带来的识别与响应难题,提出了“DDoS 家族”这一新概念。随着攻击策略日益复杂,传统机器学习方法在二分类和细粒度攻击分类两端都面临局限,同时大量攻击类别也会导致过滤规则表臃肿、缓解响应变慢。为此,本文从流量模式刻画、攻击指纹生成以及基于社区发现的交叉执行家族划分三个方面构建技术路线,以实现对相似攻击的统一建模。大量实验表明,该方法能够有效刻画攻击之间的相似性,辅助模型分类与未知攻击检测,并优化防御策略、提升过滤响应速度。特别地,研究发现仅用一条规则即可防御 15 种具有同质行为特征的攻击,同时“统计反向数据包”在应对部分攻击时比以往方案更高效、更鲁棒。"
},
{
"id": "DAC2026Bayesian",
"title": "Time-Aware Active Calibration and Scheduling for N-Qubit Systems via Bayesian Optimization and Reinforcement Learning",
"authors": "Ziming Zhao, Tingting Li*, Xiaofei Yue, Zhaoxuan Li, Jianwei Yin*",
"year": 2026,
"venue": "DAC",
"ccf": "A",
"core": "A*",
"thcpl": "A",
"type": "conference",
"accepted": true,
"ncsCategory": "NONE",
"sciZone": "NONE",
"fields": [
"计算机体系结构/并行与分布计算/存储系统"
],
"researchDirections": [
"量子EDA"
],
"link": "",
"abstract": "该工作提出了一种面向多量子比特系统的时间感知主动校准框架,用于在参数漂移和校准代价较高的情况下提升量子硬件维护效率。方法将校准过程建模为有向无环图,其中节点表示频率、振幅比、DRAG 和相位等硬件参数,边则刻画参数之间的依赖关系,并结合 OU 过程或指数衰减模型描述参数随时间的漂移特性。框架进一步融合贝叶斯优化与强化学习:前者用于自适应选择最有价值的校准实验,后者结合调度策略协调跨量子比特的校准与读出任务,以减少空闲时间和资源冲突。系统还利用在线 RB/XEB 健康指标触发自主重校准,从而在无人干预下实现对漂移的动态恢复。实验结果表明,该方法相比固定或启发式调度策略能够显著提高校准效率、延长重校准间隔,并降低整体校准开销。"
},
{
"id": "DAC2026sMoE",
"title": "sMoE: Elastic MoE-Based Inference with Serverless Computing via Fine-grained Expert Scaling",
"authors": "Xiaofei Yue, Ziming Zhao*, Jiongchi Yu, Huidong Ma, Zhaoxuan Li, Tingting Li*, Jianwei Yin*",
"year": 2026,
"venue": "DAC",
"ccf": "A",
"core": "A*",
"thcpl": "N",
"type": "conference",
"accepted": true,
"ncsCategory": "NONE",
"sciZone": "NONE",
"fields": [
"计算机体系结构/并行与分布计算/存储系统"
],
"researchDirections": [
"模型推理"
],
"link": "",
"abstract": "针对MoE推理中专家负载偏斜与动态变化问题,提出sMoE细粒度专家弹性扩缩系统。将推理建模为专家DAG并结合DAGNN与强化学习实现资源调度优化。在满足P95延迟SLO的同时降低21.4%–39.2%推理成本。"
},
{
"id": "DASFAA2025CyberLLM",
"title": "CyberLLM: Enable Mapping CVE to Tactics and Techniques of Cyber Threats via LLM",
"authors": "Ziming Zhao, Zhaoxuan Li, Tingting Li, Fan Zhang*",
"year": 2025,
"venue": "DASFAA",
"ccf": "B",
"core": "A",
"thcpl": "B",
"type": "conference",
"accepted": true,
"ncsCategory": "NONE",
"sciZone": "NONE",
"fields": [
"数据库/数据挖掘/内容检索",
"网络与信息安全"
],
"researchDirections": [
"大模型 for 安全"
],
"link": "https://link.springer.com/chapter/10.1007/978-981-95-4155-3_33",
"abstract": "CyberLLM 是一种面向网络安全场景的大语言模型方法,用于将 CVE 自动映射到 ATT&CK 框架中的攻击战术与技术。该方法将这一任务建模为多标签分类问题,以适应一个漏洞可能对应多种攻击技术的实际情况。为提升语义表达能力,CyberLLM 对漏洞文本描述进行向量化处理,并结合多种数据增强策略丰富训练信息,同时利用基于 Jaccard 距离的检索机制引入外部知识以增强上下文。实验结果表明,CyberLLM 相比 7 种代表性现有方法具有更好的映射效果。除此之外,作者还通过消融实验和可解释性分析进一步验证了数据增强与检索信息的有效性。"
},
{
"id": "DATE2025MoE",
"title": "Empowering Quantum Error Traceability with MoE for Automatic Calibration",
"authors": "Tingting Li, Ziming Zhao, Liqiang Lu*, Siwei Tan, Jianwei Yin*",
"year": 2025,
"venue": "DATE",
"ccf": "B",
"core": "A",
"thcpl": "B",
"type": "conference",
"accepted": true,
"ncsCategory": "NONE",
"sciZone": "NONE",
"fields": [
"交叉/综合/新兴",
"计算机体系结构/并行与分布计算/存储系统"
],
"researchDirections": [
"量子智能"
],
"link": "https://ieeexplore.ieee.org/abstract/document/10993074",
"abstract": "该工作提出了一种基于专家混合(MoE)的量子校准错误回溯方法,用于解决传统自动校准过程中难以定位根因、往往需要反复尝试的问题。该方法借鉴大语言模型中的 MoE 思想,对校准失败进行可追踪分析,从而更快识别导致偏离校准状态的关键误差来源。相比仅依赖经验或固定流程的传统方法,这种机制能够在自动校准过程中实现更高效的错误定位与修正。实验结果表明,该方法在错误追踪能力和校准效率上均明显优于现有技术,并使 77 个量子比特的平均可见度提升了 25.5%。总体来看,这项研究为构建更可靠、可扩展的量子计算系统提供了一条有前景的技术路径。"
},
{
"id": "EMNLP2026SRSD",
"title": "Semantic Retrieval Speculative Decoding with Intermediate Representations",
"authors": "Fangming Zhao#, Xiaofei Yue#, Fulun Ye, Yu Peng, Ziming Zhao*, Lewei Jin, Wei Wu, Tianxiang Chen, Tingting Li, Jianwei Yin",
"year": 2026,
"venue": "EMNLP 2026 Findings",
"ccf": "B",
"core": "A*",
"thcpl": "B",
"type": "conference",
"accepted": true,
"ncsCategory": "NONE",
"sciZone": "NONE",
"fields": [
"人工智能",
"交叉/综合/新兴"
],
"researchDirections": [
"大模型推理与训练",
"模型推理",
"大模型推理优化"
],
"link": "https://openreview.net/forum?id=2XFRaU6aTT",
"abstract": "自回归解码的逐 token 生成特性使其成为大语言模型推理的关键瓶颈。投机解码通过一次生成并验证多个 token 来减少目标模型前向次数,但现有方法要么引入额外的草稿模型开销,要么依赖脆弱的词法片段复用。本文观察到,在代码生成和文本编辑等结构化任务中,潜在语义上下文存在显著的引用局部性与语义冗余,据此提出无需训练的语义检索投机解码方法 SRSD,将中间层隐藏状态作为上下文语义索引,在每个解码步骤检索语义相似的历史位置,将多个候选合并为紧凑树并通过一次前向传播联合验证。SRSD 无需辅助模型或外部数据存储。在多种流行大语言模型上的实验表明,相较现有无需训练的方法和参数化草稿模型,SRSD 的吞吐速度最高可提升 5.42 倍。代码已开源于 https://github.com/Secbrain/SRSD。",
"pdf": "https://openreview.net/pdf?id=2XFRaU6aTT"
},
{
"id": "EMSE2022SmartFast",
"title": "SmartFast: An Accurate and Robust Formal Analysis Tool for Ethereum Smart Contracts",
"authors": "Zhaoxuan Li, Siqi Lu, Rui Zhang, Rui Xue, Wenqiu Ma, Rujin Liang, Ziming Zhao, Sheng Gao",
"year": 2022,
"venue": "Empirical Software Engineering",
"ccf": "B",
"core": "A",
"thcpl": "B",
"type": "journal",
"accepted": true,
"ncsCategory": "NONE",
"sciZone": "SCI1",
"fields": [
"软件工程",
"网络安全"
],
"researchDirections": [
"网络安全"
],
"link": "https://doi.org/10.1007/s10664-022-10218-2",
"abstract": "针对现有以太坊智能合约漏洞分析方法在漏洞覆盖范围有限、验证效率较低以及检测精度不足等方面的问题,本文提出了形式化分析工具 SmartFast。该方法设计了能够覆盖更丰富合约语义的中间表示 SmartIR,并实现 Solidity 源码到中间表示的转换;同时结合定制化漏洞安全模式与污点分析技术完成漏洞匹配与检测。实验结果表明,SmartFast 可检测 119 种智能合约漏洞,超过当时代表性工具 Slither 的 71 种,并取得 98.43% 的精确率和 85.12% 的召回率;此外,该方法对破坏数据依赖关系和上下文语义关联的代码混淆手段也表现出较强鲁棒性。"
},
{
"id": "FSE2025CAShift",
"title": "CAShift: Benchmarking Log-Based Cloud Attack Detection under Normality Shift",
"authors": "Jiongchi Yu, Xiaofei Xie, Qiang Hu*, Bowen Zhang, Ziming Zhao, Yun Lin, Lei Ma, Ruitao Feng, Frank Liauw",
"year": 2025,
"venue": "ESEC/SIGSOFT FSE",
"ccf": "A",
"core": "A*",
"thcpl": "A",
"type": "conference",
"accepted": true,
"ncsCategory": "NONE",
"sciZone": "NONE",
"fields": [
"软件工程/系统软件/程序设计语言",
"网络与信息安全"
],
"researchDirections": [
"云计算与云服务器"
],
"link": "https://dl.acm.org/doi/abs/10.1145/3729346",
"abstract": "CAShift 是一个面向云环境日志异常检测的数据集,旨在弥补现有云系统数据集在行为覆盖范围和整体系统视角上的不足。该数据集综合考虑了云系统中不同软件角色,并支持应用变化、版本变化和云架构变化三种真实的正常性偏移场景,同时包含 20 种针对不同云组件的攻击场景。基于 CAShift,作者系统评估了现有日志异常检测方法在分布偏移条件下的表现,发现各类方法都会受到显著影响,性能最高可下降 34%。此外,论文还进一步研究了持续学习方法在偏移适应中的作用,结果表明其能够在一定程度上缓解性能退化,但效果高度依赖重训练数据比例和具体算法选择。总体来看,CAShift 为研究更鲁棒的云日志异常检测与分布偏移适应提供了重要基础。"
},
{
"id": "FSE2026CrypFormBench",
"title": "CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic schemes",
"authors": "Zhaoxuan Li, Qionglu Zhang, Hengyuan Liu, Xiaoyan Gu, Xianhui Lu, Hongbo Liu, Bingzheng Wang, Haihui Fan, Ziming Zhao, Rui Zhang, Li Zhou",
"year": 2026,
"venue": "ACM International Conference on the Foundations of Software Engineering",
"ccf": "A",
"core": "A*",
"thcpl": "A",
"type": "conference",
"accepted": true,
"ncsCategory": "NONE",
"sciZone": "NONE",
"fields": [
"软件工程",
"网络安全",
"人工智能"
],
"researchDirections": [
"大模型 for 安全",
"AI安全"
],
"link": "",
"abstract": "针对密码方案形式化分析长期依赖专家手动抽象与编写工具特定规范、耗时高且门槛高,以及现有相关基准主要覆盖符号安全、规模有限、难以系统评估大语言模型在密码方案分析中核心能力的问题,本文提出 CrypFormBench 基准。该基准首次联合覆盖符号安全与计算安全,包含 700 个实例,覆盖 677 个密码方案、7 种主流形式验证语言和 160 个安全属性,并建立了自动化评估流水线与多维评分框架,用于系统衡量大语言模型在解释、生成、补全、转换和修正五项核心任务上的能力。基于对 9 个先进大语言模型的实验评估,结果表明模型在解释与补全任务上表现相对较好,但在生成、转换和修正任务上仍存在明显局限,其中 Claude-3.5 取得最高总分 48.7/100。进一步地,本文提出了少样本提示、Pass@K 采样和轻量级微调等优化建议,为大语言模型辅助密码方案形式化分析提供了系统评估基准与实践指导。"
},
{
"id": "ICAIS2021KeyHierarchicalManagement",
"title": "Secure and Efficient Key Hierarchical Management and Collaborative Signature Schemes of Blockchain",
"authors": "Rui Zhang, Zhaoxuan Li, Lijuan Zheng",
"year": 2021,
"venue": "International Conference on Artificial Intelligence and Security",
"ccf": "N",
"core": "N",
"thcpl": "N",
"type": "conference",
"accepted": true,
"ncsCategory": "NONE",
"sciZone": "NONE",
"fields": [
"网络安全"
],
"researchDirections": [
"网络安全"
],
"link": "https://doi.org/10.1007/978-3-030-78612-0_27",
"abstract": "为了提升区块链密钥管理的安全性与效率,并满足协同签名场景下的应用需求,本文提出了一种结合安全多方计算与特征加密的层次化密钥管理与协同签名方案。该方案能够保障各层级密钥的安全性,抵御数据篡改攻击、密钥窃取攻击、碎片泄漏攻击和明文窃取攻击;同时,在保证安全性的基础上减少用户文件共享时间和存储开销,提高系统资源利用率与整体运行效率。"
},
{
"id": "ICDCS2026QCLink",
"title": "QCLink: Offloading Hybrid Quantum-Classical Computation to SmartNICs via RDMA",
"authors": "Xingdong Li#, Yongzhuo Lu#, Z Li, Xiaofei Yue, Junyu Chen, Yu Peng, Tingting Li*, Zhaoxuan Li, Ziming Zhao*, Jianwei Yin*",
"year": 2026,
"venue": "ICDCS",
"ccf": "B",
"core": "A",
"thcpl": "B",
"type": "conference",
"accepted": true,
"ncsCategory": "NONE",
"sciZone": "NONE",
"fields": [
"计算机网络",
"计算机体系结构/并行与分布计算/存储系统"
],
"researchDirections": [
"量子经典混合加速",
"量子算法卸载"
],
"link": "",
"abstract": "本文从网络系统视角研究混合量子-经典算法的端到端性能瓶颈,指出频繁细粒度通信、主机 CPU 介入和尾延迟放大会使经典优化控制环成为扩展性障碍。论文提出 QCLINK,一个基于 SmartNIC 的卸载框架,将参数扰动、梯度估计和迭代控制等混合优化逻辑下沉到网络数据平面执行。QCLINK 结合 RDMA 实现经典控制器与量子后端之间的低延迟、CPU-bypass 通信,从而降低每轮迭代开销并缓解控制环抖动。原型实验表明,相比以主机为中心的基线方案,QCLINK 能显著改善单次迭代延迟和端到端完成时间,同时稳定尾延迟并释放主机 CPU 资源。"
},
{
"id": "ICME2026EMISCFEIG",
"title": "Towards Efficient Medical Image Segmentation via Collaborative Feature Enhancement and Inception GroupMamba",
"authors": "Fanqi Kong , Yuhan Chen, Ziming Zhao*",
"year": 2026,
"venue": "The IEEE International Conference on Multimedia & Expo 2026",
"ccf": "B",
"core": "A",
"thcpl": "N",
"type": "conference",
"accepted": true,
"ncsCategory": "NONE",
"sciZone": "NONE",
"fields": [
"计算机图形学与多媒体",
"人工智能",
"其他",
"医疗图像分割"
],
"researchDirections": [
"医学智能"
],
"link": "",
"abstract": "本工作面向现代医疗多媒体系统中的医学图像分割场景,研究了兼顾全局建模能力与计算效率的轻量化分割方法。针对现有基于Mamba和状态空间模型的分割网络在复杂解剖结构与噪声干扰下难以有效筛选关键特征,以及多尺度信息融合易削弱长程依赖建模能力的问题,提出了一种轻量级U形网络CEIGM-UNet。该方法设计了协同特征增强层(CFEL)和调制式Inception分组Mamba层(MIGML):前者在解码过程中强化并传递与分割任务相关的关键特征分布,后者通过通道级特征分配实现多尺度特征细化,同时保留主导性的长程信息传播路径。实验结果表明,CEIGM-UNet在Synapse数据集上取得85.61%的Dice相似系数和10.00 mm的95%豪斯多夫距离,在ACDC数据集上取得92.81%的Dice相似系数和1.05 mm的95%豪斯多夫距离,并在参数量和浮点运算量均低于多种竞争方法的情况下实现了更优的分割性能。此外,跨模态迁移与适配器式微调实验进一步验证了该方法在实际医疗影像分析场景中的部署潜力。"
},
{
"id": "ICML2026CoFT2I",
"title": "CoF-T2I: Video Models as Pure Visual Reasoners for Text-to-Image Generation",
"authors": "Chengzhuo Tong, Mingkun Chang, Shenglong Zhang, Yuran Wang, Cheng Liang, Zhizheng Zhao, Ruichuan An, Bohan Zeng, Yang Shi, Yifan Dai, Ziming Zhao, Guanbin Li, Pengfei Wan, Yuanxing Zhang, Wentao Zhang",
"year": 2026,
"venue": "ICML",
"ccf": "A",
"core": "A*",
"thcpl": "A",
"type": "conference",
"accepted": false,
"ncsCategory": "NONE",
"sciZone": "NONE",
"fields": [
"人工智能"
],
"researchDirections": [
"文生图",
"大模型"
],
"link": "https://arxiv.org/abs/2601.10061",
"abstract": "本文提出 CoF-T2I,将视频生成模型中的 Chain-of-Frame(CoF)推理能力 引入文本到图像生成任务,通过逐帧渐进式视觉细化,把中间帧作为显式推理过程,最终帧作为生成结果。 为构建这种可解释的生成流程,作者设计了 CoF-Evol-Instruct 数据集,用于刻画从语义到审美的连续生成轨迹。 同时,为了进一步提升生成质量并减少视频模型常见的运动伪影问题,方法中采用了对每一帧进行独立编码的策略。 实验结果表明,CoF-T2I 相比基础视频模型取得了显著提升,并在多个具有挑战性的基准测试中表现出较强竞争力,在 GenEval 上达到 0.86,在 Imagine-Bench 上达到 7.468。"
},
{
"id": "ICSE2023GameRTS",
"title": "GameRTS: A Regression Testing Framework for Video Games",
"authors": "Jiongchi Yu#, Yuechen Wu#, Xiaofei Xie, Wei Le, Lei Ma, Yingfeng Chen, Yujing Hu, Fan Zhang",
"year": 2023,
"venue": "International Conference on Software Engineering",
"ccf": "A",
"core": "A*",
"thcpl": "A",
"type": "conference",
"accepted": true,
"ncsCategory": "NONE",
"sciZone": "NONE",
"fields": [
"软件工程/系统软件/程序设计语言"
],
"researchDirections": [
"软件测试",
"游戏测试"
],
"link": "https://ieeexplore.ieee.org/document/10172905/",
"abstract": "GameRTS 是一种面向视频游戏的软件回归测试框架,用于解决游戏开发中频繁更新、测试周期长等特点带来的测试效率问题。该方法首先通过实证研究分析游戏开发流程、缺陷特征及其上下文敏感性,在此基础上提出一种兼顾安全性与实用性的回归测试选择技术。具体而言,GameRTS 将游戏测试建模为状态转移图,并建立游戏状态/动作与多种游戏文件之间的依赖关系,通过变更影响分析识别受影响的测试路径,从而选择最小必要测试集合。实验结果表明,GameRTS 能显著减少测试开销,同时保持对回归缺陷的完整检测能力,并优于传统基于文件级的 RTS 方法,在减少测试规模的同时还能发现新的关键缺陷。"
},
{
"id": "ICSEPOSTER2026AutoEmpirical",
"title": "Towards Automatic Software Faults Analysis",
"authors": "Jiongchi Yu#, Weipeng Jiang#, Xiaoyu Zhang*, Qiang Hu*, Xiaofei Xie, Chao Shen",
"year": 2026,
"venue": "International Conference on Software Engineering",
"ccf": "A",
"core": "A*",
"thcpl": "A",
"type": "conference",
"accepted": true,
"ncsCategory": "NONE",
"sciZone": "NONE",
"fields": [
"软件工程/系统软件/程序设计语言",
"人工智能"
],
"researchDirections": [
"大模型多智能体",
"实证研究"
],
"link": "https://arxiv.org/abs/2510.04997",
"abstract": "AutoEmpirical 是一种基于大语言模型的自动化软件故障实证研究框架,旨在解决传统故障分析过程中人工成本高、效率低的问题。该方法将实证研究流程划分为研究定义、数据准备和故障分析三个阶段,并通过多模型协作实现各阶段任务自动化。在具体实现中,大模型用于自动选择研究对象、筛选故障相关问题,并基于预定义分类体系对故障症状与根因进行标注与分析。实验结果表明,该框架可将原本需数周完成的分析任务缩短至约两小时,实现约20倍效率提升;但在细粒度分类任务中准确率仍有限,尤其在根因分析方面存在不足。总体而言,AutoEmpirical 展示了 LLM 在自动化软件工程研究中的潜力,同时也揭示了其在复杂推理与上下文理解方面的挑战。"
},
{
"id": "ICWS2020SmartContractExecution",
"title": "A Secure and Efficient Smart Contract Execution Scheme",
"authors": "Zhaoxuan Li, Rui Zhang, Pengchao Li",
"year": 2020,
"venue": "IEEE International Conference on Web Services",
"ccf": "B",
"core": "A",
"thcpl": "B",
"type": "conference",
"accepted": true,
"ncsCategory": "NONE",
"sciZone": "NONE",
"fields": [
"软件工程",
"网络安全"
],
"researchDirections": [
"网络安全"
],
"link": "https://doi.org/10.1007/978-3-030-59618-7_2",
"abstract": "针对基于安全多方计算的智能合约执行过程中,攻击者可以执行与重构者相同过程以恢复共享秘密值、从而导致隐私泄露的问题,本文提出一种安全高效的智能合约执行方案。该方法改进了 DGHV 半同态加密算法,以减小公钥大小和密文长度并提升加密效率;在此基础上,进一步设计融合安全多方计算与同态加密的智能合约执行框架 SMPC-HE,在保证合约执行隐私性的同时确保计算结果的正确性,并提升执行公平性。理论分析与实验结果表明,该方案具有良好的安全性、较高的执行效率以及较低的空间开销。"
},
{
"id": "ICWS2024Moirai",
"title": "Moirai: Optimizing Quantum Serverless Function Orchestration via Device Allocation and Circuit Deployment",
"authors": "Tingting Li, Ziming Zhao*",
"year": 2024,
"venue": "ICWS",
"ccf": "B",
"core": "B",
"thcpl": "B",
"type": "conference",
"accepted": true,
"ncsCategory": "NONE",
"sciZone": "NONE",
"fields": [
"交叉/综合/新兴",
"计算机体系结构/并行与分布计算/存储系统"
],
"researchDirections": [
"量子智能"
],
"link": "https://icws.conferences.computer.org/2024/",
"abstract": "在快速发展的量子计算领域,云量子服务的出现为更广泛的用户群体打开了对这项尖端技术的访问。随着这些服务需求的增长,高效且及时地交付量子计算能力变得愈发关键。然而,当前在特定机器上执行量子任务的排队方法常常导致资源使用效率低下和等待时间延长。本文介绍了Moirai,一种量子无服务器功能编排框架,旨在缩短最大完成时间并提升设备利用率。利用量子电路的独特特性,Moirai引入了定制化的电路表示方案,结合了有向无环图(DAG)转换和图卷积网络(GCN)嵌入向量特征提取。Moirai的核心是强化学习的应用,它驱动一套用于设备分配和电路部署策略的决策流程。我们对95个主流量子算法电路、3∼7量子比特进行了广泛评估,利用10个IBM量子物理器件,采用三种芯片拓扑结构。结果表明,我们提出的框架显著提升了资源分配效率和整体性能,执行时间比基线方法显著缩短了30%以上。这凸显了Moirai作为优化量子云服务和释放量子计算技术潜力的实用解决方案的效果。"
},
{
"id": "IJCAI2025QCDeploy",
"title": "Empowering Quantum Serverless Circuit Deployment Optimization via Graph Contrastive Learning and Learning-to-Rank Co-designed Approaches",
"authors": "Tingting Li, Ziming Zhao*, Jianwei Yin*",
"year": 2025,
"venue": "IJCAI",
"ccf": "B",
"core": "A*",
"thcpl": "B",
"type": "conference",
"accepted": true,
"ncsCategory": "NONE",
"sciZone": "NONE",
"fields": [
"人工智能",
"交叉/综合/新兴"
],
"researchDirections": [
"量子云平台"
],
"link": "https://ijcai-preprints.s3.us-west-1.amazonaws.com/2025/8845.pdf",
"abstract": "QCDeploy 是一种面向量子云服务的量子线路部署优化框架,旨在为量子无服务器场景提供更优且更灵活的部署策略。该方法将量子线路表示为有向无环图,并结合图对比学习生成线路表示,再通过面向排序的学习架构输出一组按优先级排列的候选部署方案。与现有方法通常只给出单一启发式结果不同,QCDeploy 能够同时考虑用户需求,并提供多个有效策略供选择。实验结果表明,在多种量子算法线路和不同 IBM 量子设备上,QCDeploy 相比 IBMQ 默认部署方案显著降低了部署开销,并明显提升了线路执行成功率。"
},
{
"id": "IJCAI2026FedCentra",
"title": "Harmonizing Federated Heterogeneous Optimization via Adaptive Objective Rectification",
"authors": "Jianrong Lu, Bangwei Li, Zhuoya Gu, Peng Fang, Ziming Zhao, Jianhai Chen",
"year": 2026,
"venue": "IJCAI",
"ccf": "B",
"core": "A*",
"thcpl": "B",
"type": "conference",
"accepted": true,
"ncsCategory": "NONE",
"sciZone": "NONE",
"fields": [
"人工智能",
"交叉/综合/新兴"
],
"researchDirections": [
"联邦学习"
],
"link": "",
"abstract": "本文提出 FedCentra,一种面向数据异质性联邦优化的自适应目标校正方法。该方法通过解耦中心化目标,并利用动态泰勒级数展开,为每个客户端准确估计全局目标,从而使本地训练更接近理想的数据中心化训练。理论分析表明,其估计误差会随着训练推进收敛到零。大量真实数据集实验显示,FedCentra 在测试精度和通信效率上优于 SCAFFOLD、MimeLite 和 FedDyn 等先进方法,并且在低至 0.2% 客户端参与率的强异质环境中仍保持稳定优势。"
},
{
"id": "INFOCOM2024Demeter",
"title": "Demeter: Fine-grained Function Orchestration for Geo-distributed Serverless Analytics",