Kai Cong - RankMe

23 papers A* 2A 6B 4C 2Journal 4Unranked 5

Year	Rank	Type	Title / 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