Kai Cong

23 papers A* 2A 6B 4C 2Journal 4Unranked 5
YearRankTypeTitle / Venue / Authors
2025 B conf
MEVLERG: Medical Vision-Language Encoder for Report Generation.
IEEE Big Data
Songwen Pei, Yunfeng Chen, Kai Cong, Xing Jia
2025 B conf
Mitigating Privacy Issues in RAG through Causal Disentanglement.
IEEE Big Data
Junyi Wang, Songwen Pei, Kai Cong, Joel Rodrigues
2025 B conf
TGRPO-SRM: Token-Aware GRPO with Semantic Reward Modeling for Referring Expression Grounding.
IEEE Big Data
Songwen Pei, Jian Zhang, Kai Cong
2022 J jnl
Gaussian gravitation for cluster ensembles.
Knowl. Based Syst.
Kai Cong, Jin Yang, Hongjun Wang, Li Tao
2020 A conf
Automated Bug Detection and Replay for COTS Linux Kernel Modules with Concolic Execution.
SANER
Bo Chen, Zhenkun Yang, Li Lei, Kai Cong, Fei Xie
2019 — conf
CUIS at the NTCIR-14 STC-3 DQ Subtask.
NTCIR
Kai Cong, Wai Lam
2019 — conf
End-to-End Concolic Testing for Hardware/Software Co-Validation.
ICESS
Bo Chen, Kai Cong, Zhenkun Yang, Qin Wang, Jialu Wang, Li Lei, Fei Xie
2019 J jnl
Hardware/Software Co-monitoring.
CoRR
Li Lei, Kai Cong, Zhenkun Yang, Bo Chen, Fei Xie
2018 B conf
CRETE: A Versatile Binary-Level Concolic Testing Framework.
FASE
Bo Chen, Christopher Havlicek, Zhenkun Yang, Kai Cong, Raghudeep Kannavara, Fei Xie
2018 — conf
Concolic testing of SystemC designs.
ISQED
Bin Lin, Kai Cong, Zhenkun Yang, Zhi-gang Liao, Tao Zhan, Christopher Havlicek, Fei Xie
2017 J jnl
Did we learn from LLC Side Channel Attacks? A Cache Leakage Detection Tool for Crypto Libraries.
CoRR
Gorka Irazoqui, Kai Cong, Xiaofei Guo, Hareesh Khattri, Arun K. Kanuparthi, Thomas Eisenbarth, Berk Sunar
2016 — conf
Generating high coverage tests for SystemC designs using symbolic execution.
ASP-DAC
Bin Lin, Zhenkun Yang, Kai Cong, Fei Xie
2016 J jnl
OpenRISC System-on-Chip Design Emulation.
CoRR
Kai Cong, Li Lei, Zhenkun Yang, Fei Xie
2016 A conf
Validating scheduling transformation for behavioral synthesis.
DATE
Zhenkun Yang, Kecheng Hao, Kai Cong, Li Lei, Sandip Ray, Fei Xie
2015 A conf
Automatic fault injection for driver robustness testing.
ISSTA
Kai Cong, Li Lei, Zhenkun Yang, Fei Xie
2014 A conf
Coverage evaluation of post-silicon validation tests with virtual prototypes.
DATE
Kai Cong, Li Lei, Zhenkun Yang, Fei Xie
2014 A* conf
Scalable Certification Framework for Behavioral Synthesis Front-End.
DAC
Zhenkun Yang, Kecheng Hao, Kai Cong, Li Lei, Sandip Ray, Fei Xie
2014 A conf
Validating direct memory access interfaces with conformance checking.
ICCAD
Li Lei, Kai Cong, Zhenkun Yang, Fei Xie
2013 A conf
Automatic concolic test generation with virtual prototypes for post-silicon validation.
ICCAD
Kai Cong, Fei Xie, Li Lei
2013 C conf
Equivalence checking for compiler transformations in behavioral synthesis.
ICCD
Zhenkun Yang, Kecheng Hao, Kai Cong, Sandip Ray, Fei Xie
2013 C conf
Optimizing post-silicon conformance checking.
ICCD
Li Lei, Kai Cong, Fei Xie
2013 A* conf
Post-silicon conformance checking with virtual prototypes.
DAC
Li Lei, Fei Xie, Kai Cong
2013 — conf
Symbolic Execution of Virtual Devices.
QSIC
Kai Cong, Fei Xie, Li Lei