| 2019 | VINCI | Streamline Distribution Method based on Vector-magnitude-aware Entropy. | Yumeng Guo, Wenke Wang, Sikun Li |
| 2017 | PDCAT | Feature-Based Adaptive Block Partition Method for Data Prefetching in Streamline Visualization. | Yumeng Guo, Wenke Wang, Sikun Li |
| 2016 | SNPD | An efficient Uniform Integrated Advection algorithm for Finite Time Lyapunov Exponent field computation on GPU and MIC. | Fang Wang, Liang Deng, Dan Zhao, Sikun Li |
| 2013 | ASPDAC | Application specified soft error failure rate analysis using sequential equivalence checking techniques. | Tun Li, Dan Zhu, Sikun Li, Yang Guo |
| 2012 | ICPADS | ProDFA: Accelerating Domain Applications with a Coarse-Grained Runtime Reconfigurable Architecture. | Ming Yan, Ziyu Yang, Lei Liu, Sikun Li |
| 2012 | SIGGRAPH | Model-based multi-component volume data labeling and rendering. | Enya Shen, Jiazhi Xia, Zhi-Quan Cheng, Ralph R. Martin, Yunhai Wang, Sikun Li |
| 2011 | FCCM | Reconsideration of Computing Paradigms and a Novel Reconfigurable Architecture. | Ming Yan, Ziyu Yang, Sikun Li, Liu Yang |
| 2011 | ICCSA | Practical and Effective Domain-Specific Function Unit Design for CGRA. | Ming Yan, Ziyu Yang, Liu Yang, Lei Liu, Sikun Li |
| 2011 | IDEAL | Finding First-Order Minimal Unsatisfiable Cores with a Heuristic Depth-First-Search Algorithm. | Jianmin Zhang, Weixia Xu, Jun Zhang, ShengYu Shen, Zhengbin Pang, Tiejun Li, Jun Xia, Sikun Li |
| 2010 | ACCV | Multiple Order Graph Matching. | Aiping Wang, Sikun Li, Liang Zeng |
| 2010 | FMCAD | A halting algorithm to determine the existence of decoder. | ShengYu Shen, Ying Qin, Jianmin Zhang, Sikun Li |
| 2009 | ICCAD | Synthesizing complementary circuits automatically. | ShengYu Shen, Jianmin Zhang, Ying Qin, Sikun Li |
| 2009 | ICIP | An incremental extremely random forest classifier for online learning and tracking. | Aiping Wang, Guowei Wan, Zhi-Quan Cheng, Sikun Li |
| 2009 | ICPADS | Exploiting Parallelism through High Level Optimization on a Heterogeneous Multicore SoC. | Ming Yan, Peng Zhao, Ziyu Yang, Sikun Li |
| 2009 | ICPADS | Providing Responsiveness Requirement Based Consistency in DVE. | Wei Zhang, Hangjun Zhou, Yuxing Peng, Sikun Li |
| 2008 | ASPDAC | Collaborative hardware/software partition of coarse-grained reconfigurable system using evolutionary ant colony optimization. | Dawei Wang, Sikun Li, Yong Dou |
| 2008 | CSCWD | Application-driven System-on-Chip system model extraction approach. | Peng Zhao, Sikun Li, Dawei Wang, Ming Yan |
| 2007 | CSCWD | A Novel Collaborative Verification Environment for SoC Co-Verification. | Tun Li, Sikun Li, Jinshan Yu, Yang Guo |
| 2007 | CSCWD | Distributed Collaborative Partition Method of Reconfigurable SoC Using Ant Colony Optimization. | Sikun Li, Dawei Wang, Tun Li, Yong Dou |
| 2007 | CSCWD | Fast Panorama Unrolling of Catadioptric Omni-Directional Images for Cooperative Robot Vision System. | Zhihui Xiong, Maojun Zhang, Yunli Wang, Tun Li, Sikun Li |
| 2007 | ICCSA | A Heuristic Local Search Algorithm for Unsatisfiable Cores Extraction. | Jianmin Zhang, ShengYu Shen, Sikun Li |
| 2007 | ICNC | Extending Traditional Graph-Coloring Register Allocation Exploiting Meta-heuristics for Embedded Systems. | Shengning Wu, Sikun Li |
| 2007 | IDEAL | Finding Unsatisfiable Subformulas with Stochastic Method. | Jianmin Zhang, ShengYu Shen, Sikun Li |
| 2007 | ISPA | Key-Attributes Based Optimistic Data Consistency Maintenance Method. | Jing Zhou, Yijie Wang, Sikun Li |
| 2006 | COMAD | A Scalable Replica Management Method in Peer-to-Peer Distributed Storage Systems. | Jing Zhou, Yijie Wang, Sikun Li |
| 2006 | CSR | Instruction Selection for ARM/Thumb Processors Based on a Multi-objective Ant Algorithm. | Shengning Wu, Sikun Li |
| 2006 | ICONIP | General Adaptive Transfer Functions Design for Volume Rendering by Using Neural Networks. | Liansheng Wang, Xucan Chen, Sikun Li, Xun Cai |
| 2006 | ISVC | Fast Prediction Mode Decision Algorithm for H.264 Based on Hierarchical Mode Classification Framework. | Cheng-Dong Shen, Sikun Li |
| 2005 | ASPDAC | A novel configurable motion estimation architecture for high-efficiency MPEG-4/H.264 encoding. | Tiejun Li, Sikun Li, Cheng-Dong Shen |
| 2005 | ASPDAC | Automatic functional test program generation for microprocessor verification. | Tun Li, Dan Zhu, Lei Liang, Yang Guo, Sikun Li |
| 2005 | ASPDAC | A fast counterexample minimization approach with refutation analysis and incremental SAT. | ShengYu Shen, Ying Qin, Sikun Li |
| 2005 | ASPDAC | Hardware/software partitioning for platform-based design method. | Zhihui Xiong, Jihua Chen, Sikun Li |
| 2005 | ASPDAC | Hardware/software co-design using hierarchical platform-based design method. | Zhihui Xiong, Sikun Li, Jihua Chen |
| 2005 | ATVA | Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming. | Tun Li, Yang Guo, Sikun Li, GongJie Liu |
| 2005 | CAIP | A Predictive Direction Guided Fast Motion Estimation Algorithm. | Cheng-Dong Shen, Tiejun Li, Sikun Li |
| 2005 | CSCWD | Distributed Cooperative Design of Embedded Systems. | Sikun Li, Zhihui Xiong, Tiejun Li |
| 2005 | CSCWD | Distributed cooperative design method and environment for embedded system. | Sikun Li, Zhihui Xiong, Tiejun Li |
| 2005 | DATE | A Faster Counterexample Minimization Algorithm Based on Refutation Analysis. | ShengYu Shen, Ying Qin, Sikun Li |
| 2005 | DSD | Functional Vectors Generation for RT-Level Verilog Descriptions Based on Path Enumeration and Constraint Logic Programming. | Tun Li, Yang Guo, GongJie Liu, Sikun Li |
| 2005 | DSD | MA2TG: A Functional Test Program Generator for Microprocessor Verification. | Tun Li, Dan Zhu, Yang Guo, GongJie Liu, Sikun Li |
| 2005 | VMCAI | Minimizing Counterexample with Unit Core Extraction and Incremental SAT. | ShengYu Shen, Ying Qin, Sikun Li |
| 2004 | ASPDAC | Parallel verilog simulation: architecture and circuit partition. | Tun Li, Yang Guo, Sikun Li, Fujiang Ao, Gongjie Li |
| 2004 | ATVA | CLP Based Static Property Checking. | Tun Li, Yang Guo, Sikun Li |
| 2004 | ATVA | Localizing Errors in Counterexample with Iteratively Witness Searching. | ShengYu Shen, Ying Qin, Sikun Li |
| 2004 | CSCWD | Hardware/Software Co-design Environment for Hierarchical Platform-Based Design. | Zhihui Xiong, Sikun Li, Jihua Chen, Maojun Zhang |
| 2004 | VLSID | Design and Implementation of a Parallel Verilog Simulator: PVSim. | Tun Li, Yang Guo, Sikun Li |